Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth  + (Electrochemical Society, May 2001)
• Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints  + (Engineer's Thesis, Caltech, May 1997)
• Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency  + (European Control Conference, 2007 (Submitted))
• Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata  + (Hybrid Systems: Computation and Control, 2008 (submitted))
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (IEEE Access, 2014. DOI 10.1109/ACCESS.2013.2295764)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (IEEE Aerospace Conference, 2016)
• Future Directions in Control in an Information-Rich World  + (IEEE Control Systems Magazine)
• Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents  + (IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL/EpiRob))
• Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop  + (IEEE International Conference onControl Applications (CCA), 1006 - 1011)
• Consensus Seeking Using Multi-Hop Relay Protocol  + (IEEE Transactions on Automatic Control, 2007 (submitted))
• Data Transmission over Networks for Estimation and Control  + (IEEE Transactions on Automatic Control, 2007 (submitted))
• Receding Horizon Temporal Logic Planning  + (IEEE Transactions on Automatic Control, 2010 (Submitted))
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  + (IEEE Transactions on Automatic Control, 2010 (Submitted))
• Consensus problems in networks of agents with switching topology and time-delays  + (IEEE Transactions on Automatic Control, 49(9):1520--1533)
• To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels  + (IEEE Transactions on Automatic Control, 54(2):376-381)
• Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective  + (IEEE Transactions on Automatic Control, 55(9):594-604)
• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  + (IEEE Transactions on Biomedical Engineering, 56(9), 2009 (To appear))
• Asynchronous Distributed Averaging on Communication Networks  + (IEEE/ACM Transactions on Networking, 15(3):512 - 520)
• A bio-plausible design for visual pose stabilization  + (IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2010 (To appear))
• Resource optimisation in a wireless sensor network with guaranteed estimator performance  + (IET Control Theory and Applications, 4(5):710-723)
• Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph  + (IFAC World Congress, 2010 (Submitted))
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (IFAC World Congress, 2011 (Submitted))
• On Measures of Non-Integrability of Pfaffian Systems  + (IFAC World Congress, July 1996)
• Online Control Customization via Optimization-Based Control  + (In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, T. Samad and G. Balas (eds.), IEEE Press, 2001 (submitted))
• Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations  + (In <i>The Astrom Symposium on Control</i>, pp. 43-72)

• Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems  + (International Conference on Embedded Software (EMSOFT))

• Receding Horizon Control for Temporal Logic Specifications  + (International Conference on Hybrid Systems: Computation and Control (HSCC))
• TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning  + (International Conference on Hybrid Systems: Computation and Control (HSCC))
• A bootstrappable bio-plausible design for visual pose stabilization  + (International Conference on Robotics and Automation (ICRA), 2010 (Submitted))
• Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs  + (International Conference on Software Engineering, 2009 (submitted))
• Using Hierarchical Decomposition to Speed Up Average Consensus  + (International Federation of Automatic Control (IFAC) World Congress, 2008 (to appear))
• Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities  + (International Federation of Automatic Control (IFAC) World Congress, 2008 (to appear))
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (International Federation of Automatic Control (IFAC) World Congress, 2008)
• Situational Reasoning for Road Driving in an Urban Environment  + (International Workshop on Intelligent Vehicle Control Systems (IVCS), 2008 (submitted))
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (International Workshop on Intelligent Vehicle Control Systems (IVCS), 2008)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (J. R. Soc. Interface 2015 12 20150288; DOI: 10.1098/rsif.2015.0288.)
• Recent research in cooperative control of multivehicle systems  + (Journal Of Dynamic Systems Measurement And Control-Transactions Of The Asme, 129:571-583)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (Journal of Field Robotics, 23(9):777-810)
• Linear models for control of cavity flow oscillations  + (Journal of Fluid Mechanics, 547:317-330)
• Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology  + (Journal of Visualized Experiments (79), e50762, doi:10.3791/50762)
• Experiments in Planar Manipulation and Grasping  + (MS Project Report, UC Berkeley, Dec 1988)
• Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems  + (Masters Thesis, Lund University)
• Delay-dependent Stability of Genetic Regulatory Networks  + (Masters Thesis, Lund University)
• Regulatory activity revealed by dynamic correlations in gene expression noise  + (Nature Genetics, 40:1493-1498)
• Model reduction of interconnected linear systems  + (Optimal Control Applications and Methods, 2008 (to appear))
• Optimal and Cooperative Control of Vehicle Formations  + (PhD Dissertation)
• Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning  + (PhD Dissertation)
• Effects of Actuator Limits in Bifurcation Control with Applications to Active Control of Fluid Instabilities in Turbomachinery  + (PhD Dissertation, California Institute of Technology, June 2000)
• Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory  + (PhD Dissertation, Caltech Aeronautics, May 2005)
• Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach  + (PhD Dissertation, Caltech, August 1998)
• Nonlinear Control of Rotating Stall and Surge with Axisymmetric Bleed and Air Injection on Axial Flow Compressors  + (PhD Dissertation, Caltech, August 1998)