George J. Pappas

According to our database1, George J. Pappas authored at least 365 papers between 1996 and 2020.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2009, "For contributions to design and analysis of hybrid control systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting.
IEEE Control Systems Letters, 2020

2019
Learning in Wireless Control Systems Over Nonstationary Channels.
IEEE Trans. Signal Processing, 2019

Data-Driven Robust Taxi Dispatch Under Demand Uncertainties.
IEEE Trans. Contr. Sys. Techn., 2019

Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems.
IEEE Trans. Control of Network Systems, 2019

Minimal Edge Addition for Network Controllability.
IEEE Trans. Control of Network Systems, 2019

Minimal Reachability is Hard To Approximate.
IEEE Trans. Automat. Contr., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.
IEEE Trans. Automat. Contr., 2019

Resilient Active Target Tracking With Multiple Robots.
IEEE Robotics and Automation Letters, 2019

Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization.
IEEE Control Systems Letters, 2019

Statistical Learning for Analysis of Networked Control Systems over Unknown Channels.
CoRR, 2019

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller.
CoRR, 2019

Learning Q-network for Active Information Acquisition.
CoRR, 2019

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.
CoRR, 2019

Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.
CoRR, 2019

Optimal Algorithms for Submodular Maximization with Distributed Constraints.
CoRR, 2019

Robust and Adaptive Sequential Submodular Optimization.
CoRR, 2019

Source Seeking in Unknown Environments with Convex Obstacles.
CoRR, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
CoRR, 2019

Secure Multi-party Computation for Cloud-based Control.
CoRR, 2019

Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks.
CoRR, 2019

Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks.
CoRR, 2019

Finite Sample Analysis of Stochastic System Identification.
CoRR, 2019

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
CoRR, 2019

Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering.
Proceedings of the Robotics: Science and Systems XV, 2019

Assumed Density Filtering Q-learning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Encrypted LQG using labeled homomorphic encryption.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Optimal Reset Strategies for Mitigating Malware Epidemics.
Proceedings of the 2019 American Control Conference, 2019

Motion Planning with Secrecy.
Proceedings of the 2019 American Control Conference, 2019

N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement.
Proceedings of the 2019 American Control Conference, 2019

Resilient Structural Stabilizability of Undirected Networks.
Proceedings of the 2019 American Control Conference, 2019

2018
Verification of Hybrid Systems.
Proceedings of the Handbook of Model Checking., 2018

Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks.
IEEE Trans. Control of Network Systems, 2018

Selecting Sensors in Biological Fractional-Order Systems.
IEEE Trans. Control of Network Systems, 2018

Anytime Planning for Decentralized Multirobot Active Information Gathering.
IEEE Robotics and Automation Letters, 2018

SMC: Satisfiability Modulo Convex Programming.
Proceedings of the IEEE, 2018

Verisig: verifying safety properties of hybrid systems with neural network controllers.
CoRR, 2018

Latency-Reliability Tradeoffs for State Estimation.
CoRR, 2018

Resilient Structural Stabilizability of Undirected Networks.
CoRR, 2018

An Information Matrix Approach for State Secrecy.
CoRR, 2018

Structural Target Controllability of Undirected Networks.
CoRR, 2018

Cloud-based Quadratic Optimization with Partially Homomorphic Encryption.
CoRR, 2018

Resilient Non-Submodular Maximization over Matroid Constraints.
CoRR, 2018

Cloud-based MPC with Encrypted Data.
CoRR, 2018

Resilient Active Information Gathering with Mobile Robots.
CoRR, 2018

Resilient Monotone Sequential Maximization.
CoRR, 2018

Control and Sensing Co-design.
CoRR, 2018

Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering.
CoRR, 2018

On the Limited Communication Analysis and Design for Decentralized Estimation.
CoRR, 2018

A hybrid stochastic game for secure control of cyber-physical systems.
Automatica, 2018

Random access design for wireless control systems.
Automatica, 2018

Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels.
Proceedings of the 19th IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2018

A Unifying View of Geometry, Semantics, and Data Association in SLAM.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Dynamic integration of heterogeneous transportation modes under disruptive events.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

A Robust Moment Closure for General Continuous-time Epidemic Processes.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Structural Target Controllability of Undirected Networks.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Sample Complexity of Networked Control Systems Over Unknown Channels.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Scenario-Based Model Predictive Control for Energy Harvesting Actuators.
Proceedings of the 2018 Annual American Control Conference, 2018

State-Secrecy Codes for Stable Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Learning in Non-Stationary Wireless Control Systems via Newton's Method.
Proceedings of the 2018 Annual American Control Conference, 2018

Approximating Explicit Model Predictive Control Using Constrained Neural Networks.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Attack-Resilient State Estimation for Noisy Dynamical Systems.
IEEE Trans. Control of Network Systems, 2017

Optimal Resource Allocation for Control of Networked Epidemic Models.
IEEE Trans. Control of Network Systems, 2017

Differentially Private Distributed Constrained Optimization.
IEEE Trans. Automat. Contr., 2017

Resilient Flocking for Mobile Robot Teams.
IEEE Robotics and Automation Letters, 2017

A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems.
CoRR, 2017

Sensing-Constrained LQG Control.
CoRR, 2017

State-Secrecy Codes for Networked Linear Systems.
CoRR, 2017

Resilient Monotone Submodular Function Maximization.
CoRR, 2017

A National Research Agenda for Intelligent Infrastructure.
CoRR, 2017

MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology.
CoRR, 2017

Privacy in Information-Rich Intelligent Infrastructure.
CoRR, 2017

Coordination of multi-agent systems via asynchronous cloud communication.
CoRR, 2017

Structural minimum controllability problem for switched linear continuous-time systems.
Automatica, 2017

Calibration-free network localization using non-line-of-sight ultra-wideband measurements.
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

Wireless Control for the IoT: Power, Spectrum, and Security Challenges: Poster Abstract.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Probabilistic data association for semantic SLAM.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Data-driven distributionally robust vehicle balancing using dynamic region partitions.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

SMC: Satisfiability Modulo Convex Optimization.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Battery management for control systems with energy harvesting sensors.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

State estimation codes for perfect secrecy.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Differential privacy for dynamical sensitive data.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hierarchical data-driven vehicle dispatch and ride-sharing.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

The mean square error in Kalman filtering sensor selection is approximately supermodular.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Network design for controllability metrics.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

On the limited communication analysis and design for decentralized estimation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Inference, prediction and control of networked epidemics.
Proceedings of the 2017 American Control Conference, 2017

Scheduling nonlinear sensors for stochastic process estimation.
Proceedings of the 2017 American Control Conference, 2017

Discrete-time fractional-order multiple scenario-based sensor selection.
Proceedings of the 2017 American Control Conference, 2017

Spectral control of cortical activity.
Proceedings of the 2017 American Control Conference, 2017

Quantification on the efficiency gain of automated ridesharing services.
Proceedings of the 2017 American Control Conference, 2017

Distributed leader selection in switching networks of high-order integrators.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

Privacy preserving cloud-based quadratic optimization.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016
ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks.
TOSN, 2016

Gradual Release of Sensitive Data under Differential Privacy.
J. Priv. Confidentiality, 2016

Localization from semantic observations via the matrix permanent.
I. J. Robotics Res., 2016

Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits.
CoRR, 2016

Scheduling Nonlinear Sensors for Stochastic Process Estimation.
CoRR, 2016

State Estimation with Secrecy against Eavesdroppers.
CoRR, 2016

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks.
CoRR, 2016

Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach.
CoRR, 2016

Myopic Policy Bounds for Information Acquisition POMDPs.
CoRR, 2016

Decentralized Observability with Limited Communication between Sensors.
CoRR, 2016

A column generation approach for optimized routing and coordination of a UAV fleet.
Proceedings of the 2016 IEEE International Symposium on Safety, 2016

Online planning for energy-efficient and disturbance-aware UAV operations.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Data-Driven Robust Taxi Dispatch Approaches.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Control-Aware Random Access Communication.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Approximation of network linear operators using similarity shift filters.
Proceedings of the 2016 IEEE Global Conference on Signal and Information Processing, 2016

Scalable lazy SMT-based motion planning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Privacy-aware quadratic optimization using partially homomorphic encryption.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Location-dependent privacy.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Multi-owner multi-user privacy.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

State-based communication design for wireless control systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Self-triggered time-varying convex optimization.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differential privacy in control and network systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Decentralized observability with limited communication between sensors.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics.
Proceedings of the 2016 American Control Conference, 2016

Multi-agent coordination with asynchronous cloud access.
Proceedings of the 2016 American Control Conference, 2016

Event-based information-theoretic privacy: A case study of smart meters.
Proceedings of the 2016 American Control Conference, 2016

Minimum number of sensors to ensure observability of physiological systems: A case study.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
Connectivity of Dynamic Graphs.
Proceedings of the Encyclopedia of Systems and Control, 2015

Data-Driven Network Resource Allocation for Controlling Spreading Processes.
IEEE Trans. Network Science and Engineering, 2015

Opportunistic Control Over Shared Wireless Channels.
IEEE Trans. Automat. Contr., 2015

Minimal Actuator Placement with Optimal Control Constraints.
CoRR, 2015

Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms.
CoRR, 2015

Minimal Reachability Problems.
CoRR, 2015

Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks.
CoRR, 2015

Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems.
CoRR, 2015

Analysis and Design of Secured/Resilient Closed-loop Control Systems.
CoRR, 2015

Analysis and Control of Epidemics: A survey of spreading processes on complex networks.
CoRR, 2015

Diffusing Private Data over Networks.
CoRR, 2015

Optimality of the Laplace Mechanism in Differential Privacy.
CoRR, 2015

Optimal Temporal Logic Planning in Probabilistic Semantic Maps.
CoRR, 2015

Distributed Resource Allocation for Epidemic control.
CoRR, 2015

Static Output Feedback: On Essential Feasible Information Patterns.
CoRR, 2015

Self-triggered Pursuit of a Single Evader with Uncertain Information.
CoRR, 2015

Decentralized active information acquisition: Theory and application to multi-robot SLAM.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Distributed resource allocation for control of spreading processes.
Proceedings of the European Control Conference, 2015

Automatic verification of linear controller software.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Smart building: a private cyber-physical system approach.
Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

Distributed leader selection.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Minimum number of probes for brain dynamics observability.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Attack-resilient state estimation in the presence of noise.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A general class of spreading processes with non-Markovian dynamics.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Robust taxi dispatch under model uncertainties.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Periodic event-triggered average consensus over directed graphs.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Control with random access wireless sensors.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Self-triggered pursuit of a single evader.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Optimal resource allocation for competing epidemics over arbitrary networks.
Proceedings of the American Control Conference, 2015

Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach.
Proceedings of the American Control Conference, 2015

Team-triggered coordination of robotic networks for optimal deployment.
Proceedings of the American Control Conference, 2015

An approximately truthful mechanism for electric vehicle charging via joint differential privacy.
Proceedings of the American Control Conference, 2015

Value of forecasts in planning under uncertainty.
Proceedings of the American Control Conference, 2015

Robust estimation using context-aware filtering.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

Optimal resource allocation for containing epidemics on time-varying networks.
Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

2014
Nonmyopic View Planning for Active Object Classification and Pose Estimation.
IEEE Trans. Robotics, 2014

Optimal Resource Allocation for Network Protection Against Spreading Processes.
IEEE Trans. Control of Network Systems, 2014

Differentially Private Filtering.
IEEE Trans. Automat. Contr., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 2014

Optimal Power Management in Wireless Control Systems.
IEEE Trans. Automat. Contr., 2014

Discrete Abstraction of Stochastic Nonlinear Systems.
IEICE Transactions, 2014

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

Active Deformable Part Models.
CoRR, 2014

Minimal Actuator Placement with Bounds on Control Effort.
CoRR, 2014

Differentially Private Convex Optimization with Piecewise Affine Objectives.
CoRR, 2014

Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks.
CoRR, 2014

Controllability and Fraction of Leaders in Infinite Network.
CoRR, 2014

Joint Estimation and Localization in Sensor Networks.
CoRR, 2014

Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks.
CoRR, 2014

Semantic Localization Via the Matrix Permanent.
Proceedings of the Robotics: Science and Systems X, 2014

Automated composition of motion primitives for multi-robot systems from safe LTL specifications.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Attack resilient state estimation for autonomous robotic systems.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Robustness of attack-resilient state estimators.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Real-time privacy-preserving model-based estimation of traffic flows.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Opportunistic scheduling of control tasks over shared wireless channels.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Active Deformable Part Models Inference.
Proceedings of the Computer Vision - ECCV 2014, 2014

Stability analysis of generalized epidemic models over directed networks.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Coding sensor outputs for injection attacks detection.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Computation of privacy-preserving prices in smart grids.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Opportunistic sensor scheduling in wireless control systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Controllability and fraction of leaders in infinite networks.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Differentially private distributed protocol for electric vehicle charging.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

2013
Network Integrity in Mobile Robotic Networks.
IEEE Trans. Automat. Contr., 2013

Adaptive Deployment of Mobile Robotic Networks.
IEEE Trans. Automat. Contr., 2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.
IEEE Journal on Selected Areas in Communications, 2013

Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks
CoRR, 2013

Optimal Resource Allocation for Network Protection: A Geometric Programming Approach.
CoRR, 2013

Nonmyopic View Planning for Active Object Detection.
CoRR, 2013

Information Acquisition with Sensing Robots: Algorithms and Error Bounds.
CoRR, 2013

Hypothesis testing framework for active object detection.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Synthesis of platform-aware attack-resilient vehicular systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Privacy-preserving release of aggregate dynamic models.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Bio-inspired strategy for control of viral spreading in networks.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.
Proceedings of the Control of Cyber-Physical Systems, 2013

Stabilizability over deterministic relay networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Stochastic game approach for replay attack detection.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Power-aware communication for wireless sensor-actuator systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Event-based Green scheduling of radiant systems in buildings.
Proceedings of the American Control Conference, 2013

Networked realization of discrete-time controllers.
Proceedings of the American Control Conference, 2013

2012
Time-Triggered Implementations of Dynamic Controllers.
ACM Trans. Embedded Comput. Syst., 2012

Stochastic Source Seeking by Mobile Robots.
IEEE Trans. Automat. Contr., 2012

Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems.
IEEE Journal on Selected Areas in Communications, 2012

Differentially Private Kalman Filtering
CoRR, 2012

A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks.
Automatica, 2012

Closing the loop: a simple distributed method for control over wireless networks.
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

Sequential composition of robust controller specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Stochastic source seeking in complex environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Compositional safety analysis using barrier certificates.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

HMM-based characterization of channel behavior for networked control systems.
Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

On the existence of compositional barrier certificates.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Green scheduling for radiant systems in buildings.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Adaptive communication-constrained deployment of mobile robotic networks.
Proceedings of the American Control Conference, 2012

Scalable scheduling of building control systems for peak demand reduction.
Proceedings of the American Control Conference, 2012

2011
The Wireless Control Network: A New Approach for Control Over Networks.
IEEE Trans. Automat. Contr., 2011

Compositional Modeling and Analysis of Multi-Hop Control Networks.
IEEE Trans. Automat. Contr., 2011

Graph-Theoretic Connectivity Control of Mobile Robot Networks.
Proceedings of the IEEE, 2011

Modeling, control and experimental characterization of microbiorobots.
I. J. Robotics Res., 2011

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.
Eur. J. Control, 2011

Inferring stable genetic networks from steady-state data.
Automatica, 2011

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Architecture for a fully distributed Wireless Control Network.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Wireless manipulation of single cells using magnetic microtransporters.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Reputation-based networked control with data-corrupting channels.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Wireless control networks: modeling, synthesis, robustness, security.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Resource constrained LQR control under fast sampling.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Green scheduling: Scheduling of control systems for peak power reduction.
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Topological conditions for wireless control networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Robot deployment with end-to-end communication constraints.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Green scheduling of control systems for peak demand reduction.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A framework for integrating mobility and routing in mobile communication networks.
Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

Network synthesis for dynamical system stabilization.
Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010
Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics.
I. J. Robotics Res., 2010

Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks
CoRR, 2010

Distributed Control of the Laplacian Spectral Moments of a Network
CoRR, 2010

Biosensing and actuation for microbiorobots.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

A duality approach to path planning for multiple robots.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Automatic synthesis of robot controllers for tasks with locative prepositions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Robustness analysis for the certification of digital controller implementations.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Mobility & routing control in networks of robots.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The wireless control network: Monitoring for malicious behavior.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Wireless Control Network: Synthesis and robustness.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Sensor-based robot deployment algorithms.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Nonholonomic source seeking in switching random fields.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Vision-Based Localization for Leader-Follower Formation Control.
IEEE Trans. Robotics, 2009

Temporal-Logic-Based Reactive Mission and Motion Planning.
IEEE Trans. Robotics, 2009

Robustness of temporal logic specifications for continuous-time signals.
Theor. Comput. Sci., 2009

Hybrid Control for Connectivity Preserving Flocking.
IEEE Trans. Automat. Contr., 2009

Approximations of Stochastic Hybrid Systems.
IEEE Trans. Automat. Contr., 2009

Approximate equivalence and synchronization of metric transition systems.
Systems & Control Letters, 2009

Hierarchical control system design using approximate simulation.
Automatica, 2009

Temporal logic motion planning for dynamic robots.
Automatica, 2009

Modeling and Analysis of Multi-hop Control Networks.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method.
Proceedings of the 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Boston, MA, USA, June 28, 2009

Harnessing bacterial power in microscale actuation.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Multi-vehicle path planning in dynamically changing environments.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Trajectory Based Verification Using Local Finite-Time Invariance.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Approximations of Discrete, Continuous, and Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

3D segmentation of rodent brains using deformable models and variational methods.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009

Robust stability of multi-hop control networks.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Resource allocation for signal detection with active sensors.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On trajectory optimization for active sensing in Gaussian process models.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Scalable scheduling algorithms for wireless networked control systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
Distributed Connectivity Control of Mobile Networks.
IEEE Trans. Robotics, 2008

Dynamic Assignment in Distributed Motion Planning With Local Coordination.
IEEE Trans. Robotics, 2008

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli.
IEEE Trans. Automat. Contr., 2008

Approximate reduction of dynamic systems.
Systems & Control Letters, 2008

Courteous Cars.
IEEE Robot. Automat. Mag., 2008

Introduction.
Formal Methods in System Design, 2008

Approximate Simulation Relations for Hybrid Systems.
Discrete Event Dynamic Systems, 2008

A dynamical systems approach to weighted graph matching.
Automatica, 2008

Translating Structured English to Robot Controllers.
Advanced Robotics, 2008

Maintaining Connectivity in Mobile Robot Networks.
Proceedings of the Experimental Robotics, The Eleventh International Symposium, 2008

A novel learning based segmentation method for rodent brain structures using MRI.
Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2008

Distributed multi-robot task assignment and formation control.
Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

A distributed auction algorithm for the assignment problem.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Probabilistic testing for stochastic hybrid systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Metabolic networks analysis using convex optimization.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

Recycling controllers.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007
Potential Fields for Maintaining Connectivity of Mobile Networks.
IEEE Trans. Robotics, 2007

Flocking in Fixed and Switching Networks.
IEEE Trans. Automat. Contr., 2007

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.
IEEE Trans. Automat. Contr., 2007

Approximation Metrics for Discrete and Continuous Systems.
IEEE Trans. Automat. Contr., 2007

Symbolic planning and control of robot motion [Grand Challenges of Robotics].
IEEE Robot. Automat. Mag., 2007

Approximate bisimulation relations for constrained linear systems.
Automatica, 2007

From structured english to robot motion.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Valet parking without a valet.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Sensor-Based Dynamic Assignment in Distributed Motion Planning.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Where's Waldo? Sensor-Based Temporal Logic Motion Planning.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Decidability of Motion Planning with Differential Constraints.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Robust Test Generation and Coverage for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Robust Sampling for MITL Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Distributed formation control with permutation symmetries.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Flocking while preserving network connectivity.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Hybrid model predictive control of induction of Escherichia coli.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate hierarchies of linear control systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Verification of temporal properties on hybrid automata by simulation relations.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate timed abstractions of hybrid automata.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Stable multi-particle systems and application in multi-vehicle path planning and coverage.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Linear Time Logic Control of Discrete-Time Linear Systems.
IEEE Trans. Automat. Contr., 2006

Cooperative air and ground surveillance.
IEEE Robot. Automat. Mag., 2006

High-Confidence Medical Device Software and Systems.
IEEE Computer, 2006

Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708].
Automatica, 2006

An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs.
Proceedings of the Experimental Robotics, 2006

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Verification Using Simulation.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Temporal Logic Verification Using Simulation.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Robustness of Temporal Logic Specifications.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
Motion feasibility of multi-agent formations.
IEEE Trans. Robotics, 2005

Discrete abstractions for robot motion planning and control in polygonal environments.
IEEE Trans. Robotics, 2005

Bisimulation relations for dynamical, control, and hybrid systems.
Theor. Comput. Sci., 2005

Quotients of Fully Nonlinear Control Systems.
SIAM J. Control and Optimization, 2005

Hierarchical trajectory refinement for a class of nonlinear systems.
Automatica, 2005

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Information Driven Coordinated Air-Ground Proactive Sensing.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Temporal Logic Motion Planning for Mobile Robots.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Observability of Switched Linear Systems in Continuous Time.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Leader-to-formation stability.
IEEE Trans. Robotics, 2004

Optimal paths in weighted timed automata.
Theor. Comput. Sci., 2004

Bisimilar control affine systems.
Systems & Control Letters, 2004

Compositional Abstractions of Hybrid Control Systems.
Discrete Event Dynamic Systems, 2004

Synergies in Feature Localization by Air-Ground Robot Teams.
Proceedings of the Experimental Robotics IX, 2004

Hybrid control for visibility-based pursuit-evasion games.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

2003
From nonlinear to Hamiltonian via feedback.
IEEE Trans. Automat. Contr., 2003

Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE, 2003

Abstractions of Hamiltonian control systems.
Automatica, 2003

Bisimilar linear systems.
Automatica, 2003

Model Checking LTL over Controllable Linear Systems Is Decidable.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
Consistent abstractions of affine control systems.
IEEE Trans. Automat. Contr., 2002

A Framework and Architecture for Multi-Robot Coordination.
I. J. Robotics Res., 2002

Bisimulation Relations for Dynamical and Control Systems.
Electr. Notes Theor. Comput. Sci., 2002

Modeling and analyzing biomolecular networks.
Computing in Science and Engineering, 2002

Coordinated perception by teams of aerial and ground robots.
Proceedings of the Mobile Robots XVII, Philadelphia, PA, USA, October 25, 2004, 2002

The Effect of Feedback and Feedforward on Formation ISS.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

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

2001
Symbolic Reachability Computation for Families of Linear Vector Fields.
J. Symb. Comput., 2001

Hybrid Abstractions that Preserve Timed Languages.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Semi-decidable Synthesis for Triangular Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Mode Switching Synthesis for Reachability Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Accurate Event Detection for Simulating Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Hybrid Modeling of Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Hierarchically consistent control systems.
IEEE Trans. Automat. Contr., 2000

O-Minimal Hybrid Systems.
MCSS, 2000

A Framework and Architecture for Multirobot Coordination.
Proceedings of the Experimental Robotics VII [ISER 2000, 2000

Decidable Controller Synthesis for Classes of Linear Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
A New Class of Decidable Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998
An Approach to the Verification of the Center-TRACON Automation System.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Subanalytic Stratifications and Bisimulations.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
SmartATMS: A Simulator for Air Traffic Management Systems.
Proceedings of the 29th conference on Winter simulation, 1997

Generation of conflict resolution manoeuvres for air traffic management.
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997

Hybrid Systems with Finite Bisimulations.
Proceedings of the Hybrid Systems V, 1997

1996
Hybrid Control Models of Next Generarion AIr Traffic Management.
Proceedings of the Hybrid Systems IV, 1996

Towards Continuous Abstractions of Dynamical and Control Systems.
Proceedings of the Hybrid Systems IV, 1996


  Loading...