S. Shankar Sastry

Nick Landolfi

Anca D. Dragan

Auton. Robots, 2018

Haptic Assistance via Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Step Size Matters in Deep Learning.

[BibT_eX]

[DOI]

Kamil Nar

David Livingston McPherson

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Modeling Supervisor Safe Sets for Improving Collaboration in Human-Robot Teams.

[BibT_eX]

[DOI]

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

People as Sensors: Imputing Maps from Human Actions.

[BibT_eX]

[DOI]

Oladapo Afolabi

Mykel J. Kochenderfer

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

A New Solution Concept and Family of Relaxations for Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Tyler Westenbroek

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

An Analytical Framework to Address the Data Exfiltration of Advanced Persistent Threats.

[BibT_eX]

[DOI]

Kamil Nar

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

2017

A Multi-Armed Bandit Approach for Online Expert Selection in Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2017

Robust, Informative Human-in-the-Loop Predictions via Empirical Reachable Sets.

[BibT_eX]

[DOI]

CoRR, 2017

Optimal Causal Imputation for Control.

[BibT_eX]

[DOI]

Eric Mazumdar

CoRR, 2017

Surprise-Based Intrinsic Motivation for Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Joshua Achiam

CoRR, 2017

Active Preference-Based Learning of Reward Functions.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XIII, 2017

Infinite-horizon average-cost Markov decision process routing games.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

External-cost continuous-type wardrop equilibria in routing games.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Pragmatic-Pedagogic Value Alignment.

[BibT_eX]

[DOI]

Dylan Hadfield-Menell

Malayandi Palaniappan

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

Privacy-enhanced architecture for occupancy-based HVAC Control.

[BibT_eX]

[DOI]

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

Markov decision process routing games.

[BibT_eX]

[DOI]

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

Statistical estimation with strategic data sources in competitive settings.

[BibT_eX]

[DOI]

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

Learning prospect theory value function and reference point of a sequential decision maker.

[BibT_eX]

[DOI]

Kamil Nar

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

Gradient-based inverse risk-sensitive reinforcement learning.

[BibT_eX]

[DOI]

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

Optimal sensor-controller codesign for privacy in dynamical systems.

[BibT_eX]

[DOI]

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

Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Towards a theory of free-lunch privacy in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016

Traffic Assignment Using a Density-Based Travel-Time Function for Intelligent Transportation Systems.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2016

Travel Time Dynamics for Intelligent Transportation Systems: Theory and Applications.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2016

Approximation Algorithms for Optimization of Combinatorial Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

On the Characterization of Local Nash Equilibria in Continuous Games.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Inverse Problem for Non-Viscous Mean Field Control: Example From Traffic.

[BibT_eX]

[DOI]

Shaurya Agarwal

IEEE Trans. Autom. Control., 2016

Event-Selected Vector Field Discontinuities Yield Piecewise-Differentiable Flows.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2016

Dissimilarity-Based Sparse Subset Selection.

[BibT_eX]

[DOI]

Ehsan Elhamifar

Guillermo Sapiro

IEEE Trans. Pattern Anal. Mach. Intell., 2016

Generating Plans that Predict Themselves.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XII, 2016

Planning for Autonomous Cars that Leverage Effects on Human Actions.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Towards trustworthy automation: User interfaces that convey internal and external awareness.

[BibT_eX]

[DOI]

Tara Rezvani

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Information gathering actions over human internal state.

[BibT_eX]

[DOI]

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

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Optimal thresholds for intrusion detection systems.

[BibT_eX]

[DOI]

Xenofon D. Koutsoukos

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Inverse modeling of non-cooperative agents via mixture of utilities.

[BibT_eX]

[DOI]

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

Understanding the impact of parking on urban mobility via routing games on queue-flow networks.

[BibT_eX]

[DOI]

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

Goal Inference Improves Objective and Perceived Performance in Human-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Generalized Principal Component Analysis.

[BibT_eX]

[DOI]

Interdisciplinary applied mathematics 40, Springer, ISBN: 978-0-387-87810-2, 2016

2015

Model-Based Methodology for Validation of Traffic Flow Detectors by Minimizing Human Bias in Video Data Processing.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2015

Feedback-Coordinated Ramp Control of Consecutive On-Ramps Using Distributed Modeling and Godunov-Based Satisfiable Allocation.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2015

Model Reduction Near Periodic Orbits of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Shai Revzen

IEEE Trans. Autom. Control., 2015

Metrization and Simulation of Controlled Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Sparse Illumination Learning and Transfer for Single-Sample Face Recognition with Image Corruption and Misalignment.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2015

Improving human-in-the-loop decision making in multi-mode driver assistance systems using hidden mode stochastic hybrid systems.

[BibT_eX]

[DOI]

Chi-Pang Lam

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

Personalized kinematics for human-robot collaborative manipulation.

[BibT_eX]

[DOI]

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

REST: a reliable estimation of stopping time algorithm for social game experiments.

[BibT_eX]

[DOI]

Ming Jin

Costas J. Spanos

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

Reach-avoid problems with time-varying dynamics, targets and constraints.

[BibT_eX]

[DOI]

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

An efficient algorithm for discrete-time hidden mode stochastic hybrid systems.

[BibT_eX]

[DOI]

Chi-Pang Lam

Proceedings of the 14th European Control Conference, 2015

Safe sequential path planning of multi-vehicle systems via double-obstacle Hamilton-Jacobi-Isaacs variational inequality.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

Formal methods for semi-autonomous driving.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Nuclear norm minimization for blind subspace identification (N2BSID).

[BibT_eX]

[DOI]

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

The pursuit-evasion-defense differential game in dynamic constrained environments.

[BibT_eX]

[DOI]

Jaime F. Fisac

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

Differential privacy of populations in routing games.

[BibT_eX]

[DOI]

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

Lane pricing via decision-theoretic lane changing model of driver behavior.

[BibT_eX]

[DOI]

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

Energy Disaggregation via Learning Powerlets and Sparse Coding.

[BibT_eX]

[DOI]

Ehsan Elhamifar

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Compressive Shift Retrieval.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2014

Incentive Mechanisms for Internet Congestion Management: Fixed-Budget Rebate Versus Time-of-Day Pricing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2014

Analysis of the Godunov-Based Hybrid Model for Ramp Metering and Robust Feedback Control Design.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2014

Effects of Risk on Privacy Contracts for Demand-Side Management.

[BibT_eX]

[DOI]

CoRR, 2014

Social Game for Building Energy Efficiency: Utility Learning, Simulation, and Analysis.

[BibT_eX]

[DOI]

CoRR, 2014

Experimental Design for Human-in-the-Loop Driving Simulations.

[BibT_eX]

[DOI]

CoRR, 2014

Quantifying the Utility-Privacy Tradeoff in the Smart Grid.

[BibT_eX]

[DOI]

CoRR, 2014

Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART).

[BibT_eX]

[DOI]

CoRR, 2014

Scalable anomaly detection in large homogeneous populations.

[BibT_eX]

[DOI]

Henrik Ohlsson

Tianshi Chen

Sina Khoshfetrat Pakazad

Lennart Ljung

Autom., 2014

Synthesis for Human-in-the-Loop Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

The heterogeneous Colonel Blotto game.

[BibT_eX]

[DOI]

Galina Schwartz

Patrick Loiseau

Proceedings of the 7th International Conference on NETwork Games, COntrol and OPtimization, 2014

Joint detection and recognition of human actions in wireless surveillance camera networks.

[BibT_eX]

[DOI]

Pedram Lajevardi

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

Cyber-insurance framework for large scale interdependent networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

User interface design and verification for semi-autonomous driving.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Energy efficiency via incentive design and utility learning.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Fundamental limits of nonintrusive load monitoring.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.

[BibT_eX]

[DOI]

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

Privacy and customer segmentation in the smart grid.

[BibT_eX]

[DOI]

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

A POMDP framework for human-in-the-loop system.

[BibT_eX]

[DOI]

Chi-Pang Lam

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

Genericity and structural stability of non-degenerate differential Nash equilibria.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

A three-stage Colonel Blotto game with applications to cyberphysical security.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Social game for building energy efficiency: Incentive design.

[BibT_eX]

[DOI]

Ming Jin

Costas J. Spanos

Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

A low-bandwidth camera sensor platform with applications in smart camera networks.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2013

Fast 퓁 1 -Minimization Algorithms for Robust Face Recognition.

[BibT_eX]

[DOI]

Zihan Zhou

A. G. Balasubramanian

IEEE Trans. Image Process., 2013

Cyber Security of Water SCADA Systems - Part I: Analysis and Experimentation of Stealthy Deception Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2013

Cyber Security of Water SCADA Systems - Part II: Attack Detection Using Enhanced Hydrodynamic Models.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2013

Consistent Approximations for the Optimal Control of Constrained Switched Systems - Part 2: An Implementable Algorithm.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2013

Consistent Approximations for the Optimal Control of Constrained Switched Systems - Part 1: A Conceptual Algorithm.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2013

Blind Identification of ARX Models with Piecewise Constant Inputs

[BibT_eX]

[DOI]

CoRR, 2013

Quadratic Compressive Sensing - A Nonlinear Extension of Compressive Sensing

[BibT_eX]

[DOI]

CoRR, 2013

Robust Subspace System Identification via Weighted Nuclear Norm Optimization.

[BibT_eX]

[DOI]

CoRR, 2013

Behavior Modification and Utility Learning via Energy Disaggregation.

[BibT_eX]

[DOI]

CoRR, 2013

Blind Identification via Lifting.

[BibT_eX]

[DOI]

CoRR, 2013

Scalable Anomaly Detection in Large Homogenous Populations.

[BibT_eX]

[DOI]

Henrik Ohlsson

Tianshi Chen

Sina Khoshfetrat Pakazad

Lennart Ljung

CoRR, 2013

Provably safe and robust learning-based model predictive control.

[BibT_eX]

[DOI]

Autom., 2013

Security of interdependent and identical networked control systems.

[BibT_eX]

[DOI]

Autom., 2013

Multiscale TILT Feature Detection with Application to Geometric Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Computer Vision Workshops, 2013

A Convex Optimization Framework for Active Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Computer Vision, 2013

An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Single-Sample Face Recognition with Image Corruption and Misalignment via Sparse Illumination Transfer.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

Infinitesimal interconnection variation in nonlinear networked systems.

[BibT_eX]

[DOI]

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

Nonlinear Compressive Particle Filtering.

[BibT_eX]

[DOI]

Henrik Ohlsson

Michel Verhaegen

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

A dynamical systems approach to energy disaggregation.

[BibT_eX]

[DOI]

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

Pricing design for robustness in linear quadratic games.

[BibT_eX]

[DOI]

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

Energy management via pricing in LQ dynamic games.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Characterization and computation of local Nash equilibria in continuous games.

[BibT_eX]

[DOI]

Samuel Burden

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

Energy disaggregation via adaptive filtering.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

Nonlinear basis pursuit.

[BibT_eX]

[DOI]

Proceedings of the 2013 Asilomar Conference on Signals, 2013

2012

Switched and Symmetric Pursuit/Evasion Games Using Online Model Predictive Control With Application to Autonomous Aircraft.

[BibT_eX]

[DOI]

J. Mikael Eklund

Jonathan Sprinkle

IEEE Trans. Control. Syst. Technol., 2012

Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control

[BibT_eX]

[DOI]

CoRR, 2012

CPRL -- An Extension of Compressive Sensing to the Phase Retrieval Problem.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

On the Lagrangian biduality of sparsity minimization problems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

Pricing in linear-quadratic dynamic games.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

A game theory model for electricity theft detection and privacy-aware control in AMI systems.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

Using Models of Objects with Deformable Parts for Joint Categorization and Segmentation of Objects.

[BibT_eX]

[DOI]

Dheeraj Singaraju

Proceedings of the Computer Vision, 2012

2011

Toward Robotic Sensor Webs: Algorithms, Systems, and Experiments.

[BibT_eX]

[DOI]

Proc. IEEE, 2011

Segmentation of Natural Images by Texture and Boundary Compression.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2011

Multi-path Routing Metrics for Reliable Wireless Mesh Routing Topologies

[BibT_eX]

[DOI]

Phoebus Chen

Paul Balister

Béla Bollobás

CoRR, 2011

Revisit Dynamic ARIMA Based Anomaly Detection.

[BibT_eX]

[DOI]

Bonnie Zhu

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Congestion pricing using a raffle-based scheme.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on NETwork Games, COntrol and OPtimization, 2011

A Taxonomy of Cyber Attacks on SCADA Systems.

[BibT_eX]

[DOI]

Bonnie Zhu

Anthony D. Joseph

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Informative feature selection for object recognition via Sparse PCA.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Computer Vision, 2011

Towards a theory of high confidence networked control systems: action webs.

[BibT_eX]

[DOI]

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

Dimension reduction near periodic orbits of hybrid systems.

[BibT_eX]

[DOI]

Samuel Burden

Shai Revzen

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

Numerical integration of hybrid dynamical systems via domain relaxation.

[BibT_eX]

[DOI]

Samuel Burden

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

On the interdependence of reliability and security in Networked Control Systems.

[BibT_eX]

[DOI]

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

Attacks against process control systems: risk assessment, detection, and response.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

Optimal periodic patrolling trajectories of UUVs guarding a channel.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

Fast ℓ1-minimization and parallelization for face recognition.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010

A Distributed Topological Camera Network Representation for Tracking Applications.

[BibT_eX]

[DOI]

Kristin Ytterstad Pettersen

IEEE Trans. Image Process., 2010

Singularity-free dynamic equations of vehicle-manipulator systems.

[BibT_eX]

[DOI]

Pål Johan From

Vincent Duindam

Jan Tommy Gravdahl

Simul. Model. Pract. Theory, 2010

Probabilistic safety and optimal control for survival analysis of Bacillus subtilis.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2010

Distributed Sensor Perception via Sparse Representation.

[BibT_eX]

[DOI]

Proc. IEEE, 2010

Three-dimensional Motion Planning Algorithms for Steerable Needles Using Inverse Kinematics.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2010

Robust Algebraic Segmentation of Mixed Rigid-Body and Planar Motions from Two Views.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2010

Roundtable: Reliability of Embedded and Cyber-Physical Systems.

[BibT_eX]

[DOI]

Sean Barnum

John A. Stankovic

IEEE Secur. Priv., 2010

A Review of Fast l1-Minimization Algorithms for Robust Face Recognition

[BibT_eX]

[DOI]

CoRR, 2010

Towards a robust face recognition system using compressive sensing.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2010, 2010

Fast l1-minimization algorithms and an application in robust face recognition: A review.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Image Processing, 2010

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.

[BibT_eX]

[DOI]

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

Stabilization of planar switched linear systems using polar coordinates.

[BibT_eX]

[DOI]

Andrew B. Godbehere

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

Stealthy deception attacks on water SCADA systems.

[BibT_eX]

[DOI]

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

Security Interdependencies for Networked Control Systems with Identical Agents.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security, 2010

Towards an efficient distributed object recognition system in wireless smart camera networks.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Information Fusion, 2010

Cyber security analysis of state estimators in electric power systems.

[BibT_eX]

[DOI]

André Teixeira

Henrik Sandberg

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

A numerical method for the optimal control of switched systems.

[BibT_eX]

[DOI]

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

Mean-square boundedness of stochastic networked control systems with bounded control inputs.

[BibT_eX]

[DOI]

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

2009

A Method for Extracting Temporal Parameters Based on Hidden Markov Models in Body Sensor Networks With Inertial Sensors.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2009

Markov Chain Monte Carlo Data Association for Multi-Target Tracking.

[BibT_eX]

[DOI]

Stuart Russell

IEEE Trans. Autom. Control., 2009

An External Active-Set Strategy for Solving Optimal Control Problems.

[BibT_eX]

[DOI]

Hoam Chung

Elijah Polak

IEEE Trans. Autom. Control., 2009

Model-based design: a report from the trenches of the DARPA Urban Challenge.

[BibT_eX]

[DOI]

Hugh F. Durrant-Whyte

Softw. Syst. Model., 2009

Complete characterization of mixing time for the continuous quantum walk on the hypercube with markovian decoherence model.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2009

Robust Face Recognition via Sparse Representation.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2009

Distributed recognition of human actions using wearable motion sensor networks.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2009

Understanding the physical and economic consequences of attacks on control systems.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2009

Box invariance in biologically-inspired dynamical systems.

[BibT_eX]

[DOI]

Ashish Tiwari

Autom., 2009

Rethinking security properties, threat models, and the design space in sensor networks: A case study in SCADA systems.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2009

Algebraic approach to recovering topological information in distributed camera networks.

[BibT_eX]

[DOI]

Parvez Ahammad

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Poster abstract: Multihop routing in camera sensor networks - An experimental study.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Modeling and motion planning for mechanisms on a non-inertial base.

[BibT_eX]

[DOI]

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

Multiple-view object recognition in band-limited distributed camera networks.

[BibT_eX]

[DOI]

Subhransu Maji

C. Mario Christoudias

Trevor Darrell

Jitendra Malik

Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

Robust construction of the Camera Network Complex for topology recovery.

[BibT_eX]

[DOI]

Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

Safe and Secure Networked Control Systems under Denial-of-Service Attacks.

[BibT_eX]

[DOI]

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

Distributed compression and fusion of nonnegative sparse signals for multiple-view object recognition.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Fusion, 2009

DexterNet: An Open Platform for Heterogeneous Body Sensor Networks and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

Natural Image Segmentation with Adaptive Texture and Boundary Encoding.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision, 2009

Respectful Cameras: Detecting Visual Markers in Real-Time to Address Privacy Concerns.

[BibT_eX]

[DOI]

Proceedings of the Protecting Privacy in Video Surveillance, 2009

Building an Algebraic Topological Model of Wireless Camera Networks.

[BibT_eX]

[DOI]

Parvez Ahammad

Proceedings of the Multi-Camera Networks, 2009

2008

Convergence Analysis of Reweighted Sum-Product Algorithms.

[BibT_eX]

[DOI]

Martin J. Wainwright

IEEE Trans. Signal Process., 2008

High-Speed Action Recognition and Localization in Compressed Domain Videos.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2008

Transactional Confidentiality in Sensor Networks.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

Unsupervised segmentation of natural images via lossy data compression.

[BibT_eX]

[DOI]

Comput. Vis. Image Underst., 2008

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.

[BibT_eX]

[DOI]

Autom., 2008

Testbed Implementation of a Secure Flooding Time Synchronization Protocol.

[BibT_eX]

[DOI]

Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

3D Motion Planning Algorithms for Steerable Needles Using Inverse Kinematics.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundation of Robotics VIII, 2008

Research Challenges for the Security of Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

Integrity checker for wireless sensor networks in health care applications.

[BibT_eX]

[DOI]

Annarita Giani

Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

Utilizing parallax information for collisionavoidancein dynamic environments.

[BibT_eX]

[DOI]

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

Screw-based motion planning for bevel-tip flexible needles in 3D environments with obstacles.

[BibT_eX]

[DOI]

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

Fusion-based localization for a Heterogeneous camera network.

[BibT_eX]

[DOI]

Manish Kushwaha

Xenofon D. Koutsoukos

Ákos Lédeczi

Proceedings of the 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008

CITRIC: A low-bandwidth wireless camera network platform.

[BibT_eX]

[DOI]

Proceedings of the 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008

Secure Control: Towards Survivable Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.

[BibT_eX]

[DOI]

Xenofon D. Koutsoukos

Ákos Lédeczi

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.

[BibT_eX]

[DOI]

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

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Maria Domenica Di Benedetto

Alessandro D'Innocenzo

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

Distributed segmentation and classification of human actions using a wearable motion sensor network.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2008

Performance analysis of different routing protocols in Wireless Sensor Networks for real-time estimation.

[BibT_eX]

[DOI]

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

Reachability calculations for automated aerial refueling.

[BibT_eX]

[DOI]

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

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems.

[BibT_eX]

[DOI]

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

Optimal sensor density for remote estimation over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual Allerton Conference on Communication, 2008

Data Fusion Assurance for the Kalman Filter in Uncertain Networks.

[BibT_eX]

[DOI]

Bonnie Zhu

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

2007

Time Synchronization Attacks in Sensor Networks.

[BibT_eX]

[DOI]

Michael Manzo

Proceedings of the Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks, 2007

Tracking and Coordination of Multiple Agents Using Sensor Networks: System Design, Algorithms and Experiments.

[BibT_eX]

[DOI]

Proc. IEEE, 2007

Foundations of Control and Estimation Over Lossy Networks.

[BibT_eX]

[DOI]

Proc. IEEE, 2007

Escher: A New Technology Transitioning Model.

[BibT_eX]

[DOI]

Computer, 2007

Latency and connectivity analysis tools for wireless mesh networks.

[BibT_eX]

[DOI]

Phoebus Chen

Proceedings of the 1st International Conference on Robot Communication and Coordination, 2007

Comparative Analysis of Spatial Patterns of Gene Expression in Drosophila melanogaster Imaginal Discs.

[BibT_eX]

[DOI]

Proceedings of the Research in Computational Molecular Biology, 2007

A resource optimized physical movement monitoring scheme for environmental and on-body sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGMOBILE International Workshop on Systems and Networking Support for Healthcare and Assisted Living Environments, 2007

Unsupervised Discovery of Action Hierarchies in Large Collections of Activity Videos.

[BibT_eX]

[DOI]

Proceedings of the IEEE 9th Workshop on Multimedia Signal Processing, 2007

Respectful cameras: detecting visual markers in real-time to address privacy concerns.

[BibT_eX]

[DOI]

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

Geometric motion estimation and control for robotic-assisted beating-heart surgery.

[BibT_eX]

[DOI]

Vincent Duindam

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

Autonomous Vision-based Landing and Terrain Mapping Using an MPC-controlled Unmanned Rotorcraft.

[BibT_eX]

[DOI]

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

Automatic Camera Network Localization using Object Image Tracks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 11th International Conference on Computer Vision, 2007

Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.

[BibT_eX]

[DOI]

Maria Domenica Di Benedetto

Alessandro D'Innocenzo

Giordano Pola

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Inherent Security of Routing Protocols in Ad-Hoc and Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2007

Robust feasibility for control of water flow in a reservoir-canal system.

[BibT_eX]

[DOI]

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

Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations.

[BibT_eX]

[DOI]

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

The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Physical Activity Monitoring for Assisted Living at Home.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Wearable and Implantable Body Sensor Networks, 2007

Using Social Network Theory Towards Development of Wireless Ad Hoc Network Trust.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Estimation over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

An Evasive Maneuvering Algorithm for UAVs in See-and-Avoid Situations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Approximate Estimation of Distributed Networked Control Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Flapping flight for biomimetic robotic insects: part I-system modeling.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2006

Flapping flight for biomimetic robotic insects: part II-flight control design.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2006

Generalized Performance of Concatenated Quantum Codes - A Dynamical Systems Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Conflict-free navigation in unknown urban environments.

[BibT_eX]

[DOI]

Hoam Chung

IEEE Robotics Autom. Mag., 2006

Two-View Multibody Structure from Motion.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2006

Distributed Reputation System for Tracking Applications in Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

Compressed Domain Real-time Action Recognition.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th Workshop on Multimedia Signal Processing, 2006

Beyond SensorWebs: closing the loop in network embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

Instrumenting Wireless Sensor Networks for Real-time Surveillance.

[BibT_eX]

[DOI]

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

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

On the Stability of Zeno Equilibria.

[BibT_eX]

[DOI]

Paulo Tabuada

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Security and Privacy Issues with Health Care Information Technology.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Optimal Linear LQG Control Over Lossy Networks Without Packet Acknowledgment.

[BibT_eX]

[DOI]

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

Distributed Networked Control System with Lossy Links: State Estimation and Stabilizing Communication Control.

[BibT_eX]

[DOI]

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

Pursuit Controller Performance Guarantees for a Lifeline Pursuit-Evasion Game over a Wireless Sensor Network.

[BibT_eX]

[DOI]

Phoebus Chen

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

Hybrid Geometric Reduction of Hybrid Systems.

[BibT_eX]

[DOI]

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

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems.

[BibT_eX]

[DOI]

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

TRUST: in cyberspace and beyond.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

Is there life after Zeno? Taking executions past the breaking (Zeno) point.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Hybrid cotangent bundle reduction of simple hybrid mechanical systems with symmetry.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Hybrid Routhian reduction of Lagrangian hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Error bounds based stochastic approximations and simulations of hybrid dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

A priori detection of Zeno behavior in communication networks modeled as hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

The Recursive Multi-Frame Planar Parallax Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on 3D Data Processing, 2006

2005

Aircraft conflict prediction in the presence of a spatially correlated wind field.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2005

Generalized Principal Component Analysis (GPCA).

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2005

Online safety calculations for glide-slope recapture.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2005

Geometric Models of Rolling-Shutter Cameras

[BibT_eX]

[DOI]

Christopher Geyer

CoRR, 2005

Time synchronization attacks in sensor networks.

[BibT_eX]

[DOI]

Michael Manzo

Proceedings of the 3rd ACM Workshop on Security of ad hoc and Sensor Networks, 2005

Roadmap Based Pursuit-Evasion and Collision Avoidance.

[BibT_eX]

[DOI]

Volkan Isler

Dengfeng Sun

Proceedings of the Robotics: Science and Systems I, 2005

Tracking on a graph.

[BibT_eX]

[DOI]

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

Swarm Coordination for Pursuit Evasion Games using Sensor Networks.

[BibT_eX]

[DOI]

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

A Hierarchical Multiple-Target Tracking Algorithm for Sensor Networks.

[BibT_eX]

[DOI]

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

A Homology Theory for Hybrid Systems: Hybrid Homology.

[BibT_eX]

[DOI]

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

Design and implementation of a sensor network system for vehicle tracking and autonomous interception.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005

Radon-Based Structure from Motion without Correspondences.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 2005

Joint Nonparametric Alignment for Analyzing Spatial Gene Expression Patterns in Drosophila Imaginal Discs.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 2005

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools.

[BibT_eX]

[DOI]

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

An LQG Optimal Linear Controller for Control Systems with Packet Losses.

[BibT_eX]

[DOI]

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

An Efficient Algorithm for Tracking Multiple Maneuvering Targets.

[BibT_eX]

[DOI]

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

Sufficient Conditions for the Existence of Zeno Behavior.

[BibT_eX]

[DOI]

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

Deciding to land a UAV safely in real time.

[BibT_eX]

[DOI]

Jonathan Sprinkle

J. Mikael Eklund

Proceedings of the American Control Conference, 2005

Optimal control with unreliable communication: the TCP case.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

A polynomial-time approximation algorithm for joint probabilistic data association.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Implementing and testing a nonlinear model predictive tracking controller for aerial pursuit/evasion games on a fixed wing aircraft.

[BibT_eX]

[DOI]

J. Mikael Eklund

Jonathan Sprinkle

Proceedings of the American Control Conference, 2005

Characterization of Zeno behavior in hybrid systems using homological methods.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

Stochastic approximations of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

2004

Attitude control for a micromechanical flying insect via sensor output feedback.

[BibT_eX]

[DOI]

Wei Chung Wu

IEEE Trans. Robotics Autom., 2004

Kalman filtering with intermittent observations.

[BibT_eX]

[DOI]

Michael I. Jordan

IEEE Trans. Autom. Control., 2004

Following the flock [formation control].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2004

Rank Conditions on the Multiple-View Matrix.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2004

Cyber defense technology networking and evaluation.

[BibT_eX]

[DOI]

Commun. ACM, 2004

GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation.

[BibT_eX]

[DOI]

Proceedings of the Medical Simulation: International Symposium, 2004

Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Wei Chung Wu

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

Affine Hybrid Systems.

[BibT_eX]

[DOI]

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

Encoding aerial pursuit/evasion games with fixed wing aircraft into a nonlinear model predictive tracking controller.

[BibT_eX]

[DOI]

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

Time varying optimal control with packet losses.

[BibT_eX]

[DOI]

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

Optimal control for a class of stochastic hybrid systems.

[BibT_eX]

[DOI]

Ling Shi

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

Markov chain Monte Carlo data association for general multiple-target tracking problems.

[BibT_eX]

[DOI]

Stuart Russell

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

Vision based terrain recovery for landing unmanned aerial vehicles.

[BibT_eX]

[DOI]

Christopher Geyer

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

A sampling-based approach to nonparametric dynamic system identification and estimation.

[BibT_eX]

[DOI]

Jin Kim

Proceedings of the 2004 American Control Conference, 2004

2003

Dynamical properties of hybrid automata.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Optimal Coordinated Motions of Multiple Agents Moving on a Plane.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2003

Distributed control applications within sensor networks.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Scanning the issue - special issue on modeling and design of embedded software.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Platform-based embedded software design and system integration for autonomous vehicles.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Robotics for telesurgery: second generation Berkeley/UCSF laparoscopic telesurgical workstation and looking towards the future applications.

[BibT_eX]

[DOI]

Ind. Robot, 2003

Autonomous Helicopter Flight via Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

Vision-based follow-the-leader.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

Distributed Environmental Monitoring Using Random Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Sensor Networks, 2003

Optimization-based formation reconfiguration planning for autonomous vehicles.

[BibT_eX]

[DOI]

Shannon Zelinski

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

Formation control of nonholonomic mobile robots with omnidirectional visual servoing and motion segmentation.

[BibT_eX]

[DOI]

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

Multibody motion estimation and segmentation from multiple central panoramic views.

[BibT_eX]

[DOI]

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

Model identification and attitude control for a micromechanical flying insect including thorax and sensor models.

[BibT_eX]

[DOI]

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

Observability of Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Optimal Segmentation of Dynamic Scenes from Two Perspective Views.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2003), 2003

Structure from Small Baseline Motion with Central Panoramic Cameras.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2003

Omnidirectional Egomotion Estimation From Back-projection Flow.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2003

Hybrid system design for formations of autonomous vehicles.

[BibT_eX]

[DOI]

Shannon Zelinski

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

An algebraic geometric approach to the identification of a class of linear hybrid systems.

[BibT_eX]

[DOI]

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

Decentralized nonlinear model predictive control of multiple flying robots.

[BibT_eX]

[DOI]

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

Continuous path planning with multiple constraints.

[BibT_eX]

[DOI]

Ian M. Mitchell

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

How should a snake turn on ice: a case study of the asymptotic isoholonomic problem.

[BibT_eX]

[DOI]

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

Probabilistic safety analysis in three dimensional aircraft flight.

[BibT_eX]

[DOI]

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

Pursuit-evasion strategies for teams of multiple agents with incomplete information.

[BibT_eX]

[DOI]

Adonis Antoniades

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

Controllability issues in flapping flight for biomimetic micro aerial vehicles (MAVs).

[BibT_eX]

[DOI]

Domenico Campolo

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

Optimal sojourn time control within an interval.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

2002

Probabilistic pursuit-evasion games: theory, implementation, and experimental evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 2002

Impulse differential inclusions: a viability approach to hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

Guest editors' introduction: Biocomputation.

[BibT_eX]

[DOI]

Srikanta Kumar

Comput. Sci. Eng., 2002

Multiple View Motion Estimation and Control for Landing an Unmanned Aerial Vehicle.

[BibT_eX]

[DOI]

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

Flying Robots: Modeling, Control and Decision Making.

[BibT_eX]

[DOI]

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

Model identification and attitude control scheme for a micromechanical flying insect.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Control, 2002

Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Symmetry Reduction of a Class of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Framework for Open Source Software Development for Organ Simulation in the Digital Human.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2002

Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

Nonlinear model predictive tracking control for rotorcraft-based unmanned aerial vehicles.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Optimization Criteria and Geometric Algorithms for Motion and Structure Estimation.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2001

Optimal motion estimation from multiple images by normalized epipolar constraint.

[BibT_eX]

[DOI]

Commun. Inf. Syst., 2001

Pursuit-Evasion Games with Unmanned Ground and Aerial Vehicles.

[BibT_eX]

[DOI]

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

A Vision System for Landing an Unmanned Aerial Vehicle.

[BibT_eX]

[DOI]

Courtney S. Sharp

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

Virtual Insect Flight Simulator (VIFS): a Software Testbed for Insect Flight.

[BibT_eX]

[DOI]

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

Flight Control System for a Micromechanical Flying Insect: Architecture and Implementation.

[BibT_eX]

[DOI]

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

Optimal Motion Estimation from Multiview Normalized Epipolar Constraint.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference On Computer Vision (ICCV-01), Vancouver, British Columbia, Canada, July 7-14, 2001, 2001

Semi-decidable Synthesis for Triangular Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings.

[BibT_eX]

[DOI]

Ekaterina S. Lemch

Peter E. Caines

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Mode Switching Synthesis for Reachability Specifications.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Structural stability of hybrid systems1.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Towards a viability theory of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

Control of Networks of Unmanned Vehicles.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Aircraft conflict resolution: Lie-Poisson reduction for game on SE(2).

[BibT_eX]

[DOI]

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

Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems.

[BibT_eX]

[DOI]

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

Continuity and invariance in hybrid automata.

[BibT_eX]

[DOI]

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

Multi-modal control of systems with constraints.

[BibT_eX]

[DOI]

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

A hierarchical approach to probabilistic pursuit-evasion games with unmanned ground and aerial vehicles.

[BibT_eX]

[DOI]

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

Optimal collision avoidance and formation switching on Riemannian manifolds.

[BibT_eX]

[DOI]

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

Hovering flight control of a micromechanical flying insect.

[BibT_eX]

[DOI]

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

Viability and invariance kernels of impulse differential inclusions.

[BibT_eX]

[DOI]

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

2000

A probabilistic approach to aircraft conflict detection.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2000

Hierarchically consistent control systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2000

A game theoretic approach to controller design for hybrid systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2000

O-Minimal Hybrid Systems.

[BibT_eX]

[DOI]

Math. Control. Signals Syst., 2000

Euclidean Reconstruction and Reprojection Up to Subgroups.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2000

Linear Differential Algorithm for Motion Recovery: A Geometric Approach.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2000

Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Controlled Invariance of Discrete Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Towards a Geometric Theory of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Decidable Controller Synthesis for Classes of Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Towars a Theory of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Kruppa Equation Revisited: Its Renormalization and Degeneracy.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26, 2000

Semidecidable controller synthesis for classes of linear hybrid systems.

[BibT_eX]

[DOI]

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

On the global controllability of hybrid systems: hybrifolds and fountains.

[BibT_eX]

[DOI]

Ekaterina S. Lemch

Peter E. Caines

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

Optimal maneuver for multiple aircraft conflict resolution: a braid point of view.

[BibT_eX]

[DOI]

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

Probabilistic pursuit-evasion games: a one-step Nash approach.

[BibT_eX]

[DOI]

João P. Hespanha

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

1999

Vision guided navigation for a nonholonomic mobile robot.

[BibT_eX]

[DOI]

Jana Kosecká

IEEE Trans. Robotics Autom., 1999

A laparoscopic telesurgical workstation.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 1999

Controllers for reachability specifications for hybrid systems.

[BibT_eX]

[DOI]

Autom., 1999

Steering of a class of nonholonomic systems with drift terms.

[BibT_eX]

[DOI]

Autom., 1999

Optimization Criteria, Sensitivity and Robustness of Motion and Structure Estimation.

[BibT_eX]

[DOI]

Proceedings of the Vision Algorithms: Theory and Practice, 1999

Computing Controllers for Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Path Planning and Flight Controller Scheduling for an Autonomous Helicopter.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998

Conflict resolution for air traffic management: a study in multiagent hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

Verified hybrid controllers for automated vehicles.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

Synthesizing Controllers for Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

An Approach to the Verification of the Center-TRACON Automation System.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Subanalytic Stratifications and Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Motion Recovery from Image Sequences: Discrete Viewpoint vs. Differential Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision, 1998

1997

Milli-robotics for remote, minimally invasive surgery.

[BibT_eX]

[DOI]

Michael Cohn

Frank Tendick

Robotics Auton. Syst., 1997

Generation of conflict resolution manoeuvres for air traffic management.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997

Hybrid Control Issues in Ais Traffic Management Systems (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

Multiobjective Hybrid Controller Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

Hybrid Systems with Finite Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems V, 1997

1996

Real-time DSP for sophomores.

[BibT_eX]

[DOI]

David G. Messerschmitt

H. John Reekie

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Hybrid Control Models of Next Generarion AIr Traffic Management.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems IV, 1996

Towards Continuous Abstractions of Dynamical and Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems IV, 1996

1995

On reorienting linked rigid bodies using internal motions.

[BibT_eX]

[DOI]

Gregory Walsh

IEEE Trans. Robotics Autom., 1995

A multisteering trailer system: conversion into chained form using dynamic feedback.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 1995

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

[BibT_eX]

[DOI]

Dawn M. Tilbury

IEEE Trans. Autom. Control., 1995

Approximate decoupling and asymptotic tracking for MIMO systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1995

Surgical applications of milli-robots.

[BibT_eX]

[DOI]

J. Field Robotics, 1995

Steering Three-Input Nonholonomic Systems: The Fire Truck Example.

[BibT_eX]

[DOI]

Linda G. Bushnell

Dawn M. Tilbury

Int. J. Robotics Res., 1995

A Game-Theoretic Approach to Hybrid System Design.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Stabilization of trajectories for systems with nonholonomic constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1994

Hierarchical Hybrid Control: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems II, 1994

A mathematical introduction to robotics manipulation.

[BibT_eX]

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

Dynamic control of sliding by robot hands for regrasping.

[BibT_eX]

[DOI]

Arlene A. Cole

IEEE Trans. Robotics Autom., 1992

Nonlinear control design for slightly non-minimum phase systems: Application to V/STOL aircraft.

[BibT_eX]

[DOI]

John Hauser

George Meyer

Autom., 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

Dynamic control of redundant manipulators.

[BibT_eX]

[DOI]

John Mauser

J. Field Robotics, 1989

Grasping and Coordinated Manipulation by a Multifingered Robot Hand.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 1989

Control experiments in planar manipulation and grasping.

[BibT_eX]

[DOI]

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

On motion planning for dexterous manipulation. I. The problem formulation.

[BibT_eX]

[DOI]

John F. Canny

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

Dynamic regrasping by coordinated control of sliding for a multifingered hand.

[BibT_eX]

[DOI]

Arlene A. Cole

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

1988

Task-oriented optimal grasping by multifingered robot hands.

[BibT_eX]

[DOI]

IEEE J. Robotics Autom., 1988

Optimal Kinematic Design of 6R Manipulators.

[BibT_eX]

[DOI]

Brad Paden

Int. J. Robotics Res., 1988

Dynamic control of redundant manipulators.

[BibT_eX]

[DOI]

John Hauser

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

Kinematics and control of multifingered hands with rolling contact.

[BibT_eX]

[DOI]

Arlene Cole

John Hauser

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

1987

Adaptive identification and control for manipulators without using joint accelerations.

[BibT_eX]

[DOI]

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986

Necessary and sufficient conditions for parameter convergence in adaptive control.

[BibT_eX]

[DOI]

Stephen P. Boyd

Autom., 1986

Adaptive control of mechanical manipulators.

[BibT_eX]

[DOI]

John J. Craig