Richard M. Murray

Proceedings of the American Control Conference, 2024

2023

A 65-nm CMOS Fluorescence Sensor for Dynamic Monitoring of Living Cells.

[BibT_eX]

[DOI]

IEEE J. Solid State Circuits, November, 2023

Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, June, 2023

Advances in theoretical and computational nonlinear control - Dedicated to the 80th birthday of Professor Arthur J. Krener.

[BibT_eX]

[DOI]

Wei Kang

John Burns

Françoise Lamnabhi-Lagarrigue

Syst. Control. Lett., April, 2023

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape.

[BibT_eX]

[DOI]

J. Open Source Softw., March, 2023

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape.

[BibT_eX]

[DOI]

Dataset, February, 2023

Control education for societal-scale challenges: A community roadmap.

[BibT_eX]

[DOI]

John Anthony Rossiter

Christos G. Cassandras

Thomas Parisini

Annu. Rev. Control., January, 2023

Context-Aided Variable Elimination for Requirement Engineering.

[BibT_eX]

[DOI]

Inigo Incer

Albert Benveniste

CoRR, 2023

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration.

[BibT_eX]

[DOI]

CoRR, 2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.

[BibT_eX]

[DOI]

Inigo Incer

Josefine Graebener

Piergiuseppe Mallozzi

CoRR, 2023

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.

[BibT_eX]

[DOI]

CoRR, 2023

Reasoning over Test Specifications Using Assume-Guarantee Contracts.

[BibT_eX]

[DOI]

Josefine B. Graebener

Inigo Incer

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Solid- State Circuits Conference, 2023

Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems.

[BibT_eX]

[DOI]

IROS, 2023

Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.

[BibT_eX]

[DOI]

Josefine B. Graebener

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

2022

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2022

Evaluation Metrics for Object Detection for Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2022

OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints.

[BibT_eX]

[DOI]

SooJean Han

Michelle Effros

CoRR, 2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.

[BibT_eX]

[DOI]

Josefine Graebener

CoRR, 2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger .

[BibT_eX]

[DOI]

Josefine Graebener

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions.

[BibT_eX]

[DOI]

Ersin Das

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture.

[BibT_eX]

[DOI]

CoRR, 2021

Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty.

[BibT_eX]

[DOI]

Richard Cheng

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

Contracts of Reactivity.

[BibT_eX]

[DOI]

Tung Phan-Minh

Proceedings of the 2021 European Control Conference, 2021

Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis*.

[BibT_eX]

[DOI]

Proceedings of the 2021 European Control Conference, 2021

Time-Optimal Navigation in Uncertain Environments with High-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Robustness Guarantees for Structured Model Reduction of Dynamical Systems.

[BibT_eX]

[DOI]

Ayush Pandey

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations.

[BibT_eX]

[DOI]

Xinying Ren

Christian Cuba Samaniego

Proceedings of the 2021 American Control Conference, 2021

Constrained Risk-Averse Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2020

Reactive motion planning with probabilistic safety guarantees.

[BibT_eX]

[DOI]

CoRR, 2020

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Reactive motion planning with probabilisticsafety guarantees.

[BibT_eX]

[DOI]

Proceedings of the 4th Conference on Robot Learning, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

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

[BibT_eX]

[DOI]

Francesca Baldini

Animashree Anandkumar

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

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é

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]

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 Drosophila.

[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]

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

Fault-tolerant controller design with applications in power systems and synthetic biology.

[BibT_eX]

[DOI]

Somayeh Sojoudi

Proceedings of the American 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]

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

Experimental demonstration of the dynamics and stability of a low Reynolds number swimmer near a plane wall.

[BibT_eX]

[DOI]

Sebastian Zhang

Yizhar Or

Proceedings of the American Control Conference, 2010

Limits on the network sensitivity function for homogeneous multi-agent systems on a graph.

[BibT_eX]

[DOI]

Stefania Tonetti

Proceedings of the American Control Conference, 2010

Simple delay-based implementation of continuous-time controllers.

[BibT_eX]

[DOI]

Somayeh Sojoudi

Proceedings of the American Control Conference, 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]

Syst. Control. Lett., 2007

Consensus and Cooperation in Networked Multi-Agent Systems.

[BibT_eX]

[DOI]

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

Estimation over Communication Networks: Performance Bounds and Achievability Results.

[BibT_eX]

[DOI]

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

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]

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

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

Dynamic Sensor Coverage with Uncertainty Feedback : Analysis Using Iterated Maps.

[BibT_eX]

[DOI]

Abhishek Tiwari

Proceedings of the American Control Conference, 2006

Towards a Packet-based Control Theory - Part II: Rate Issues.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Networked control systems with norm bounded uncertainties: a stability analysis.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Optimum allocation of computing resources in networked sensing and control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

On the effect of quantization on performance at high rates.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry.

[BibT_eX]

[DOI]

John M. Carson III

Douglas G. MacMynowski

Proceedings of the American Control Conference, 2006

2005

Approximate distributed kalman filtering in sensor networks with quantifiable performance.

[BibT_eX]

[DOI]

Demetri P. 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

Estimation with Information Loss: Asymptotic Analysis and Error Bounds.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Receiver Design Principles for Estimation over Fading Channels.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Distributed Averaging on Asynchronous Communication Networks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

State Estimation Utilizing Multiple Description Coding over Lossy Networks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

A Control-Oriented Analysis of Bio-inspired Visuomotor Convergence.

[BibT_eX]

[DOI]

J. Sean Humbert

Michael H. Dickinson

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

On Sensor Fusion in the Presence of Packet-dropping Communication Channels.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Motion planning with wireless network constraints.

[BibT_eX]

[DOI]

Demetri P. Spanos

Proceedings of the American Control Conference, 2005

Towards a packet-based control theory - part 1: stabilization over a packet-based network.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Decentralized control across bit-limited communication channels: an example.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Virtual attractive-repulsive potentials for cooperative control of second order dynamic vehicles on the Caltech MVWT.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

On dropping noisy packets in Kalman filtering over a wireless fading channel.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Experimental validation of an algorithm for cooperative boundary tracking.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

On LQG control across a stochastic packet-dropping link.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 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]

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

Discrete state estimators for a class of nondeterministic hybrid systems on a lattice.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Existence of discrete state estimators for hybrid systems on a lattice.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Robust connectivity of networked vehicles.

[BibT_eX]

[DOI]

Demetri P. Spanos

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Double-graph control strategy of multi-vehicle formations.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Nonlinear trajectory generation for unmanned air vehicles with multiple radars.

[BibT_eX]

[DOI]

Tamer Inanc

Kathy Misovec

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Receding horizon control of multi-vehicle formations: a distributed implementation.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

On a decentralized active sensing strategy using mobile sensor platforms in a network.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Ellipsoidal cones and rendezvous of multiple agents.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A framework for Lyapunov certificates for multi-vehicle rendezvous problems.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Vision as a compensatory mechanism for disturbance rejection in upwind flight.

[BibT_eX]

[DOI]

Michael B. Reiser

J. Sean Humbert

Mary J. Dunlop

Michael H. Dickinson

Proceedings of the 2004 American Control Conference, 2004

MVWT-II: the second generation Caltech Multi-Vehicle Wireless Testbed.

[BibT_eX]

[DOI]

Stephan Waydo

Elisabeth B. Wildanger

Proceedings of the 2004 American Control Conference, 2004

On the synthesis of control laws for a network of autonomous agents.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 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

Classification of human actions into dynamics based primitives with application to drawing tasks.

[BibT_eX]

[DOI]

Pietro Perona

Proceedings of the 7th European Control Conference, 2003

Nonlinear and cooperative control of multiple hovercraft with input constraints.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Nonlinear trajectory generation for the Caltech Multi-Vehicle Wireless Testbed.

[BibT_eX]

[DOI]

Jonathan Chauvin

Laure Sinègre

Proceedings of the 7th European Control Conference, 2003

Agreement problems in networks with directed graphs and switching topology.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Flocking with obstacle avoidance: cooperation with limited communication in mobile networks.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Low-observable nonlinear trajectory generation for unmanned air vehicles.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Stability analysis of interconnected nonlinear systems under matrix feedback.

[BibT_eX]

[DOI]

Lars B. Cremean

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Stability analysis of stochastically varying formations of dynamic agents.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

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

[BibT_eX]

[DOI]

Pietro Perona

Proceedings of the American Control Conference, 2003

Observability and local observer construction for unknown parameters in linearly and nonlinearly parameterized systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

Consensus protocols for networks of dynamic agents.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

Cooperative control of multi-vehicle systems using cost graphs and optimization.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

Stability and performance analysis with double-graph model of vehicle formations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

On the control of jump linear Markov systems with Markov state estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

Model reduction and system identification for master equation control systems.

[BibT_eX]

[DOI]

Martha A. Gallivan

Proceedings of the American Control Conference, 2003

The RoboFlag competition.

[BibT_eX]

[DOI]

Raffaello D'Andrea

Proceedings of the American Control Conference, 2003

2002

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

[BibT_eX]

[DOI]

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]

Autom., 2002

Graph rigidity and distributed formation stabilization of multi-vehicle systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Distributed structural stabilization and tracking for formations of dynamic multi-agents.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Real-time trajectory generation for the cooperative path planning of multi-vehicle systems.

[BibT_eX]

[DOI]

Feng-Li Lian

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Model predictive control of coordinated multi-vehicle formations.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

The Caltech Multi-Vehicle Wireless Testbed.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

On the choice of norm for modeling compressible flow dynamics at reduced-order using the POD.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 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

Modeling and control of thin film morphology using unsteady processing parameters: Problem formulation and initial results.

[BibT_eX]

[DOI]

Martha A. Gallivan

David G. Goodwin

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

A geometric perspective on bifurcation control.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

A new computational approach to real-time trajectory generation for constrained mechanical systems.

[BibT_eX]

[DOI]

Mark B. Milam

Kudah Mushambi

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Optimal control of affine connection control systems: a variational approach.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Finite-horizon optimal control and stabilization of time-scalable systems.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Nonlinear analysis on the effects of magnitude saturation for a combustion model with fuel modulation actuators.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

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

Exponential stabilization of driftless nonlinear control systems using homogeneous feedback.

[BibT_eX]

[DOI]

Robert T. M'Closkey

IEEE Trans. Autom. Control., 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

Trajectory generation for the N-trailer problem using Goursat normal form.

[BibT_eX]

[DOI]

Dawn M. Tilbury

IEEE Trans. Autom. Control., 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

Stabilization of trajectories for systems with nonholonomic constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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

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

1993

Nonholonomic motion planning: steering using sinusoids.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1993

1992

Control primitives for robot systems.

[BibT_eX]

[DOI]

D. Curtis Deno

Kristofer S. J. Pister

IEEE Trans. Syst. Man Cybern., 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

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

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

1989

Control experiments in planar manipulation and grasping.

[BibT_eX]

[DOI]