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

• On Synthesizing Robust Discrete Controllers under Modeling Uncertainty  + (Submitted, 2012 International Conf on Hybrid Systems: Computation and Control (HSCC))
• Learning diffeomorphism models of robotic sensorimotor cascades  + (Submitted, 2012 International Conference on Robotics and Automation)
• Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades  + (Submitted, 2012 International Conference on Robotics and Automation (ICRA))
• Feedback architectures to regulate flux of components in artificial gene networks  + (Submitted, 2013 American Control Conference (ACC))
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (Submitted, 2013 Conference on Decision and Control (CDC))
• Modeling Environmental Disturbances with the Chemical Master Equation  + (Submitted, 2013 Conference on Decision and Control (CDC))
• Temperature Dependence of Biomolecular Circuit Designs  + (Submitted, 2013 Conference on Decison and Control (CDC))
• Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity  + (Submitted, 2013 Conference on Decison and Control (CDC))
• Stability of Discrete Time Systems with Stochastically Delayed Feedback  + (Submitted, 2013 European Control Conference (ECC))
• Robot Navigation in Dense Human Crowds: the Case for Cooperation  + (Submitted, 2013 International Conference on Robotics and Automation)
• Efficient reactive controller synthesis for a fragment of linear temporal logic  + (Submitted, 2013 International Conference on Robotics and Automation (ICRA))
• Motion planning in observations space with learned diffeomorphism models  + (Submitted, 2013 International Conference on Robotics and Automation (ICRA))
• Optimal Control of Nonlinear Systems with Temporal Logic Specifications  + (Submitted, 2013 International Symposium on Robotics Research (ISRR))

• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (Submitted, 2014 American Control Conference (ACC))
• Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information  + (Submitted, 2014 American Control Conference (ACC))
• A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease  + (Submitted, 2014 American Control Conference (ACC))
• A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications  + (Submitted, 2014 American Control Conference (ACC))
• Time-Delayed Feedback Channel Design: Discrete Time H infty Approach  + (Submitted, 2014 American Control Conference (ACC))
• Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays  + (Submitted, 2014 American Control Conference (ACC))

• Hot-swapping robot task goals in reactive formal synthesis  + (Submitted, 2014 Conference on Decision and Control (CDC))
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (Submitted, 2014 Conference on Decision and Control (CDC))
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (Submitted, 2014 International Conference on Robotics and Automation (ICRA))
• Moving bounding boxes and incremental synthesis for dynamic obstacles  + (Submitted, 2014 International Conference on Robotics and Automation (ICRA))
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (Submitted, 2014 Winter q-bio Conference (5 Nov 2013))
• Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform  + (Submitted, 2014 Winter q-bio Conference (5 Nov 2013))
• Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients  + (Submitted, 2014 Winter q-bio Conference (5 Nov 2013))