Richard M. Murray

Proceedings of the 2020 American Control Conference, 2020

Risk-Averse Planning Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data.

[BibT_eX]

[DOI]

Francesca Baldini

Animashree Anandkumar

CoRR, 2019

Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia.

[BibT_eX]

[DOI]

Xinying Ren

Proceedings of the 17th European Control Conference, 2019

Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits.

[BibT_eX]

[DOI]

Michaëlle N. Mayalu

Harman Mehta

Proceedings of the 17th European Control Conference, 2019

Counter-example Guided Learning of Bounds on Environment Behavior.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Towards Assume-Guarantee Profiles for Autonomous Vehicles.

[BibT_eX]

[DOI]

Tung Phan-Minh

Karena X. Cai

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.

[BibT_eX]

[DOI]

Sofie Haesaert

Rohan Thakker

Petter Nilsson

Ali-Akbar Agha-Mohammadi

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Transforming Data Across Environments Despite Structural Non-Identifiability.

[BibT_eX]

[DOI]

Vipul Singhal

Proceedings of the 2019 American Control Conference, 2019

A modal interface contract theory for guarded input/output automata with an application in traffic system design.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Risk-aware motion planning for automated vehicle among human-driven cars.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Robust Estimation Framework with Semantic Measurements.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Inverse Abstraction of Neural Networks Using Symbolic Interpolation.

[BibT_eX]

[DOI]

Sicun Gao

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Layering Assume-Guarantee Contracts for Hierarchical System Design.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.

[BibT_eX]

[DOI]

Pavithra Prabhakar

Jun Liu

Discret. Event Dyn. Syst., 2018

Detecting Adversarial Examples via Neural Fingerprinting.

[BibT_eX]

[DOI]

CoRR, 2018

Future systems and control research in synthetic biology.

[BibT_eX]

[DOI]

Yili Qian

Eduardo D. Sontag

Annu. Rev. Control., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.

[BibT_eX]

[DOI]

Ali-Akbar Agha-Mohammadi

Aaron D. Ames

Proceedings of the Robotics: Science and Systems XIV, 2018

Role of interaction network topology in controlling microbial population in consortia.

[BibT_eX]

[DOI]

Xinying Ren

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Voluntary lane-change policy synthesis with control improvisation.

[BibT_eX]

[DOI]

Jin I. Ge

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.

[BibT_eX]

[DOI]

Ali-akbar Agha-mohammadi

Aaron D. Ames

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Privacy Preserving Average Consensus.

[BibT_eX]

[DOI]

Yilin Mo

IEEE Trans. Autom. Control., 2017

Model Predictive Control for Signal Temporal Logic Specification.

[BibT_eX]

[DOI]

Françoise Lamnabhi-Lagarrigue

Sanjit A. Seshia

CoRR, 2017

Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges.

[BibT_eX]

[DOI]

Anuradha Annaswamy

Sebastian Engell

Alf J. Isaksson

Pramod P. Khargonekar

Paul M. J. Van den Hof

Annu. Rev. Control., 2017

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Synthesis of correct-by-construction behavior trees.

[BibT_eX]

[DOI]

Michele Colledanchise

Petter Ögren

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Learning-Based Abstractions for Nonlinear Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Enhancing tolerance to unexpected jumps in GR(1) games.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Population regulation in microbial consortia using dual feedback control.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Connected cruise control design using probabilistic model checking.

[BibT_eX]

[DOI]

Jin I. Ge

Gábor Orosz

Proceedings of the 2017 American Control Conference, 2017

A fast motion planning representation for configuration flat robots with applications to micro air vehicles.

[BibT_eX]

[DOI]

Anthony T. Fragoso

Larry H. Matthies

Proceedings of the 2017 American Control Conference, 2017

2016

Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2016

The Effects of Time-Varying Temperature on Delays in Genetic Networks.

[BibT_eX]

[DOI]

Marcella M. Gomez

Matthew R. Bennett

SIAM J. Appl. Dyn. Syst., 2016

Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications.

[BibT_eX]

[DOI]

Benson Christalin

Michele Colledanchise

Petter Ögren

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Synthesis of reactive controllers for hybrid systems (keynote).

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Robust model predictive control for an uncertain smart thermal grid.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Quantifying resource competition and its effects in the TX-TL system.

[BibT_eX]

[DOI]

András György

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Constrained autonomous satellite docking via differential flatness and model predictive control.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Linear system identifiability from distributional and time series data.

[BibT_eX]

[DOI]

Anandh Swaminathan

Proceedings of the 2016 American Control Conference, 2016

Symbolic construction of GR(1) contracts for systems with full information.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Synthetic Biology.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Systems and Control, 2015

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.

[BibT_eX]

[DOI]

Huan Xu

IEEE Trans. Control. Netw. Syst., 2015

Convex Optimal Uncertainty Quantification.

[BibT_eX]

[DOI]

SIAM J. Optim., 2015

Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2015

Bootstrapping bilinear models of Simple Vehicles.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2015

A multi-paradigm language for reactive synthesis.

[BibT_eX]

[DOI]

Gerard J. Holzmann

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Symbolic construction of GR(1) contracts for synchronous systems with full information.

[BibT_eX]

[DOI]

CoRR, 2015

Online horizon selection in receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Vasumathi Raman

Mattias Fält

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Reactive synthesis from signal temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Cross-entropy temporal logic motion planning.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

A state-space realization approach to set identification of biochemical kinetic parameters.

[BibT_eX]

[DOI]

Yutaka Hori

Proceedings of the 14th European Control Conference, 2015

Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Analysis of control systems on symmetric cones.

[BibT_eX]

[DOI]

Ivan Papusha

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.

[BibT_eX]

[DOI]

Robert Mattila

Yilin Mo

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Engineering principles of synthetic biochemical oscillators with negative cyclic feedback.

[BibT_eX]

[DOI]

Yutaka Hori

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Variable elimination for scalable receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Mattias Fält

Vasumathi Raman

Proceedings of the American Control Conference, 2015

Robust Model Predictive Control for Signal Temporal Logic Synthesis.

[BibT_eX]

[DOI]

Samira S. Farahani

Vasumathi Raman

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2014

The Swarm at the Edge of the Cloud.

[BibT_eX]

[DOI]

IEEE Des. Test, 2014

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122).

[BibT_eX]

[DOI]

Rupak Majumdar

Pavithra Prabhakar

Dagstuhl Reports, 2014

A Contract-Based Methodology for Aircraft Electric Power System Design.

[BibT_eX]

[DOI]

Alexandre Donzé

Sanjit A. Seshia

IEEE Access, 2014

A compositional approach to stochastic optimal control with co-safe temporal logic specifications.

[BibT_eX]

[DOI]

Matanya B. Horowitz

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Optimization-based trajectory generation with linear temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Designing robustness to temperature in a feedforward loop circuit.

[BibT_eX]

[DOI]

Shaunak Sen

Jongmin Kim

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Model predictive control with signal temporal logic specifications.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Hot-swapping robot task goals in reactive formal synthesis.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics.

[BibT_eX]

[DOI]

Vanessa Jonsson

Nikolai Matni

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Efficient control synthesis for augmented finite transition systems with an application to switching protocols.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Collaborative system identification via parameter consensus.

[BibT_eX]

[DOI]

Ivan Papusha

Eugene Lavretsky

Proceedings of the American Control Conference, 2014

Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.

[BibT_eX]

[DOI]

Oscar Mickelin

Necmiye Ozay

Proceedings of the American Control Conference, 2014

A scalable formulation for engineering combination therapies for evolutionary dynamics of disease.

[BibT_eX]

[DOI]

Vanessa Jonsson

Anders Rantzer

Proceedings of the American Control Conference, 2014

Exact stability analysis of discrete-time linear systems with stochastic delays.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Discriminating External and Internal Causes for Heading Changes in Freely Flying <i>Drosophila</i>.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2013

Verifying Cyber-Physical Interactions in Safety-Critical Systems.

[BibT_eX]

[DOI]

Sayan Mitra

IEEE Secur. Priv., 2013

Optimization of convergence rate and stability margin of information flow in cooperative systems.

[BibT_eX]

[DOI]

Michael Zabarankin

Robert Murphey

Autom., 2013

A robust model predictive control algorithm augmented with a reactive safety mode.

[BibT_eX]

[DOI]

Autom., 2013

Optimal Control of Nonlinear Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2013

Automaton-guided controller synthesis for nonlinear systems with temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Efficient reactive controller synthesis for a fragment of linear temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Robot navigation in dense human crowds: the case for cooperation.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Patching task-level robot controllers based on a local μ-calculus formula.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Just-in-time synthesis for reactive motion planning with temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Motion planning in observations space with learned diffeomorphism models.

[BibT_eX]

[DOI]

Adam Nilsson

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

An aircraft electric power testbed for validating automatically synthesized reactive control protocols.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Stability of discrete-time systems with stochastically delayed feedback.

[BibT_eX]

[DOI]

Marcella M. Gomez

Gábor Orosz

Proceedings of the 12th European Control Conference, 2013

Pre-orders for reasoning about stability properties with respect to input of hybrid systems.

[BibT_eX]

[DOI]

Pavithra Prabhakar

Jun Liu

Proceedings of the International Conference on Embedded Software, 2013

Industrial Cyber-Physical Systems - iCyPhy.

[BibT_eX]

[DOI]

Eelco Scholte

Proceedings of the Complex Systems Design & Management, 2013

Resource competition as a source of non-minimum phase behavior in transcription-translation systems.

[BibT_eX]

[DOI]

Enoch Yeung

Jongmin Kim

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Modeling environmental disturbances with the chemical master equation.

[BibT_eX]

[DOI]

Enoch Yeung

James L. Beck

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

An in silico modeling toolbox for rapid prototyping of circuits in a biomolecular "breadboard" system.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Temperature dependence of biomolecular circuit designs.

[BibT_eX]

[DOI]

Shaunak Sen

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach.

[BibT_eX]

[DOI]

Vanessa Jonsson

Nikolai Matni

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Biomolecular resource utilization in elementary cell-free gene circuits.

[BibT_eX]

[DOI]

Dan Siegal-Gaskins

Vincent Noireaux

Emmanuel L. C. de los Santos

Proceedings of the American Control Conference, 2013

Design and implementation of a biomolecular circuit for tracking protein concentration.

[BibT_eX]

[DOI]

Victoria Hsiao

Proceedings of the American Control Conference, 2013

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Feedback architectures to regulate flux of components in artificial gene networks.

[BibT_eX]

[DOI]

Giulia Giordano

Proceedings of the American Control Conference, 2013

2012

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.

[BibT_eX]

[DOI]

Sayan Mitra

Andrew G. Lamperski

ACM Trans. Embed. Comput. Syst., 2012

Receding Horizon Temporal Logic Planning.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Quantized Consensus by Means of Gossip Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication

[BibT_eX]

[DOI]

Clemens Wiltsche

CoRR, 2012

Stabilization of Feedback Systems Via Distribution of Delays.

[BibT_eX]

[DOI]

Marcella M. Gomez

Proceedings of the 10th IFAC Workshop on Time Delay Systems, 2012

Optimal Control with Weighted Average Costs and Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VIII, 2012

Backtracking temporal logic synthesis for uncertain environments.

[BibT_eX]

[DOI]

Joel W. Burdick

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Towards formal synthesis of reactive controllers for dexterous robotic manipulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Learning diffeomorphism models of robotic sensorimotor cascades.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades.

[BibT_eX]

[DOI]

Magnus Hakansson

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

On synthesizing robust discrete controllers under modeling uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Quantifying crosstalk in biochemical systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A case study on reactive protocols for aircraft electric power distribution.

[BibT_eX]

[DOI]

Huan Xu

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Robust control of uncertain Markov Decision Processes with temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Performance metrics for a biomolecular step response.

[BibT_eX]

[DOI]

Shaunak Sen

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reactive controllers for differentially flat systems with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Decentralised minimal-time dynamic consensus.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Temporal logic control of switched affine systems with an application in fuel balancing.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Switching protocol synthesis for temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Dynamics and Stability of Low-Reynolds-Number Swimming Near a Wall.

[BibT_eX]

[DOI]

Yizhar Or

Sebastian Zhang

SIAM J. Appl. Dyn. Syst., 2011

Bisimulation conversion and verification procedure for goal-based control systems.

[BibT_eX]

[DOI]

Julia M. B. Braman

Formal Methods Syst. Des., 2011

Extremal Properties of Complex Networks

[BibT_eX]

[DOI]

Dionysios Barmpoutis

CoRR, 2011

A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor.

[BibT_eX]

[DOI]

Sawyer B. Fuller

Proceedings of the 2011 IEEE International Conference on Robotics and Biomimetics, 2011

Containment indicator function construction via numerical conformal mapping.

[BibT_eX]

[DOI]

Shuo Han

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Bootstrapping sensorimotor cascades: A group-theoretic perspective.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Bootstrapping bilinear models of robotic sensorimotor cascades.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Development and Learning and on Epigenetic Robotics, 2011

Distributed Synthesis of Control Protocols for Smart Camera Networks.

[BibT_eX]

[DOI]

Necmiye Ozay

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

TuLiP: a software toolbox for receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Distributed power allocation for vehicle management systems.

[BibT_eX]

[DOI]

Necmiye Ozay

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Reply to "Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"".

[BibT_eX]

[DOI]

J. Alexander Fax

Proc. IEEE, 2010

Quantification and Minimization of Crosstalk Sensitivity in Networks

[BibT_eX]

[DOI]

Dionysios Barmpoutis

CoRR, 2010

A bio-plausible design for visual pose stabilization.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Receding horizon control for temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Joint DAC/IWBDA special session engineering biology: fundamentals and applications.

[BibT_eX]

[DOI]

J. Christopher Anderson

Proceedings of the 47th Design Automation Conference, 2010

Tuning a synthetic in vitro oscillator using control-theoretic tools.

[BibT_eX]

[DOI]

Christopher Sturk

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Synthesis of embedded control systems with high sampling frequencies.

[BibT_eX]

[DOI]

Somayeh Sojoudi

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Automatic Synthesis of Robust Embedded Control Software.

[BibT_eX]

[DOI]

Proceedings of the Embedded Reasoning, 2010

2009

Flight Dynamics and Control of Evasive Maneuvers: The Fruit Fly's Takeoff.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2009

To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Data Transmission Over Networks for Estimation and Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Kalman filtering over a packet-delaying network: A probabilistic approach.

[BibT_eX]

[DOI]

Lihua Xie

Autom., 2009

A real-time helicopter testbed for insect-inspired visual flight control.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Periodically Controlled Hybrid Systems.

[BibT_eX]

[DOI]

Sayan Mitra

Andrew G. Lamperski

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Receding horizon temporal logic planning for dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Compositional stability analysis based on dual decomposition.

[BibT_eX]

[DOI]

Andrew K. Packard

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Geometric control of particle manipulation in a two-dimensional fluid.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Quantized consensus via adaptive stochastic gossip algorithm.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Design of insulating devices for in vitro synthetic circuits.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A bio-plausible design for visual attitude stabilization.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On quantized consensus by means of gossip algorithm - Part II: Convergence time.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

On quantized consensus by means of gossip algorithm - Part I: Convergence proof.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Real-valued average consensus over noisy quantized channels.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Probabilistic performance of state estimation across a lossy network.

[BibT_eX]

[DOI]

Autom., 2008

Kalman filtering over a packet dropping network: A probabilistic approach.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Control, 2008

Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems.

[BibT_eX]

[DOI]

Stefano Di Cairano

Alberto Bemporad

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Design and performance of in vitro transcription rate regulatory circuits.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Nonlinear lateral control strategy for nonholonomic vehicles.

[BibT_eX]

[DOI]

Magnus Linderoth

Kristian Soltesz

Proceedings of the American Control Conference, 2008

Design, modeling and synthesis of an in vitro transcription rate regulatory circuit.

[BibT_eX]

[DOI]

Per-Ola Forsberg

Proceedings of the American Control Conference, 2008

Convergence Properties of Dynamic Agents Consensus Networks with Broken Links.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Safety verification of fault tolerant goal-based control programs with estimation uncertainty.

[BibT_eX]

[DOI]

Julia M. B. Braman

Proceedings of the American Control Conference, 2008

2007

Asynchronous distributed averaging on communication networks.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2007

UAV as a Reliable Wingman: A Flight Demonstration.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2007

Optimal LQG control across packet-dropping links.

[BibT_eX]

[DOI]

Babak Hassibi

Syst. Control. Lett., 2007

Consensus and Cooperation in Networked Multi-Agent Systems.

[BibT_eX]

[DOI]

J. Alexander Fax

Proc. IEEE, 2007

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.

[BibT_eX]

[DOI]

Julia M. B. Braman

David A. Wagner

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Change sensor topology when needed: How to efficiently use system resources in control and estimation over wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Random consensus protocol in large-scale networks.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Estimation schemes for networked control systems using UDP-like communication.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Analysis of a Digital Clock for Molecular Computing.

[BibT_eX]

[DOI]

Johan Ugander

Mary J. Dunlop

Proceedings of the American Control Conference, 2007

Frequency-Weighted Model Reduction with Applications to Structured Models.

[BibT_eX]

[DOI]

Henrik Sandberg

Proceedings of the American Control Conference, 2007

To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks.

[BibT_eX]

[DOI]

Chih-Kai Ko

Proceedings of the American Control Conference, 2007

Biologically Inspired Feedback Design for Drosophila Flight.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

A Multi-Model Approach to Identification of Biosynthetic Pathways.

[BibT_eX]

[DOI]

Mary J. Dunlop

Proceedings of the American Control Conference, 2007

Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2007

Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2007

2006

Alice: An information-rich autonomous vehicle for high-speed desert navigation.

[BibT_eX]

[DOI]

Kristopher L. Kriechbaum

Jeffrey C. Lamb

Jeremy Leibs

Laura Lindzey

Christopher E. Rasmussen

Alexander D. Stewart

Joel W. Burdick

J. Field Robotics, 2006

Discrete state estimators for systems on a lattice.

[BibT_eX]

[DOI]

Eric Klavins

Autom., 2006

State estimation over packet dropping networks using multiple description coding.

[BibT_eX]

[DOI]

Autom., 2006

On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage.

[BibT_eX]

[DOI]

Autom., 2006

Distributed receding horizon control for multi-vehicle formation stabilization.

[BibT_eX]

[DOI]

William B. Dunbar

Autom., 2006

Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing.

[BibT_eX]

[DOI]

Lars B. Cremean

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

A Decentralized Motion Coordination Strategy for Dynamic Target Tracking.

[BibT_eX]

[DOI]

Timothy H. Chung

Joel W. Burdick

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

The Effect of Sensor Health on State Estimation.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Distributed Sensing and Estimation Under Communication Constraints.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Multi-Hop Relay Protocols for Fast Consensus Seeking.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On the robustness of distributed algorithms.

[BibT_eX]

[DOI]

Cedric Langbort

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On Sensor Coverage by Mobile Sensors.

[BibT_eX]

[DOI]

David E. Jeffcoat

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Approximate distributed kalman filtering in sensor networks with quantifiable performance.

[BibT_eX]

[DOI]

Demetri Spanos

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Communication and sensing trade-offs in decentralized mobile sensor networks: a cross-layer design approach.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Estimation of Linear Stochastic Systems over a Queueing Network.

[BibT_eX]

[DOI]

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

An Experimental Platform for Motion Estimation and Maneuver Characterization in High Speed Off-Road Driving.

[BibT_eX]

[DOI]

Haomiao Huang

Lyle Chamberlain

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004

Consensus problems in networks of agents with switching topology and time-delays.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

Information flow and cooperative control of vehicle formations.

[BibT_eX]

[DOI]

J. Alexander Fax

IEEE Trans. Autom. Control., 2004

Distributed Algorithms for Cooperative Control.

[BibT_eX]

[DOI]

Eric Klavins

IEEE Pervasive Comput., 2004

Effect of time-varying fading channels on control performance of a mobile sensor.

[BibT_eX]

[DOI]

Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004

Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection.

[BibT_eX]

[DOI]

Claire Walton

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example].

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

Discrete State Estimators for a Class of Hybrid Systems on a Lattice.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003

Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses.

[BibT_eX]

[DOI]

Eur. J. Control, 2003

Decomposition of human motion into dynamics-based primitives with application to drawing tasks.

[BibT_eX]

[DOI]

Pietro Perona

Autom., 2003

Vehicle motion planning using stream functions.

[BibT_eX]

[DOI]

Stephen Waydo

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

Cooperative task planning of multi-robot systems with temporal constraints.

[BibT_eX]

[DOI]

Feng-Li Lian

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part II - control synthesis and comparison with experiments.

[BibT_eX]

[DOI]

Yong Wang

Simon Yeung

Autom., 2002

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part I - model reduction and qualitative dynamics.

[BibT_eX]

[DOI]

Yong Wang

Autom., 2002

2001

Nonlinear Control Methods for Planar Carangiform Robot Fish Locomotion.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

1999

Configuration Controllability of Simple Mechanical Control Systems.

[BibT_eX]

[DOI]

Andrew D. Lewis

SIAM Rev., 1999

Tracking for fully actuated mechanical systems: a geometric framework.

[BibT_eX]

[DOI]

Francesco Bullo

Autom., 1999

1997

An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks.

[BibT_eX]

[DOI]

Sudipto Sur

Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

1995

Geometric phases and robotic locomotion.

[BibT_eX]

[DOI]

Scott David Kelly

J. Field Robotics, 1995

The Mechanisms of Undulatory Locomotion: The Mixed Kinematic and Dynamic Case.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1994

A motion planner for nonholonomic mobile robots.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 1994

Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems.

[BibT_eX]

[DOI]

Math. Control. Signals Syst., 1994

Nonholonomic Mechanics and Locomotion: The Snakeboard Example.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Robotics and Automation, 1994

A mathematical introduction to robotics manipulation.

[BibT_eX]

Zexiang Li

Shankar Sastry

CRC Press, ISBN: 978-0-8493-7981-9, 1994

1992

Control primitives for robot systems.

[BibT_eX]

[DOI]

D. Curtis Deno

Kristofer S. J. Pister

Shankar S. Sastry

IEEE Trans. Syst. Man Cybern., 1992

Stabilization of trajectories for systems with nonholonomic constraints.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Steering car-like systems with trailers using sinusoids.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand.

[BibT_eX]

[DOI]

Karin Hollerbach

S. Shankar Sastry

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Fingerlike biomechanical robots.

[BibT_eX]

[DOI]

D. Curtis Deno

Kristofer S. J. Pister

S. Shankar Sastry

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1989

Control experiments in planar manipulation and grasping.

[BibT_eX]

[DOI]