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

• Optimal Control of Affine Connection Control Systems: A Variational Approach  + (2000 Conference on Decision and Control)
• Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems  + (2000 Conference on Decision and Control)
• Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth  + (2000 Materials Research Society Spring Meeting)
• Active Control of Integrated Inlet/Compression Systems: Initial Results  + (2001 ASME Fluids Engineering Division Summer Meeting)
• Model-Based Control of Cavity Oscillations, Part II: System Identificaion and Analysis  + (2002 AIAA Aerospace Sciences Meeting)
• Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems  + (2002 Conference on Decision and Control)
• The Caltech Multi-Vehicle Wireless Testbed  + (2002 Conference on Decision and Control (CDC))
• Information Flow and Cooperative Control of Vehicle Formations  + (2002 IFAC World Congress)
• A New Computational Method for Optimal Control of a Class of Constrained Systems Governed by Partial Differential Equations  + (2002 IFAC World Congress)
• Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions  + (2002 IFAC World Congress)
• Model Predictive Control of a Thurst-Vectored Flight Control Experiment  + (2002 IFAC World Congress)
• Graph Laplacians and Stabilization of Vehicle Formations  + (2002 IFAC World Congress)
• Primitives for Human Motion: A Dynamical Approach  + (2002 IFAC World Congress. CDS Technical Report 01-009)
• Dynamic Separation Control in a Low-Speed Asymmetric Diffuser with Varying Downstream Boundary Condition  + (2003 AIAA Fluid Dynamics Conference)
• Model Reduction and System Identification for Master Equation Control Systems  + (2003 American Control Conference)
• The RoboFlag Competition  + (2003 American Control Conference)
• Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization  + (2003 American Control Conference)
• Consensus Protocols for Networks of Dynamic Agents  + (2003 American Control Conference)
• Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems  + (2003 American Control Conference)
• Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (2003 American Control Conference)
• On the Control of Jump Linear Markov Systems with Markov State Estimation  + (2003 American Control Conference)
• Stability Analysis of Stochastically Varying Formations of Dynamic Agents  + (2003 Conference on Decision and Control (CDC))
• Agreement Problems in Networks with Directed Graphs and Switching Toplogy  + (2003 Conference on Decision and Control (CDC))
• Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles  + (2003 Conference on Decision and Control (CDC))
• Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed  + (2003 European Control Conference)
• Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (2003 European Control Conference)
• Vehicle Motion Planning Using Stream Functions  + (2003 International Conference on Robotics and Automation)
• Vision as a Compensatory Mechanism for Disturbance Rejection in Upwind Flight  + (2004 American Control Conference)
• A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems  + (2004 American Control Conference)
• MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed  + (2004 American Control Conference (ACC))
• On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network  + (2004 Conference on Decisoin and Control (CDC))
• Communication and Sensing Trade-Offs in Decentralized Mobile Sensor Networks: A Cross-Layer Design Approach  + (2005 International Conference on Information Processing in Sensor Networks (IPSN))
• Motion Planning with Wireless Network Constraints  + (2005 American Control Conference)
• Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network  + (2005 American Control Conference (ACC))
• Distributed Averaging on Asynchronous Communication Networks  + (2005 Conference on Decision and Control (CDC))
• On Sensor Fusion in the Presence of Packet-Dropping Communication Channels  + (2005 Conference on Decision and Control (CDC))
• A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence  + (2005 Conference on Decision and Control (CDC))
• State Estimation Utilization Multiple Description Coding over Lossy Networks  + (2005 Conference on Decision and Control (CDC))
• New Design Principles for Estimation over Fading Channels in Mobile Sensor Networks  + (2005 Conference on Decision and Control (CDC))
• Estimation with Information Loss: Asymptotic Analysis and Error Bounds  + (2005 Conference on Decision and Control (CDC))
• Distributed Sensor Fusion Using Dynamic Consensus  + (2005 IFAC World Congress)
• Dynamic Consensus for Mobile Networks  + (2005 IFAC World Congress)
• The Dynamic Sensor Coverage Problem  + (2005 IFAC World Congress)
• Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance  + (2005 International Conference on Information Processing in Sensor Networks (IPSN))
• The Effect of Sensor Health on State Estimation  + (2006 Conference on Decision and Control)
• An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes  + (2006 Conference on Decision and Control)
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  + (2008 IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob 2008), 8, 2008 (to appear))
• Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology  + (2011 American Control Conference (ACC))
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (2011 IEEE Biomedical Circuits and Systems (BioCAS) Conference (submitted))
• Distributed Power Allocation for Vehicle Management Systems  + (2011 IEEE Conference on Decision and Control (CDC))

• A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor  + (2011 IEEE International Conference on Robotics and Biomimetics (ROBIO))

• Geometric trajectory filtering via numerical conformal mapping  + (2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Submitted)
• A group-theoretic approach to formalizing bootstrapping problems  + (2011 International Conference on Intelligent Robots and Systems (IROS))
• Quantifying Crosstalk in Biochemical Systems  + (2012 Conference on Decision and Control (CDC))
• Reactive Protocols for Aircraft Electric Power Distribution  + (2012 Conference on Decision and Control (CDC))
• Performance Metrics for a Biomolecular Step Response  + (2012 Conference on Decision and Control (CDC))
• Synthesis of Reactive Control Protocols for Differentially Flat Systems  + (2012 Conference on Decision and Control (CDC))
• Stabilization of Feedback Systems via Distribution of Delays  + (2012 IFAC Workshop on Time Delay Systems)
• Backtracking temporal logic synthesis for uncertain environments  + (2012 International Conference on Robotics and Automation (ICRA), submitted)
• Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation  + (2012 International Conference on Robotics and Automation (ICRA))
• Optimal Control with Weighted Average Costs and Temporal Logic Specifications  + (2012 Robotics: Systems and Science (RSS) Conference)
• Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems  + (2013 American Control Conference (ACC))
• Biomolecular resource utilization in elementary cell-free gene circuits  + (2013 American Control Conference (ACC))
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (2013 Conference on Decision and Control (CDC))
• Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic  + (2013 Conference on Decison and Control (CDC))
• Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach  + (2013 Conference on Decison and Control (CDC))
• Just-in-time synthesis for motion planning with temporal logic  + (2013 International Conference on Robotics and Automation (ICRA))
• Patching task-level robot controllers based on a local μ-calculus formula  + (2013 International Conference on Robotics and Automation (ICRA))
• Collaborative System Identification via Parameter Consensus  + (2014 American Control Conference (ACC))
• Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System  + (2014 Conference on Decision and Control (CDC))
• Designing Robustness to Temperature in a Feedforward Loop Circuit  + (2014 Conference on Decision and Control (CDC))
• Model Predictive Control with Signal Temporal Logic Specifications  + (2014 Conference on Decision and Control (CDC))
• Privacy Preserving Average Consensus  + (2014 Conference on Decision and Control (CDC))
• Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics  + (2014 Conference on Decision and Control (CDC))
• A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications  + (2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS))
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (2015 Conference on Decision and Control (CDC))
• A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters  + (2015 European Control Conference (ECC))
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (2015 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS))
• Reactive Synthesis from Signal Temporal Logic Specifications  + (2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
• Linear System Identifiability from Distributional and Time Series Data  + (2016 American Control Conference (ACC))
• Symbolic construction of GR(1) contracts for systems with full information  + (2016 American Control Conference (ACC))
• Quantifying Resource Competition and its Effects in the TX-TL System  + (2016 Conference on Decision and Control (CDC))
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (2016 European Control Conference (ECC))
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (2016 IEEE Conference on Control Applications (CCA))
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (2016 IEEE Symposium on Computational Intelligence in Control and Automation)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference (17 May 2016))
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (2017 Conference on Decision and Control (CDC))
• Enhancing tolerance to unexpected jumps in GR(1) games  + (2017 Int'l Conference on Cyberphysical Systems (ICCPS))
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (2017 International Joint Conference on Artificial Intelligence (IJCAI))
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (2017 Synthetic Biology: Engineering, Evolution, and Design (SEED) Conference)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (2017 Winter q-bio Conference)
• Single day construction of multi-gene circuits with 3G assembly  + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• Length and time scales of cell-cell signaling circuits in agar  + (2018 Winter q-bio)
• Control of bacterial population density with population feedback and molecular sequestration  + (2018 Winter q-bio)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (2018 Winter q-bio)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (2019 Conference on Robot Learning (CoRL))
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (2019 International Symposium on Robotics Research (ISRR))
• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (2019 International Workshop on Biodesign Automation (IWBDA))
• Proof of concept continuous event logging in living cells  + (2019 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)