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

• 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)