Richard M. Murray

According to our database1, Richard M. Murray authored at least 240 papers between 1989 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Constrained Risk-Averse Markov Decision Processes.
CoRR, 2020

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

Reactive motion planning with probabilistic safety guarantees.
CoRR, 2020

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance.
Proceedings of the 2020 American Control Conference, 2020

Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data.
Proceedings of the 2020 American Control Conference, 2020

Risk-Averse Planning Under Uncertainty.
Proceedings of the 2020 American Control Conference, 2020

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

Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia.
Proceedings of the 17th European Control Conference, 2019

Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits.
Proceedings of the 17th European Control Conference, 2019

Counter-example Guided Learning of Bounds on Environment Behavior.
Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Towards Assume-Guarantee Profiles for Autonomous Vehicles.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Transforming Data Across Environments Despite Structural Non-Identifiability.
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.
Proceedings of the 2019 American Control Conference, 2019

Risk-aware motion planning for automated vehicle among human-driven cars.
Proceedings of the 2019 American Control Conference, 2019

Robust Estimation Framework with Semantic Measurements.
Proceedings of the 2019 American Control Conference, 2019

Inverse Abstraction of Neural Networks Using Symbolic Interpolation.
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.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Layering Assume-Guarantee Contracts for Hierarchical System Design.
Proc. IEEE, 2018

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.
Discret. Event Dyn. Syst., 2018

Detecting Adversarial Examples via Neural Fingerprinting.
CoRR, 2018

Future systems and control research in synthetic biology.
Annu. Rev. Control., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Proceedings of the Robotics: Science and Systems XIV, 2018

Role of interaction network topology in controlling microbial population in consortia.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Voluntary lane-change policy synthesis with control improvisation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Privacy Preserving Average Consensus.
IEEE Trans. Autom. Control., 2017

Model Predictive Control for Signal Temporal Logic Specification.
CoRR, 2017

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

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.
Proceedings of the Robotics Research, The 18th International Symposium, 2017

Synthesis of correct-by-construction behavior trees.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Learning-Based Abstractions for Nonlinear Constraint Solving.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Enhancing tolerance to unexpected jumps in GR(1) games.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Population regulation in microbial consortia using dual feedback control.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Connected cruise control design using probabilistic model checking.
Proceedings of the 2017 American Control Conference, 2017

A fast motion planning representation for configuration flat robots with applications to micro air vehicles.
Proceedings of the 2017 American Control Conference, 2017

2016
Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks.
SIAM J. Appl. Dyn. Syst., 2016

The Effects of Time-Varying Temperature on Delays in Genetic Networks.
SIAM J. Appl. Dyn. Syst., 2016

Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Synthesis of reactive controllers for hybrid systems (keynote).
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.
Proceedings of the 15th European Control Conference, 2016

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Quantifying resource competition and its effects in the TX-TL system.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Constrained autonomous satellite docking via differential flatness and model predictive control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Linear system identifiability from distributional and time series data.
Proceedings of the 2016 American Control Conference, 2016

Symbolic construction of GR(1) contracts for systems with full information.
Proceedings of the 2016 American Control Conference, 2016

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Synthetic Biology.
Proceedings of the Encyclopedia of Systems and Control, 2015

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
IEEE Trans. Control. Netw. Syst., 2015

Convex Optimal Uncertainty Quantification.
SIAM J. Optim., 2015

Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation.
Int. J. Robotics Res., 2015

Bootstrapping bilinear models of Simple Vehicles.
Int. J. Robotics Res., 2015

A multi-paradigm language for reactive synthesis.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

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

Online horizon selection in receding horizon temporal logic planning.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Reactive synthesis from signal temporal logic specifications.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Cross-entropy temporal logic motion planning.
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.
Proceedings of the 14th European Control Conference, 2015

Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Analysis of control systems on symmetric cones.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Engineering principles of synthetic biochemical oscillators with negative cyclic feedback.
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.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Variable elimination for scalable receding horizon temporal logic planning.
Proceedings of the American Control Conference, 2015

Robust Model Predictive Control for Signal Temporal Logic Synthesis.
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.
J. Aerosp. Inf. Syst., 2014

The Swarm at the Edge of the Cloud.
IEEE Des. Test, 2014

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

A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access, 2014

A compositional approach to stochastic optimal control with co-safe temporal logic specifications.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Optimization-based trajectory generation with linear temporal logic specifications.
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.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Designing robustness to temperature in a feedforward loop circuit.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Model predictive control with signal temporal logic specifications.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Hot-swapping robot task goals in reactive formal synthesis.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics.
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.
Proceedings of the American Control Conference, 2014

Collaborative system identification via parameter consensus.
Proceedings of the American Control Conference, 2014

Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.
Proceedings of the American Control Conference, 2014

A scalable formulation for engineering combination therapies for evolutionary dynamics of disease.
Proceedings of the American Control Conference, 2014

Exact stability analysis of discrete-time linear systems with stochastic delays.
Proceedings of the American Control Conference, 2014

2013
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.
IEEE Trans. Autom. Control., 2013

Discriminating External and Internal Causes for Heading Changes in Freely Flying <i>Drosophila</i>.
PLoS Comput. Biol., 2013

Verifying Cyber-Physical Interactions in Safety-Critical Systems.
IEEE Secur. Priv., 2013

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

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

Optimal Control of Nonlinear Systems with Temporal Logic Specifications.
Proceedings of the Robotics Research, 2013

Automaton-guided controller synthesis for nonlinear systems with temporal logic.
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.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Robot navigation in dense human crowds: the case for cooperation.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Patching task-level robot controllers based on a local μ-calculus formula.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Just-in-time synthesis for reactive motion planning with temporal logic.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Motion planning in observations space with learned diffeomorphism models.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Stability of discrete-time systems with stochastically delayed feedback.
Proceedings of the 12th European Control Conference, 2013

Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
Proceedings of the International Conference on Embedded Software, 2013

Industrial Cyber-Physical Systems - iCyPhy.
Proceedings of the Complex Systems Design & Management, 2013

Resource competition as a source of non-minimum phase behavior in transcription-translation systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Modeling environmental disturbances with the chemical master equation.
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.
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.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Temperature dependence of biomolecular circuit designs.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Biomolecular resource utilization in elementary cell-free gene circuits.
Proceedings of the American Control Conference, 2013

Design and implementation of a biomolecular circuit for tracking protein concentration.
Proceedings of the American Control Conference, 2013

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
Proceedings of the American Control Conference, 2013

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.
Proceedings of the American Control Conference, 2013

Feedback architectures to regulate flux of components in artificial gene networks.
Proceedings of the American Control Conference, 2013

2012
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.
ACM Trans. Embed. Comput. Syst., 2012

Receding Horizon Temporal Logic Planning.
IEEE Trans. Autom. Control., 2012

Quantized Consensus by Means of Gossip Algorithm.
IEEE Trans. Autom. Control., 2012

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
CoRR, 2012

Stabilization of Feedback Systems Via Distribution of Delays.
Proceedings of the 10th IFAC Workshop on Time Delay Systems, 2012

Optimal Control with Weighted Average Costs and Temporal Logic Specifications.
Proceedings of the Robotics: Science and Systems VIII, 2012

Backtracking temporal logic synthesis for uncertain environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Towards formal synthesis of reactive controllers for dexterous robotic manipulation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Learning diffeomorphism models of robotic sensorimotor cascades.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

On synthesizing robust discrete controllers under modeling uncertainty.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Quantifying crosstalk in biochemical systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A case study on reactive protocols for aircraft electric power distribution.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Robust control of uncertain Markov Decision Processes with temporal logic specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Performance metrics for a biomolecular step response.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reactive controllers for differentially flat systems with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Decentralised minimal-time dynamic consensus.
Proceedings of the American Control Conference, 2012

Temporal logic control of switched affine systems with an application in fuel balancing.
Proceedings of the American Control Conference, 2012

Switching protocol synthesis for temporal logic specifications.
Proceedings of the American Control Conference, 2012

2011
Dynamics and Stability of Low-Reynolds-Number Swimming Near a Wall.
SIAM J. Appl. Dyn. Syst., 2011

Bisimulation conversion and verification procedure for goal-based control systems.
Formal Methods Syst. Des., 2011

Extremal Properties of Complex Networks
CoRR, 2011

A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor.
Proceedings of the 2011 IEEE International Conference on Robotics and Biomimetics, 2011

Containment indicator function construction via numerical conformal mapping.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Bootstrapping sensorimotor cascades: A group-theoretic perspective.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Bootstrapping bilinear models of robotic sensorimotor cascades.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents.
Proceedings of the 1st International Conference on Development and Learning and on Epigenetic Robotics, 2011

Distributed Synthesis of Control Protocols for Smart Camera Networks.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

TuLiP: a software toolbox for receding horizon temporal logic planning.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Distributed power allocation for vehicle management systems.
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.
IEEE Trans. Autom. Control., 2010

Reply to "Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"".
Proc. IEEE, 2010

Quantification and Minimization of Crosstalk Sensitivity in Networks
CoRR, 2010

A bio-plausible design for visual pose stabilization.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Receding horizon control for temporal logic specifications.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Joint DAC/IWBDA special session engineering biology: fundamentals and applications.
Proceedings of the 47th Design Automation Conference, 2010

Tuning a synthetic in vitro oscillator using control-theoretic tools.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Synthesis of embedded control systems with high sampling frequencies.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Automatic Synthesis of Robust Embedded Control Software.
Proceedings of the Embedded Reasoning, 2010

2009
Flight Dynamics and Control of Evasive Maneuvers: The Fruit Fly's Takeoff.
IEEE Trans. Biomed. Eng., 2009

To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels.
IEEE Trans. Autom. Control., 2009

Data Transmission Over Networks for Estimation and Control.
IEEE Trans. Autom. Control., 2009

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

A real-time helicopter testbed for insect-inspired visual flight control.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

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

Receding horizon temporal logic planning for dynamical systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Compositional stability analysis based on dual decomposition.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Geometric control of particle manipulation in a two-dimensional fluid.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Quantized consensus via adaptive stochastic gossip algorithm.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Design of insulating devices for in vitro synthetic circuits.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A bio-plausible design for visual attitude stabilization.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On quantized consensus by means of gossip algorithm - Part II: Convergence time.
Proceedings of the American Control Conference, 2009

On quantized consensus by means of gossip algorithm - Part I: Convergence proof.
Proceedings of the American Control Conference, 2009

Real-valued average consensus over noisy quantized channels.
Proceedings of the American Control Conference, 2009

2008
Probabilistic performance of state estimation across a lossy network.
Autom., 2008

Kalman filtering over a packet dropping network: A probabilistic approach.
Proceedings of the 10th International Conference on Control, 2008

Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems.
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.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Design and performance of in vitro transcription rate regulatory circuits.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Nonlinear lateral control strategy for nonholonomic vehicles.
Proceedings of the American Control Conference, 2008

Design, modeling and synthesis of an in vitro transcription rate regulatory circuit.
Proceedings of the American Control Conference, 2008

Convergence Properties of Dynamic Agents Consensus Networks with Broken Links.
Proceedings of the American Control Conference, 2008

Safety verification of fault tolerant goal-based control programs with estimation uncertainty.
Proceedings of the American Control Conference, 2008

2007
Asynchronous distributed averaging on communication networks.
IEEE/ACM Trans. Netw., 2007

UAV as a Reliable Wingman: A Flight Demonstration.
IEEE Trans. Control. Syst. Technol., 2007

Optimal LQG control across packet-dropping links.
Syst. Control. Lett., 2007

Consensus and Cooperation in Networked Multi-Agent Systems.
Proc. IEEE, 2007

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.
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.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Random consensus protocol in large-scale networks.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Estimation schemes for networked control systems using UDP-like communication.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Analysis of a Digital Clock for Molecular Computing.
Proceedings of the American Control Conference, 2007

Frequency-Weighted Model Reduction with Applications to Structured Models.
Proceedings of the American Control Conference, 2007

To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links.
Proceedings of the American Control Conference, 2007

Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks.
Proceedings of the American Control Conference, 2007

Biologically Inspired Feedback Design for Drosophila Flight.
Proceedings of the American Control Conference, 2007

A Multi-Model Approach to Identification of Biosynthetic Pathways.
Proceedings of the American Control Conference, 2007

Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks.
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.
Proceedings of the IEEE International Conference on Control Applications, 2007

2006
Alice: An information-rich autonomous vehicle for high-speed desert navigation.
J. Field Robotics, 2006

Discrete state estimators for systems on a lattice.
Autom., 2006

State estimation over packet dropping networks using multiple description coding.
Autom., 2006

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

Distributed receding horizon control for multi-vehicle formation stabilization.
Autom., 2006

Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

A Decentralized Motion Coordination Strategy for Dynamic Target Tracking.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

The Effect of Sensor Health on State Estimation.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Distributed Sensing and Estimation Under Communication Constraints.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Multi-Hop Relay Protocols for Fast Consensus Seeking.
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.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On the robustness of distributed algorithms.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On Sensor Coverage by Mobile Sensors.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
Approximate distributed kalman filtering in sensor networks with quantifiable performance.
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.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Estimation of Linear Stochastic Systems over a Queueing Network.
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.
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.
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.
IEEE Trans. Autom. Control., 2004

Information flow and cooperative control of vehicle formations.
IEEE Trans. Autom. Control., 2004

Distributed Algorithms for Cooperative Control.
IEEE Pervasive Comput., 2004

Effect of time-varying fading channels on control performance of a mobile sensor.
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.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example].
Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

Discrete State Estimators for a Class of Hybrid Systems on a Lattice.
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.
Eur. J. Control, 2003

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

Vehicle motion planning using stream functions.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

Cooperative task planning of multi-robot systems with temporal constraints.
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.
Autom., 2002

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

2001
Nonlinear Control Methods for Planar Carangiform Robot Fish Locomotion.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

1999
Configuration Controllability of Simple Mechanical Control Systems.
SIAM Rev., 1999

Tracking for fully actuated mechanical systems: a geometric framework.
Autom., 1999

1997
An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

1995
Geometric phases and robotic locomotion.
J. Field Robotics, 1995

The Mechanisms of Undulatory Locomotion: The Mixed Kinematic and Dynamic Case.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1994
A motion planner for nonholonomic mobile robots.
IEEE Trans. Robotics Autom., 1994

Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems.
Math. Control. Signals Syst., 1994

Nonholonomic Mechanics and Locomotion: The Snakeboard Example.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994

A mathematical introduction to robotics manipulation.
CRC Press, ISBN: 978-0-8493-7981-9, 1994

1992
Control primitives for robot systems.
IEEE Trans. Syst. Man Cybern., 1992

Stabilization of trajectories for systems with nonholonomic constraints.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Steering car-like systems with trailers using sinusoids.
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.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Fingerlike biomechanical robots.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1989
Control experiments in planar manipulation and grasping.
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989


  Loading...