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

• Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph  + (CDS Technical Report 2009.001)
• Nonholonomic Mechanical Systems and Symmetry  + (CDS Technical Report 94-013<br>To appear <i>Archive for Rational Mechanics and Analysis</i>)
• Conversion and Verification Procedure for Goal-Based Control Programs  + (CDS Technical Report, California Institute of Technology)
• Modeling and Control of Epitaxial Thin Film Growth  + (Caltech Mechanical Engineering)
• Quantized Consensus via Adaptive Stochastic Gossip Algorithm  + (Conference on Decision and Control (CDC))
• A bio-plausible design for visual attitude stabilization  + (Conference on Decision and Control (CDC))
• Receding Horizon Temporal Logic Planning for Dynamical Systems  + (Conference on Decision and Control (CDC))
• Geometric Control of Particle Manipulation in a Two-Dimensional Fluid  + (Conference on Decision and Control (CDC))
• Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance  + (Conference on Decision and Control (CDC))
• Design and performance of in vitro transcription rate regulatory circuit  + (Conference on Decision and Control (CDC))
• Design of insulating devices for in vitro synthetic circuits  + (Conference on Decision and Control (CDC), 2009 (Submitted))
• Compositional stability analysis based on dual decomposition  + (Conference on Decision and Control (CDC), 2009 (Submitted))
• Tuning a synthetic in vitro oscillator using control-theoretic tools  + (Conference on Decision and Control (CDC), 2010 (Submitted))
• Synthesis of Embedded Control Systems with High Sampling Frequencies  + (Conference on Decision and Control (CDC), 2010 (Submitted))
• Estimation schemes for networked control systems using UDP-like communication  + (Conference on Decision and Control (CDC), 3945 - 3951)
• Formal Verification of an Autonomous Vehicle System  + (Conference on Decision and Control, 2008 (submitted))
• Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty  + (Conference on Decision and Control, 2008 (submitted))
• Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge  + (DARPA Urban Challenge Final Report)
• A Case Study in Approximate Linearization: The Acrobot Example  + (ERL Technical Memo, May 1991)
• The Dynamics of Thin Film Growth: A Modeling Study  + (Electrochemical Society, May 2000)
• 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)

• Robustness Guarantees for Structured Model Reduction of Dynamical Systems  + (IEEE Conference on Decision and Control (CDC), 2021)
• The Python Control Systems Library (python-control)  + (IEEE Conference on Decision and Control (CDC), 2021)
• 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)
• Data Transmission over Networks for Estimation and Control  + (IEEE Transactions on Automatic Control, 2007 (submitted))
• Consensus Seeking Using Multi-Hop Relay Protocol  + (IEEE Transactions on Automatic Control, 2007 (submitted))
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  + (IEEE Transactions on Automatic Control, 2010 (Submitted))
• Receding Horizon Temporal Logic Planning  + (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))
• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  + (IEEE Transactions on Robotics, 39(3))
• 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))
• TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning  + (International Conference on Hybrid Systems: Computation and Control (HSCC))
• Receding Horizon Control for Temporal Logic Specifications  + (International Conference on Hybrid Systems: Computation and Control (HSCC))