George J. Pappas

Affiliations:
  • University of Pennsylvania, Philadelphia, PA, USA


According to our database1, George J. Pappas authored at least 556 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling.
CoRR, 2024

Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss.
CoRR, 2024

2023
Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams.
IEEE Trans. Robotics, August, 2023

Online Learning of the Kalman Filter With Logarithmic Regret.
IEEE Trans. Autom. Control., May, 2023

: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events.
IEEE Trans. Mob. Comput., 2023

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.
ACM Trans. Embed. Comput. Syst., 2023

Risk of Stochastic Systems for Temporal Logic Specifications.
ACM Trans. Embed. Comput. Syst., 2023

Safe Planning in Dynamic Environments Using Conformal Prediction.
IEEE Robotics Autom. Lett., 2023

Combined Left and Right Temporal Robustness for Control Under STL Specifications.
IEEE Control. Syst. Lett., 2023

Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling.
IEEE Control. Syst. Lett., 2023

Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates.
CoRR, 2023

Data-Driven Modeling and Verification of Perception-Based Autonomous Systems.
CoRR, 2023

Jailbreaking Black Box Large Language Models in Twenty Queries.
CoRR, 2023

SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks.
CoRR, 2023

Structural Risk Minimization for Learning Nonlinear Dynamics.
CoRR, 2023

Optimal Scene Graph Planning with Large Language Model Guidance.
CoRR, 2023

Adversarial Training Should Be Cast as a Non-Zero-Sum Game.
CoRR, 2023

Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification.
CoRR, 2023

Conformal Prediction Regions for Time Series using Linear Complementarity Programming.
CoRR, 2023

Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction.
CoRR, 2023

Federated Temporal Difference Learning with Linear Function Approximation under Environmental Heterogeneity.
CoRR, 2023

Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning.
CoRR, 2023

Active Collaborative Localization in Heterogeneous Robot Teams.
Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

The noise level in linear regression with dependent data.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Linear Stochastic Bandits over a Bit-Constrained Channel.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Certified Invertibility in Neural Networks via Mixed-Integer Programming.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Physics-enhanced Gaussian Process Variational Autoencoder.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles.
IROS, 2023

Enhancing Sample Efficiency and Uncertainty Compensation in Learning-Based Model Predictive Control for Aerial Robots.
IROS, 2023

Graph Neural Networks for Multi-Robot Active Information Acquisition.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Socially Fair Coverage Control.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Multi-Robot Mission Planning in Dynamic Semantic Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Variational Autoencoding Neural Operators.
Proceedings of the International Conference on Machine Learning, 2023

A Tutorial on the Non-Asymptotic Theory of System Identification.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Resilient Temporal Logic Planning in the Presence of Robot Failures.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safety Filter Design for Neural Network Systems via Convex Optimization.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Navigation with Shadow Prices to Optimize Multi-Commodity Flow Rates.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information.
Proceedings of the American Control Conference, 2023

Conformal Prediction for STL Runtime Verification.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022
Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints.
Field Robotics, March, 2022

Distributed Attack-Robust Submodular Maximization for Multirobot Planning.
IEEE Trans. Robotics, 2022

Resilient Active Information Acquisition With Teams of Robots.
IEEE Trans. Robotics, 2022

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps.
IEEE Trans. Robotics, 2022

Private Weighted Sum Aggregation.
IEEE Trans. Control. Netw. Syst., 2022

Robust and Adaptive Sequential Submodular Optimization.
IEEE Trans. Autom. Control., 2022

Reactive and Risk-Aware Control for Signal Temporal Logic.
IEEE Trans. Autom. Control., 2022

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
IEEE Trans. Autom. Control., 2022

Learning Operators with Coupled Attention.
J. Mach. Learn. Res., 2022

Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics.
IEEE Control. Syst. Lett., 2022

Statistical Learning Theory for Control: A Finite Sample Perspective.
CoRR, 2022

Secure state estimation over Markov wireless communication channels (extended version).
CoRR, 2022

Resilient Consensus via Voronoi Communication Graphs.
CoRR, 2022

Toward Certified Robustness Against Real-World Distribution Shifts.
CoRR, 2022

Risk verification of stochastic systems with neural network controllers.
Artif. Intell., 2022

NOMAD: Nonlinear Manifold Decoders for Operator Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Probable Domain Generalization via Quantile Risk Minimization.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Adaptive Stochastic MPC under Unknown Noise Distribution.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR).
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Probabilistically Robust Learning: Balancing Average and Worst-case Performance.
Proceedings of the International Conference on Machine Learning, 2022

Do deep networks transfer invariances across classes?
Proceedings of the Tenth International Conference on Learning Representations, 2022

Temporal Robustness of Stochastic Signals.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Learning to Control Linear Systems can be Hard.
Proceedings of the Conference on Learning Theory, 2-5 July 2022, London, UK., 2022

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

ODE Discretization Schemes as Optimization Algorithms.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Secure state estimation over Markov wireless communication channels.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Learning-based Balancing of Model-based and Feedback Control for Second-order Mechanical Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Stochastic Motion Planning Under Partial Observability for Mobile Robots With Continuous Range Measurements.
IEEE Trans. Robotics, 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021

Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems.
ACM Trans. Cyber Phys. Syst., 2021

LQG Control and Sensing Co-Design.
IEEE Trans. Autom. Control., 2021

On the Structural Target Controllability of Undirected Networks.
IEEE Trans. Autom. Control., 2021

Latency-Reliability Tradeoffs for State Estimation.
IEEE Trans. Autom. Control., 2021

Approximate Supermodularity of Kalman Filter Sensor Selection.
IEEE Trans. Autom. Control., 2021

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption.
IEEE Trans. Autom. Control., 2021

Fair Robust Assignment Using Redundancy.
IEEE Robotics Autom. Lett., 2021

Teaching recurrent neural networks to infer global temporal structure from local examples.
Nat. Mach. Intell., 2021

Robotics in the AI era: A vision for a Hellenic Robotics Initiative.
Found. Trends Robotics, 2021

Learning Rigidity-based Flocking Control with Gaussian Processes.
CoRR, 2021

Linear Quadratic Control with Risk Constraints.
CoRR, 2021

Exploiting Heterogeneity in Robust Federated Best-Arm Identification.
CoRR, 2021

Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering.
CoRR, 2021

Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems.
CoRR, 2021

Achieving Linear Convergence in Federated Learning under Objective and Systems Heterogeneity.
CoRR, 2021

Statistical learning for analysis of networked control systems over unknown channels.
Autom., 2021

Sampling-based planning for non-myopic multi-robot information gathering.
Auton. Robots, 2021

Model-Based Domain Generalization.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Adversarial Robustness with Semi-Infinite Constrained Learning.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Safe Pontryagin Differentiable Programming.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Optimal Algorithms for Submodular Maximization with Distributed Constraints.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Preface.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space.
Proceedings of the IEEE International Symposium on Information Theory, 2021

Distributed Sampling-based Planning for Non-Myopic Active Information Gathering.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Scalable Reinforcement Learning Policies for Multi-Agent Control.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Scalable Active Information Acquisition for Multi-Robot Systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Deep Reinforcement Learning for Active Target Tracking.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Learning lyapunov functions for hybrid systems.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Optimal Multi-robot Perimeter Defense Using Flow Networks.
Proceedings of the Distributed Autonomous Robotic Systems - 15th International Symposium, 2021

Linear Systems can be Hard to Learn.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Time-Robust Control for STL Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Federated Learning with Incrementally Aggregated Gradients.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

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

STL Robustness Risk over Discrete-Time Stochastic Processes.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Robust Motion Planning in the Presence of Estimation Uncertainty.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

An Introduction to Neural Network Analysis via Semidefinite Programming.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Learning Region of Attraction for Nonlinear Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Encrypted Distributed Lasso for Sparse Data Predictive Control.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Source Seeking in Unknown Environments with Convex Obstacles.
Proceedings of the 2021 American Control Conference, 2021

2020
Model-Free Learning of Optimal Ergodic Policies in Wireless Systems.
IEEE Trans. Signal Process., 2020

Consensus of Multiagent Systems Via Asynchronous Cloud Communication.
IEEE Trans. Control. Netw. Syst., 2020

Network Design for Controllability Metrics.
IEEE Trans. Control. Netw. Syst., 2020

Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes.
IEEE Trans. Autom. Control., 2020

State-Secrecy Codes for Networked Linear Systems.
IEEE Trans. Autom. Control., 2020

Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback.
IEEE Robotics Autom. Lett., 2020

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

Is the brain macroscopically linear? A system identification of resting state dynamics.
CoRR, 2020

Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps.
CoRR, 2020

Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps.
CoRR, 2020

Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.
CoRR, 2020

Encrypted control for networked systems - An illustrative introduction and current challenges.
CoRR, 2020

Distributed Locally Non-interfering Connectivity via Linear Temporal Logic.
CoRR, 2020

Data-driven control on encrypted data.
CoRR, 2020

Learning to Track Dynamic Targets in Partially Known Environments.
CoRR, 2020

Zeroth-order Deterministic Policy Gradient.
CoRR, 2020

Model-Based Robust Deep Learning.
CoRR, 2020

Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example.
CoRR, 2020

Technical Report: Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback.
CoRR, 2020

Finite-dimensional control of linear discrete-time fractional-order systems.
Autom., 2020

Sample Complexity of Kalman Filtering for Unknown Systems.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Information Theoretic Active Exploration in Signed Distance Fields.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with no Models and no Gradients.
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation.
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Case study: verifying the safety of an autonomous racing car with a neural network controller.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems.
Proceedings of the 28th European Signal Processing Conference, 2020

Risk-Constrained Linear-Quadratic Regulators.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Towards Private Data-driven Control.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

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

Data-Driven Robust Taxi Dispatch Under Demand Uncertainties.
IEEE Trans. Control. Syst. Technol., 2019

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

Minimal Edge Addition for Network Controllability.
IEEE Trans. Control. Netw. Syst., 2019

Minimal Reachability is Hard To Approximate.
IEEE Trans. Autom. Control., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.
IEEE Trans. Autom. Control., 2019

Resilient Active Target Tracking With Multiple Robots.
IEEE Robotics Autom. Lett., 2019

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

Risk-Aware MMSE Estimation.
CoRR, 2019

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

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

Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Maximum Information Bounds for Planning Active Sensing Trajectories.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Learning Q-network for Active Information Acquisition.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Verisig: verifying safety properties of hybrid systems with neural network controllers.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks.
Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Finite Sample Analysis of Stochastic System Identification.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Encrypted Cooperative Control Revisited.
Proceedings of the 58th IEEE Conference on Decision and Control, 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. Netw. Syst., 2018

Selecting Sensors in Biological Fractional-Order Systems.
IEEE Trans. Control. Netw. Syst., 2018

Diffusing Private Data Over Networks.
IEEE Trans. Control. Netw. Syst., 2018

Anytime Planning for Decentralized Multirobot Active Information Gathering.
IEEE Robotics Autom. Lett., 2018

SMC: Satisfiability Modulo Convex Programming.
Proc. IEEE, 2018

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

Control and Sensing Co-design.
CoRR, 2018

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

Random access design for wireless control systems.
Autom., 2018

Privacy in Control and Dynamical Systems.
Annu. Rev. Control. Robotics Auton. Syst., 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

Resilient Active Information Gathering with Mobile Robots.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Resilient Monotone Sequential Maximization.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

An Information Matrix Approach for State Secrecy.
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

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

Cloud-Based MPC with Encrypted Data.
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

Sensing-Constrained LQG Control.
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

Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Attack-Resilient State Estimation for Noisy Dynamical Systems.
IEEE Trans. Control. Netw. Syst., 2017

Optimal Resource Allocation for Control of Networked Epidemic Models.
IEEE Trans. Control. Netw. Syst., 2017

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks.
IEEE Trans. Control. Netw. Syst., 2017

Differentially Private Distributed Constrained Optimization.
IEEE Trans. Autom. Control., 2017

Resilient Flocking for Mobile Robot Teams.
IEEE Robotics Autom. Lett., 2017

A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems.
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

Structural minimum controllability problem for switched linear continuous-time systems.
Autom., 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

Resilient monotone submodular function maximization.
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

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.
ACM Trans. Sens. Networks, 2016

Minimal Actuator Placement With Bounds on Control Effort.
IEEE Trans. Control. Netw. Syst., 2016

Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach.
IEEE Trans Autom. Sci. Eng., 2016

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

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

State Estimation with Secrecy against Eavesdroppers.
CoRR, 2016

Myopic Policy Bounds for Information Acquisition POMDPs.
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

Optimal temporal logic planning in probabilistic semantic maps.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 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

Near-optimal sensor scheduling for batch state estimation: Complexity, algorithms, and limits.
Proceedings of the 55th IEEE Conference on Decision and Control, 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

Coordination of multi-agent systems via asynchronous cloud communication.
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

Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms.
Proceedings of the 2016 American Control Conference, 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. Netw. Sci. Eng., 2015

Opportunistic Control Over Shared Wireless Channels.
IEEE Trans. Autom. Control., 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

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

Distributed Resource Allocation for Epidemic control.
CoRR, 2015

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

Embedding the Concurrent Autonomous Agent into a Humanoid Robot<sup>*</sup>.
Proceedings of the 11th IFAC Symposium on Robot Control, SyRoCo 2015, 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 14th 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

Minimal reachability problems.
Proceedings of the 54th IEEE Conference on Decision and Control, 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

Static output feedback: On essential feasible information patterns.
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

Minimal actuator placement with optimal control constraints.
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. Netw. Syst., 2014

Differentially Private Filtering.
IEEE Trans. Autom. Control., 2014

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

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

Discrete Abstraction of Stochastic Nonlinear Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

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

Active Deformable Part Models.
CoRR, 2014

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

Controllability and Fraction of Leaders in Infinite Network.
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

Information acquisition with sensing robots: Algorithms and error bounds.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 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

Differentially private convex optimization with piecewise affine objectives.
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

Joint estimation and localization in sensor 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. Autom. Control., 2013

Adaptive Deployment of Mobile Robotic Networks.
IEEE Trans. Autom. Control., 2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.
IEEE J. Sel. Areas Commun., 2013

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

Nonmyopic View Planning for Active Object Detection.
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

Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 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. Embed. Comput. Syst., 2012

Stochastic Source Seeking by Mobile Robots.
IEEE Trans. Autom. Control., 2012

Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems.
IEEE J. Sel. Areas Commun., 2012

A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks.
Autom., 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

Differentially private Kalman filtering.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

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

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

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

Modeling, control and experimental characterization of microbiorobots.
Int. 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.
Autom., 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

Receding-horizon supervisory control of green buildings.
Proceedings of the American 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.
Int. J. Robotics Res., 2010

Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks
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

Distributed control of the Laplacian spectral moments of a network.
Proceedings of the American Control Conference, 2010

Geometric programming and mechanism design for air traffic conflict resolution.
Proceedings of the American Control Conference, 2010

Path planning for multiple robots: An alternative duality approach.
Proceedings of the American Control Conference, 2010

Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach.
Proceedings of the American Control Conference, 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. Autom. Control., 2009

Approximations of Stochastic Hybrid Systems.
IEEE Trans. Autom. Control., 2009

Approximate equivalence and synchronization of metric transition systems.
Syst. Control. Lett., 2009

Hierarchical control system design using approximate simulation.
Autom., 2009

Temporal logic motion planning for dynamic robots.
Autom., 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

A distributed dynamical scheme for fastest mixing Markov chains.
Proceedings of the American Control Conference, 2009

MTL robust testing and verification for LPV systems.
Proceedings of the American Control Conference, 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. Autom. Control., 2008

Approximate reduction of dynamic systems.
Syst. Control. Lett., 2008

Courteous Cars.
IEEE Robotics Autom. Mag., 2008

Introduction.
Formal Methods Syst. Des., 2008

Approximate Simulation Relations for Hybrid Systems.
Discret. Event Dyn. Syst., 2008

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

Translating Structured English to Robot Controllers.
Adv. 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

Distributed topology control of dynamic networks.
Proceedings of the American Control Conference, 2008

Identification of stable genetic networks using convex programming.
Proceedings of the American Control Conference, 2008

Elastic multi-particle systems for bounded-curvature path planning.
Proceedings of the American Control Conference, 2008

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

Flocking in Fixed and Switching Networks.
IEEE Trans. Autom. Control., 2007

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

Approximation Metrics for Discrete and Continuous Systems.
IEEE Trans. Autom. Control., 2007

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

Approximate bisimulation relations for constrained linear systems.
Autom., 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

Dynamic Assignment in Distributed Motion Planning with Limited Information.
Proceedings of the American Control Conference, 2007

Controlling biological systems: the lactose regulation system of Escherichia coli.
Proceedings of the American Control Conference, 2007

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

Cooperative air and ground surveillance.
IEEE Robotics Autom. Mag., 2006

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

Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708].
Autom., 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

Approximate Reduction of Dynamical Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Approximate equivalence and approximate synchronization of metric transition systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Hierarchical Control using Approximate Simulation Relations.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Translating Temporal Logic to Controller Specifications.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Approximate bisimulation for a class of stochastic hybrid systems.
Proceedings of the American Control Conference, 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. Optim., 2005

Hierarchical trajectory refinement for a class of nonlinear systems.
Autom., 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

Controlling Connectivity of Dynamic Graphs.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Vision-based Localization of Leader-Follower Formations.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Approximate Bisimulations for Constrained Linear Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Approximate Bisimulations for Nonlinear Dynamical Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Bounded Model Checking of Hybrid Dynamical Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Hybrid Controllers for Path Planning: A Temporal Logic Approach.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

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

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

Bisimilar control affine systems.
Syst. Control. Lett., 2004

Compositional Abstractions of Hybrid Control Systems.
Discret. Event Dyn. Syst., 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

Stochastic safety verification using barrier certificates.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Experimental cooperative control of fixed-wing unmanned aerial vehicles.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Geometric programming relaxations for linear system reachability.
Proceedings of the 2004 American Control Conference, 2004

2003
From nonlinear to Hamiltonian via feedback.
IEEE Trans. Autom. Control., 2003

Hierarchical modeling and analysis of embedded systems.
Proc. IEEE, 2003

Abstractions of Hamiltonian control systems.
Autom., 2003

Bisimilar linear systems.
Autom., 2003

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

Stable flocking of mobile agents part I: dynamic topology.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Stable flocking of mobile agents, part I: fixed topology.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Hierarchical trajectory generation for a class of nonlinear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

From discrete specifications to hybrid control.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Finite bisimulations of controllable linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Abstractions of constrained linear systems.
Proceedings of the American Control Conference, 2003

2002
Consistent abstractions of affine control systems.
IEEE Trans. Autom. Control., 2002

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

Bisimulation Relations for Dynamical and Control Systems.
Proceedings of the Category Theory and Computer Science, 2002

Modeling and analyzing biomolecular networks.
Comput. Sci. Eng., 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

Input-to-state stability on formation graphs.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Discrete synchronization of hybrid systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Flying hot potatoes [air traffic management].
Proceedings of the American Control Conference, 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

Hybrid abstractions: A search and rescue case study.
Proceedings of the 6th European Control Conference, 2001

Cyclic directed formations of multi-agent systems.
Proceedings of the 6th European Control Conference, 2001

Greedy control for hybrid pursuit games.
Proceedings of the 6th European Control Conference, 2001

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

Hierarchies of stabilizability preserving linear systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Multi-modal control of systems with constraints.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Multi-agent hybrid system simulation.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Feasible formations of multi-agent systems.
Proceedings of the American Control Conference, 2001

2000
Hierarchically consistent control systems.
IEEE Trans. Autom. Control., 2000

Discrete abstractions of hybrid systems.
Proc. IEEE, 2000

O-Minimal Hybrid Systems.
Math. Control. Signals Syst., 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

Semidecidable controller synthesis for classes of linear hybrid systems.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Consistent hierarchies of nonlinear abstractions.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
A New Class of Decidable Hybrid Systems.
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.
IEEE Trans. Autom. Control., 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

1993
Robust stability of linear systems described by higher-order dynamic equations.
IEEE Trans. Autom. Control., 1993


  Loading...