George J. Pappas

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

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

Aritra Mitra, George J. Pappas, Hamed Hassani

Trans. Mach. Learn. Res., 2024

Federated TD Learning with Linear Function Approximation under Environmental Heterogeneity.

Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson

Trans. Mach. Learn. Res., 2024

Conformal Risk Minimization with Variance Reduction.

Sima Noorani, Orlando Romero, Nicolò Dal Fabbro, Hamed Hassani, George J. Pappas

CoRR, 2024

Jailbreaking LLM-Controlled Robots.

Alexander Robey, Zachary Ravichandran, Vijay Kumar, Hamed Hassani, George J. Pappas

CoRR, 2024

Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples.

Thomas T. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni

CoRR, 2024

Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control.

Kong Yao Chee, Pei-An Hsieh, George J. Pappas, M. Ani Hsieh

CoRR, 2024

SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments.

Zachary Ravichandran, Varun Murali, Mariliza Tzes, George J. Pappas, Vijay Kumar

CoRR, 2024

State space models, emergence, and ergodicity: How many parameters are needed for stable predictions?

Ingvar M. Ziemann, Nikolai Matni, George J. Pappas

CoRR, 2024

Formal Verification and Control with Conformal Prediction.

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

CoRR, 2024

Safe MPC Alignment with Human Directional Feedback.

Zhixian Xie, Wenlong Zhang, Yi Ren, Zhaoran Wang, George J. Pappas, Wanxin Jin

CoRR, 2024

Length Optimization in Conformal Prediction.

Shayan Kiyani, George J. Pappas, Hamed Hassani

CoRR, 2024

Explicitly Encoding Structural Symmetry is Key to Length Generalization in Arithmetic Tasks.

Mahdi Sabbaghi, George J. Pappas, Hamed Hassani, Surbhi Goel

CoRR, 2024

Bridging Operator Learning and Conditioned Neural Fields: A Unifying Perspective.

Sifan Wang, Jacob H. Seidman, Shyam Sankaran, Hanwen Wang, George J. Pappas, Paris Perdikaris

CoRR, 2024

Active Learning for Control-Oriented Identification of Nonlinear Systems.

Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni

CoRR, 2024

Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method.

Charis J. Stamouli, Ingvar M. Ziemann, George J. Pappas

CoRR, 2024

JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models.

Patrick Chao, Edoardo Debenedetti, Alexander Robey, Maksym Andriushchenko, Francesco Croce, Vikash Sehwag, Edgar Dobriban, Nicolas Flammarion, George J. Pappas, Florian Tramèr, Hamed Hassani, Eric Wong

CoRR, 2024

Automated Black-box Prompt Engineering for Personalized Text-to-Image Generation.

Yutong He, Alexander Robey, Naoki Murata, Yiding Jiang, Joshua Williams, George J. Pappas, Hamed Hassani, Yuki Mitsufuji, Ruslan Salakhutdinov, J. Zico Kolter

CoRR, 2024

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification.

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick

CoRR, 2024

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation.

Nicolò Dal Fabbro, Arman Adibi, H. Vincent Poor, Sanjeev R. Kulkarni, Aritra Mitra, George J. Pappas

CoRR, 2024

Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing.

Jiabao Ji, Bairu Hou, Alexander Robey, George J. Pappas, Hamed Hassani, Yang Zhang, Eric Wong, Shiyu Chang

CoRR, 2024

Multi-modal conformal prediction regions by optimizing convex shape templates.

Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees.

Charis J. Stamouli, Lars Lindemann, George J. Pappas

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Uncertainty quantification and robustification of model-based controllers using conformal prediction.

Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Optimal Scene Graph Planning with Large Language Model Guidance.

Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Maria-Elizabeth Tzes, George J. Pappas, Nikolay Atanasov

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

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

Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples.

Thomas T. C. K. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Conformal Prediction with Learned Features.

Shayan Kiyani, George J. Pappas, Hamed Hassani

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Structural Risk Minimization for Learning Nonlinear Dynamics.

Charis J. Stamouli, Evangelos Chatzipantazis, George J. Pappas

Proceedings of the American Control Conference, 2024

Finite- Time Analysis of Asynchronous Multi-Agent TD Learning.

Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas

Proceedings of the American Control Conference, 2024

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

Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev R. Kulkarni, H. Vincent Poor, George J. Pappas, Hamed Hassani, Aritra Mitra

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming.

Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams.

Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How

IEEE Trans. Robotics, August, 2023

Online Learning of the Kalman Filter With Logarithmic Regret.

Anastasios Tsiamis, George J. Pappas

IEEE Trans. Autom. Control., May, 2023

: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events.

Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin

IEEE Trans. Mob. Comput., 2023

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

ACM Trans. Embed. Comput. Syst., 2023

Risk of Stochastic Systems for Temporal Logic Specifications.

Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas

ACM Trans. Embed. Comput. Syst., 2023

Safe Planning in Dynamic Environments Using Conformal Prediction.

Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas

IEEE Robotics Autom. Lett., 2023

Combined Left and Right Temporal Robustness for Control Under STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

IEEE Control. Syst. Lett., 2023

Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling.

Nicolò Dal Fabbro, Aritra Mitra, George J. Pappas

IEEE Control. Syst. Lett., 2023

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

Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov

CoRR, 2023

Jailbreaking Black Box Large Language Models in Twenty Queries.

Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong

CoRR, 2023

SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks.

Alexander Robey, Eric Wong, Hamed Hassani, George J. Pappas

CoRR, 2023

Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification.

Thomas Beckers, Tom Z. Jiahao, George J. Pappas

CoRR, 2023

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

Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson

CoRR, 2023

Toward Certified Robustness Against Real-World Distribution Shifts.

Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2023 IEEE Conference on Secure and Trustworthy Machine Learning, 2023

Active Collaborative Localization in Heterogeneous Robot Teams.

Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

The noise level in linear regression with dependent data.

Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni

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.

Aritra Mitra, Hamed Hassani, George J. Pappas

Proceedings of the Learning for Dynamics and Control Conference, 2023

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.

Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick

Proceedings of the Learning for Dynamics and Control Conference, 2023

Certified Invertibility in Neural Networks via Mixed-Integer Programming.

Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab

Proceedings of the Learning for Dynamics and Control Conference, 2023

Physics-enhanced Gaussian Process Variational Autoencoder.

Thomas Beckers, Qirui Wu, George J. Pappas

Proceedings of the Learning for Dynamics and Control Conference, 2023

Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles.

Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar

IROS, 2023

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

Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas

IROS, 2023

Graph Neural Networks for Multi-Robot Active Information Acquisition.

Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas

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

Socially Fair Coverage Control.

Matthew Malencia, George J. Pappas, Vijay Kumar

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

Multi-Robot Mission Planning in Dynamic Semantic Environments.

Samarth Kalluraya, George J. Pappas, Yiannis Kantaros

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

Variational Autoencoding Neural Operators.

Jacob H. Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris

Proceedings of the International Conference on Machine Learning, 2023

Conformal Prediction for STL Runtime Verification.

Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

A Tutorial on the Non-Asymptotic Theory of System Identification.

Ingvar M. Ziemann, Anastasios Tsiamis, Bruce D. Lee, Yassir Jedra, Nikolai Matni, George J. Pappas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction.

Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Resilient Temporal Logic Planning in the Presence of Robot Failures.

Samarth Kalluraya, George J. Pappas, Yiannis Kantaros

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safety Filter Design for Neural Network Systems via Convex Optimization.

Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction.

Kong Yao Chee, M. Ani Hsieh, George J. Pappas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Navigation with Shadow Prices to Optimize Multi-Commodity Flow Rates.

Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information.

Austin K. Chen, Bryce L. Ferguson, Daigo Shishika, Michael R. Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar

Proceedings of the American Control Conference, 2023

2022

Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints.

Sean L. Bowman, Kostas Daniilidis, George J. Pappas

Field Robotics, March, 2022

Distributed Attack-Robust Submodular Maximization for Multirobot Planning.

Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar

IEEE Trans. Robotics, 2022

Resilient Active Information Acquisition With Teams of Robots.

Brent Schlotfeldt, Vasileios Tzoumas, George J. Pappas

IEEE Trans. Robotics, 2022

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps.

Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas

IEEE Trans. Robotics, 2022

Private Weighted Sum Aggregation.

Andreea B. Alexandru, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2022

Robust and Adaptive Sequential Submodular Optimization.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

IEEE Trans. Autom. Control., 2022

Reactive and Risk-Aware Control for Signal Temporal Logic.

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

IEEE Trans. Autom. Control., 2022

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

Mahyar Fazlyab, Manfred Morari, George J. Pappas

IEEE Trans. Autom. Control., 2022

Learning Operators with Coupled Attention.

Georgios Kissas, Jacob H. Seidman, Leonardo Ferreira Guilhoto, Victor M. Preciado, George J. Pappas, Paris Perdikaris

J. Mach. Learn. Res., 2022

Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics.

Thomas Beckers, Leonardo J. Colombo, Sandra Hirche, George J. Pappas

IEEE Control. Syst. Lett., 2022

Statistical Learning Theory for Control: A Finite Sample Perspective.

Anastasios Tsiamis, Ingvar M. Ziemann, Nikolai Matni, George J. Pappas

CoRR, 2022

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

Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas

CoRR, 2022

Resilient Consensus via Voronoi Communication Graphs.

Kelsey Saulnier, Lifeng Zhou, George J. Pappas, Vijay Kumar

CoRR, 2022

Risk verification of stochastic systems with neural network controllers.

Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas

Artif. Intell., 2022

NOMAD: Nonlinear Manifold Decoders for Operator Learning.

Jacob H. Seidman, Georgios Kissas, Paris Perdikaris, George J. Pappas

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.

Aritra Mitra, Arman Adibi, George J. Pappas, Hamed Hassani

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.

Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J. Pappas, Bernhard Schölkopf

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.

Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas

Proceedings of the Learning for Dynamics and Control Conference, 2022

Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR).

Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar

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.

Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Probabilistically Robust Learning: Balancing Average and Worst-case Performance.

Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani

Proceedings of the International Conference on Machine Learning, 2022

Do deep networks transfer invariances across classes?

Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn

Proceedings of the Tenth International Conference on Learning Representations, 2022

Temporal Robustness of Stochastic Signals.

Lars Lindemann, Alëna Rodionova, George J. Pappas

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.

Anastasios Tsiamis, Ingvar M. Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas

Proceedings of the Conference on Learning Theory, 2-5 July 2022, London, UK., 2022

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.

Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur

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

ODE Discretization Schemes as Optimization Algorithms.

Orlando Romero, Mouhacine Benosman, George J. Pappas

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

Secure state estimation over Markov wireless communication channels.

Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas

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

Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents.

Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani

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

Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior.

Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas

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

Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees.

Thomas Beckers, George J. Pappas, Leonardo J. Colombo

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.

Thomas Beckers, Leonardo J. Colombo, Manfred Morari, George J. Pappas

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.

Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar

IEEE Trans. Robotics, 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

ACM Trans. Embed. Comput. Syst., 2021

Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems.

Fei Miao, Sihong He, Lynn Pepin, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas

ACM Trans. Cyber Phys. Syst., 2021

LQG Control and Sensing Co-Design.

Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie

IEEE Trans. Autom. Control., 2021

On the Structural Target Controllability of Undirected Networks.

Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado

IEEE Trans. Autom. Control., 2021

Latency-Reliability Tradeoffs for State Estimation.

Konstantinos Gatsis, Hamed Hassani, George J. Pappas

IEEE Trans. Autom. Control., 2021

Approximate Supermodularity of Kalman Filter Sensor Selection.

Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro

IEEE Trans. Autom. Control., 2021

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption.

Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas

IEEE Trans. Autom. Control., 2021

Fair Robust Assignment Using Redundancy.

Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok

IEEE Robotics Autom. Lett., 2021

Teaching recurrent neural networks to infer global temporal structure from local examples.

Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett

Nat. Mach. Intell., 2021

Robotics in the AI era: A vision for a Hellenic Robotics Initiative.

George J. Pappas, Kostas Daniilidis, Leonidas J. Guibas, Lydia E. Kavraki, Petros Koumoutsakos, Kostas J. Kyriakopoulos, John Lygeros, Michael S. Triantafyllou, Panagiotis Tsiotras

Found. Trends Robotics, 2021

Learning Rigidity-based Flocking Control with Gaussian Processes.

Manuela Gamonal Fernández, Thomas Beckers, George J. Pappas, Leonardo J. Colombo

CoRR, 2021

Linear Quadratic Control with Risk Constraints.

Anastasios Tsiamis, Dionysios S. Kalogerias, Alejandro Ribeiro, George J. Pappas

CoRR, 2021

Exploiting Heterogeneity in Robust Federated Best-Arm Identification.

Aritra Mitra, Hamed Hassani, George J. Pappas

CoRR, 2021

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

Mariliza Tzes, Yiannis Kantaros, George J. Pappas

CoRR, 2021

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

Yiannis Kantaros, George J. Pappas

CoRR, 2021

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

Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani

CoRR, 2021

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

Konstantinos Gatsis, George J. Pappas

Autom., 2021

Sampling-based planning for non-myopic multi-robot information gathering.

Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas

Auton. Robots, 2021

Model-Based Domain Generalization.

Alexander Robey, George J. Pappas, Hamed Hassani

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.

Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani, Alejandro Ribeiro

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.

Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Safe Pontryagin Differentiable Programming.

Wanxin Jin, Shaoshuai Mou, George J. Pappas

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.

Alexander Robey, Arman Adibi, Brent Schlotfeldt, Hamed Hassani, George J. Pappas

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

Preface.

Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger

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.

Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro

Proceedings of the IEEE International Symposium on Information Theory, 2021

Distributed Sampling-based Planning for Non-Myopic Active Information Gathering.

Mariliza Tzes, Yiannis Kantaros, George J. Pappas

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

Scalable Reinforcement Learning Policies for Multi-Agent Control.

Christopher D. Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari

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

Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.

Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek

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

Scalable Active Information Acquisition for Multi-Robot Systems.

Yiannis Kantaros, George J. Pappas

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

Deep Reinforcement Learning for Active Target Tracking.

Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas

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

Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams.

Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How

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

Learning lyapunov functions for hybrid systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Optimal Multi-robot Perimeter Defense Using Flow Networks.

Austin K. Chen, Douglas G. Macharet, Daigo Shishika, George J. Pappas, Vijay Kumar

Proceedings of the Distributed Autonomous Robotic Systems - 15th International Symposium, 2021

Linear Systems can be Hard to Learn.

Anastasios Tsiamis, George J. Pappas

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

Time-Robust Control for STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

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

Federated Learning with Incrementally Aggregated Gradients.

Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani

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

Online Federated Learning.

Aritra Mitra, Hamed Hassani, George J. Pappas

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

STL Robustness Risk over Discrete-Time Stochastic Processes.

Lars Lindemann, Nikolai Matni, George J. Pappas

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

Robust Motion Planning in the Presence of Estimation Uncertainty.

Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas

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

An Introduction to Neural Network Analysis via Semidefinite Programming.

Mahyar Fazlyab, Manfred Morari, George J. Pappas

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

Learning Region of Attraction for Nonlinear Systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

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

Encrypted Distributed Lasso for Sparse Data Predictive Control.

Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas

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.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Source Seeking in Unknown Environments with Convex Obstacles.

Bruno Augusto Angélico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas

Proceedings of the 2021 American Control Conference, 2021

2020

Model-Free Learning of Optimal Ergodic Policies in Wireless Systems.

Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro

IEEE Trans. Signal Process., 2020

Consensus of Multiagent Systems Via Asynchronous Cloud Communication.

Sean L. Bowman, Cameron Nowzari, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2020

Network Design for Controllability Metrics.

Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado

IEEE Trans. Control. Netw. Syst., 2020

Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes.

Nicholas J. Watkins, Cameron Nowzari, George J. Pappas

IEEE Trans. Autom. Control., 2020

State-Secrecy Codes for Networked Linear Systems.

Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas

IEEE Trans. Autom. Control., 2020

Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback.

Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek

IEEE Robotics Autom. Lett., 2020

A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting.

Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas

IEEE Control. Syst. Lett., 2020

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

Erfan Nozari, Jennifer Stiso, Lorenzo Caciagli, Eli J. Cornblath, Xiaosong He, Maxwell A. Bertolero, Arun S. Mahadevan, George J. Pappas, Danielle S. Bassett

CoRR, 2020

Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps.

Yiannis Kantaros, Qi Jin, George J. Pappas

CoRR, 2020

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

Yiannis Kantaros, Matthew Malencia, George J. Pappas

CoRR, 2020

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

Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek

CoRR, 2020

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

Moritz Schulze Darup, Andreea B. Alexandru, Daniel E. Quevedo, George J. Pappas

CoRR, 2020

Distributed Locally Non-interfering Connectivity via Linear Temporal Logic.

Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist

CoRR, 2020

Data-driven control on encrypted data.

Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas

CoRR, 2020

Learning to Track Dynamic Targets in Partially Known Environments.

Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas

CoRR, 2020

Zeroth-order Deterministic Policy Gradient.

Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro

CoRR, 2020

Model-Based Robust Deep Learning.

Alexander Robey, Hamed Hassani, George J. Pappas

CoRR, 2020

Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example.

Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett

CoRR, 2020

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

Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek

CoRR, 2020

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

Andrea Alessandretti, Sérgio Pequito, George J. Pappas, A. Pedro Aguiar

Autom., 2020

Sample Complexity of Kalman Filtering for Unknown Systems.

Anastasios Tsiamis, Nikolai Matni, George J. Pappas

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees.

Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense.

Douglas G. Macharet, Austin K. Chen, Daigo Shishika, George J. Pappas, Vijay Kumar

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

Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.

Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar

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

Information Theoretic Active Exploration in Signed Distance Fields.

Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar

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

Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments.

Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas

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.

Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation.

Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro

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.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

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.

Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro

Proceedings of the 28th European Signal Processing Conference, 2020

Risk-Constrained Linear-Quadratic Regulators.

Anastasios Tsiamis, Dionysios S. Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas

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

Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications.

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

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

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.

Pushpak Jagtap, George J. Pappas, Majid Zamani

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.

Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas

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

Towards Private Data-driven Control.

Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas

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

2019

Learning in Wireless Control Systems Over Nonstationary Channels.

Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro

IEEE Trans. Signal Process., 2019

Data-Driven Robust Taxi Dispatch Under Demand Uncertainties.

Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab M. Hendawi, Desheng Zhang, Tian He, George J. Pappas

IEEE Trans. Control. Syst. Technol., 2019

Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems.

Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2019

Minimal Edge Addition for Network Controllability.

Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado

IEEE Trans. Control. Netw. Syst., 2019

Minimal Reachability is Hard To Approximate.

Ali Jadbabaie, Alexander Olshevsky, George J. Pappas, Vasileios Tzoumas

IEEE Trans. Autom. Control., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee

IEEE Trans. Autom. Control., 2019

Resilient Active Target Tracking With Multiple Robots.

Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar

IEEE Robotics Autom. Lett., 2019

Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization.

Nicholas J. Watkins, George J. Pappas

IEEE Control. Syst. Lett., 2019

Risk-Aware MMSE Estimation.

Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro

CoRR, 2019

Secure Multi-party Computation for Cloud-based Control.

Andreea B. Alexandru, George J. Pappas

CoRR, 2019

Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering.

Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas

Proceedings of the Robotics: Science and Systems XV, 2019

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

Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas

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.

Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas

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.

Yiannis Kantaros, George J. Pappas

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

Learning Q-network for Active Information Acquisition.

Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas

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

Assumed Density Filtering Q-learning.

Heejin Jeong, Clark Zhang, George J. Pappas, Daniel D. Lee

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Encrypted LQG using labeled homomorphic encryption.

Andreea B. Alexandru, George J. Pappas

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

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

Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks.

Ekaterina I. Tolstaya, Fernando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro

Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Finite Sample Analysis of Stochastic System Identification.

Anastasios Tsiamis, George J. Pappas

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

Mahyar Fazlyab, Manfred Morari, George J. Pappas

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Encrypted Cooperative Control Revisited.

Andreea B. Alexandru, Moritz Schulze Darup, George J. Pappas

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Reset Strategies for Mitigating Malware Epidemics.

Nicholas J. Watkins, George J. Pappas

Proceedings of the 2019 American Control Conference, 2019

Motion Planning with Secrecy.

Anastasios Tsiamis, Andreea B. Alexandru, George J. Pappas

Proceedings of the 2019 American Control Conference, 2019

N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement.

Pedro P. V. Tecchio, Nikolay Atanasov, Shahin Shahrampour, George J. Pappas

Proceedings of the 2019 American Control Conference, 2019

Resilient Structural Stabilizability of Undirected Networks.

Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado

Proceedings of the 2019 American Control Conference, 2019

2018

Verification of Hybrid Systems.

Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer

Proceedings of the Handbook of Model Checking., 2018

Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks.

Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2018

Selecting Sensors in Biological Fractional-Order Systems.

Vasileios Tzoumas, Yuankun Xue, Sérgio Pequito, Paul Bogdan, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2018

Diffusing Private Data Over Networks.

Fragkiskos Koufogiannis, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2018

Anytime Planning for Decentralized Multirobot Active Information Gathering.

Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, George J. Pappas

IEEE Robotics Autom. Lett., 2018

SMC: Satisfiability Modulo Convex Programming.

Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Proc. IEEE, 2018

Resilient Non-Submodular Maximization over Matroid Constraints.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

CoRR, 2018

Control and Sensing Co-design.

Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie

CoRR, 2018

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

Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas

Autom., 2018

Random access design for wireless control systems.

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

Autom., 2018

Privacy in Control and Dynamical Systems.

Shuo Han, George J. Pappas

Annu. Rev. Control. Robotics Auton. Syst., 2018

Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels.

Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro

Proceedings of the 19th IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2018

Resilient Active Information Gathering with Mobile Robots.

Brent Schlotfeldt, Vasileios Tzoumas, Dinesh Thakur, George J. Pappas

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.

Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Dynamic integration of heterogeneous transportation modes under disruptive events.

Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems.

Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro

Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

A Robust Moment Closure for General Continuous-time Epidemic Processes.

Nicholas J. Watkins, Cameron Nowzari, George J. Pappas

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

Resilient Monotone Sequential Maximization.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

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

An Information Matrix Approach for State Secrecy.

Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas

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

A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization.

Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado

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

Sample Complexity of Networked Control Systems Over Unknown Channels.

Konstantinos Gatsis, George J. Pappas

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

Cloud-Based MPC with Encrypted Data.

Andreea B. Alexandru, Manfred Morari, George J. Pappas

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

Scenario-Based Model Predictive Control for Energy Harvesting Actuators.

Nicholas J. Watkins, Konstantinos Gatsis, Manfred Morari, George J. Pappas

Proceedings of the 2018 Annual American Control Conference, 2018

Sensing-Constrained LQG Control.

Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie

Proceedings of the 2018 Annual American Control Conference, 2018

State-Secrecy Codes for Stable Systems.

Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas

Proceedings of the 2018 Annual American Control Conference, 2018

Learning in Non-Stationary Wireless Control Systems via Newton's Method.

Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro

Proceedings of the 2018 Annual American Control Conference, 2018

Approximating Explicit Model Predictive Control Using Constrained Neural Networks.

Steven W. Chen, Kelsey Saulnier, Nikolay Atanasov, Daniel D. Lee, Vijay Kumar, George J. Pappas, Manfred Morari

Proceedings of the 2018 Annual American Control Conference, 2018

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

Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Attack-Resilient State Estimation for Noisy Dynamical Systems.

Miroslav Pajic, Insup Lee, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2017

Optimal Resource Allocation for Control of Networked Epidemic Models.

Cameron Nowzari, Victor M. Preciado, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2017

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

Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2017

Differentially Private Distributed Constrained Optimization.

Shuo Han, Ufuk Topcu, George J. Pappas

IEEE Trans. Autom. Control., 2017

Resilient Flocking for Mobile Robot Teams.

Kelsey Saulnier, David Saldana, Amanda Prorok, George J. Pappas, Vijay Kumar

IEEE Robotics Autom. Lett., 2017

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

Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas

CoRR, 2017

A National Research Agenda for Intelligent Infrastructure.

Elizabeth D. Mynatt, Jennifer Clark, Gregory D. Hager, Daniel P. Lopresti, Greg Morrisett, Klara Nahrstedt, George J. Pappas, Shwetak N. Patel, Jennifer Rexford, Helen V. Wright, Benjamin G. Zorn

CoRR, 2017

MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology.

Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas

CoRR, 2017

Privacy in Information-Rich Intelligent Infrastructure.

Cynthia Dwork, George J. Pappas

CoRR, 2017

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

Sérgio Pequito, George J. Pappas

Autom., 2017

Calibration-free network localization using non-line-of-sight ultra-wideband measurements.

Carmelo Di Franco, Amanda Prorok, Nikolay Atanasov, Benjamin P. Kempke, Prabal Dutta, Vijay Kumar, George J. Pappas

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.

Konstantinos Gatsis, George J. Pappas

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Probabilistic data association for semantic SLAM.

Sean L. Bowman, Nikolay Atanasov, Kostas Daniilidis, George J. Pappas

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

Data-driven distributionally robust vehicle balancing using dynamic region partitions.

Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas

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

SMC: Satisfiability Modulo Convex Optimization.

Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Battery management for control systems with energy harvesting sensors.

Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George J. Pappas

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

Resilient monotone submodular function maximization.

Vasileios Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas

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

State estimation codes for perfect secrecy.

Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas

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.

Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

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

Differential privacy for dynamical sensitive data.

Fragkiskos Koufogiannis, George J. Pappas

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

Hierarchical data-driven vehicle dispatch and ride-sharing.

Ximing Chen, Fei Miao, George J. Pappas, Victor M. Preciado

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

The mean square error in Kalman filtering sensor selection is approximately supermodular.

Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro

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

On the limited communication analysis and design for decentralized estimation.

Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas

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

Inference, prediction and control of networked epidemics.

Nicholas J. Watkins, Cameron Nowzari, George J. Pappas

Proceedings of the 2017 American Control Conference, 2017

Scheduling nonlinear sensors for stochastic process estimation.

Vasileios Tzoumas, Nikolay A. Atanasov, Ali Jadbabaie, George J. Pappas

Proceedings of the 2017 American Control Conference, 2017

Discrete-time fractional-order multiple scenario-based sensor selection.

Sérgio Pequito, Andrew Clark, George J. Pappas

Proceedings of the 2017 American Control Conference, 2017

Spectral control of cortical activity.

Sérgio Pequito, Arian Ashourvan, Danielle S. Bassett, Brian Litt, George J. Pappas

Proceedings of the 2017 American Control Conference, 2017

Quantification on the efficiency gain of automated ridesharing services.

Shuo Han, Ufuk Topcu, George J. Pappas

Proceedings of the 2017 American Control Conference, 2017

Distributed leader selection in switching networks of high-order integrators.

Anastasios Tsiamis, Sérgio Pequito, George J. Pappas

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

Privacy preserving cloud-based quadratic optimization.

Andreea B. Alexandru, Konstantinos Gatsis, George J. Pappas

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

2016

ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks.

Shan Lin, Fei Miao, Jingbin Zhang, Gang Zhou, Lin Gu, Tian He, John A. Stankovic, Sang Hyuk Son, George J. Pappas

ACM Trans. Sens. Networks, 2016

Minimal Actuator Placement With Bounds on Control Effort.

Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie

IEEE Trans. Control. Netw. Syst., 2016

Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach.

Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Desheng Zhang, Sirajum Munir, Hua Huang, Tian He, George J. Pappas

IEEE Trans Autom. Sci. Eng., 2016

Gradual Release of Sensitive Data under Differential Privacy.

Fragkiskos Koufogiannis, Shuo Han, George J. Pappas

J. Priv. Confidentiality, 2016

Localization from semantic observations via the matrix permanent.

Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas

Int. J. Robotics Res., 2016

State Estimation with Secrecy against Eavesdroppers.

Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas

CoRR, 2016

Myopic Policy Bounds for Information Acquisition POMDPs.

Mikko Lauri, Nikolay Atanasov, George J. Pappas, Risto Ritala

CoRR, 2016

A column generation approach for optimized routing and coordination of a UAV fleet.

Julia Zillies, Stephan Westphal, Dinesh Thakur, Vijay Kumar, George J. Pappas, David Scheidt

Proceedings of the 2016 IEEE International Symposium on Safety, 2016

Online planning for energy-efficient and disturbance-aware UAV operations.

Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas

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

Optimal temporal logic planning in probabilistic semantic maps.

Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas

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

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems.

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Data-Driven Robust Taxi Dispatch Approaches.

Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Qian Wang, Desheng Zhang, Tian He, George J. Pappas

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.

Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Control-Aware Random Access Communication.

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Approximation of network linear operators using similarity shift filters.

Cassiano O. Becker, Sérgio Daniel Pequito, George J. Pappas, Victor M. Preciado

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.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

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

Scalable lazy SMT-based motion planning.

Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

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

Privacy-aware quadratic optimization using partially homomorphic encryption.

Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada

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

Location-dependent privacy.

Fragkiskos Koufogiannis, George J. Pappas

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

Multi-owner multi-user privacy.

Fragkiskos Koufogiannis, George J. Pappas

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

State-based communication design for wireless control systems.

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

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

Self-triggered time-varying convex optimization.

Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado

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

Differential privacy in control and network systems.

Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas

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

Coordination of multi-agent systems via asynchronous cloud communication.

Sean L. Bowman, Cameron Nowzari, George J. Pappas

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

Decentralized observability with limited communication between sensors.

Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas

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

Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

Proceedings of the 2016 American Control Conference, 2016

Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics.

Sérgio Pequito, Ankit N. Khambhati, George J. Pappas, Dragoslav D. Siljak, Danielle S. Bassett, Brian Litt

Proceedings of the 2016 American Control Conference, 2016

Multi-agent coordination with asynchronous cloud access.

Cameron Nowzari, George J. Pappas

Proceedings of the 2016 American Control Conference, 2016

Event-based information-theoretic privacy: A case study of smart meters.

Shuo Han, Ufuk Topcu, George J. Pappas

Proceedings of the 2016 American Control Conference, 2016

Minimum number of sensors to ensure observability of physiological systems: A case study.

Yuankun Xue, Sérgio Pequito, Joana R. Coelho, Paul Bogdan, George J. Pappas

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Connectivity of Dynamic Graphs.

Michael M. Zavlanos, George J. Pappas

Proceedings of the Encyclopedia of Systems and Control, 2015

Data-Driven Network Resource Allocation for Controlling Spreading Processes.

Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas

IEEE Trans. Netw. Sci. Eng., 2015

Opportunistic Control Over Shared Wireless Channels.

Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas

IEEE Trans. Autom. Control., 2015

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

Victor M. Preciado, Michael Zargham, Cameron Nowzari, Shuo Han, Masaki Ogura, George J. Pappas

CoRR, 2015

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

Sérgio Daniel Pequito, George J. Pappas

CoRR, 2015

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

Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas

CoRR, 2015

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

Cameron Nowzari, Victor M. Preciado, George J. Pappas

CoRR, 2015

Optimality of the Laplace Mechanism in Differential Privacy.

Fragkiskos Koufogiannis, Shuo Han, George J. Pappas

CoRR, 2015

Distributed Resource Allocation for Epidemic control.

Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas

CoRR, 2015

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

Saad A. Aleem, Cameron Nowzari, George J. Pappas

CoRR, 2015

Embedding the Concurrent Autonomous Agent into a Humanoid Robot^*.

Augusto Loureiro da Costa, Diego Stéfano Fonseca Ferreira, André Gustavo Scolari Conceição, George J. Pappas

Proceedings of the 11th IFAC Symposium on Robot Control, SyRoCo 2015, 2015

Decentralized active information acquisition: Theory and application to multi-robot SLAM.

Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas

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.

Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas

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

Distributed resource allocation for control of spreading processes.

Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas

Proceedings of the 14th European Control Conference, 2015

Automatic verification of linear controller software.

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky

Proceedings of the 2015 International Conference on Embedded Software, 2015

Smart building: a private cyber-physical system approach.

Sérgio Daniel Pequito, George J. Pappas

Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

Minimal reachability problems.

Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas

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

Distributed leader selection.

Sérgio Pequito, Victor M. Preciado, George J. Pappas

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

Minimum number of probes for brain dynamics observability.

Sérgio Daniel Pequito, Paul Bogdan, George J. Pappas

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

Attack-resilient state estimation in the presence of noise.

Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas

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

A general class of spreading processes with non-Markovian dynamics.

Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas

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

Robust taxi dispatch under model uncertainties.

Fei Miao, Shuo Han, Shan Lin, George J. Pappas

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

Periodic event-triggered average consensus over directed graphs.

Xiangyu Meng, Lihua Xie, Yeng Chai Soh, Cameron Nowzari, George J. Pappas

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.

Shuo Han, Ufuk Topcu, George J. Pappas

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

Control with random access wireless sensors.

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

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

Static output feedback: On essential feasible information patterns.

J. Frederico Carvalho, Sérgio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas

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

Self-triggered pursuit of a single evader.

Saad A. Aleem, Cameron Nowzari, George J. Pappas

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

Optimal resource allocation for competing epidemics over arbitrary networks.

Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas

Proceedings of the American Control Conference, 2015

Minimal actuator placement with optimal control constraints.

Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie

Proceedings of the American Control Conference, 2015

Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach.

Sérgio Daniel Pequito, Soummya Kar, George J. Pappas

Proceedings of the American Control Conference, 2015

Team-triggered coordination of robotic networks for optimal deployment.

Cameron Nowzari, Jorge Cortés, George J. Pappas

Proceedings of the American Control Conference, 2015

An approximately truthful mechanism for electric vehicle charging via joint differential privacy.

Shuo Han, Ufuk Topcu, George J. Pappas

Proceedings of the American Control Conference, 2015

Value of forecasts in planning under uncertainty.

Konstantinos Gatsis, Ufuk Topcu, George J. Pappas

Proceedings of the American Control Conference, 2015

Robust estimation using context-aware filtering.

Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee

Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

Optimal resource allocation for containing epidemics on time-varying networks.

Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas

Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

2014

Nonmyopic View Planning for Active Object Classification and Pose Estimation.

Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis

IEEE Trans. Robotics, 2014

Optimal Resource Allocation for Network Protection Against Spreading Processes.

Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas

IEEE Trans. Control. Netw. Syst., 2014

Differentially Private Filtering.

Jerome Le Ny, George J. Pappas

IEEE Trans. Autom. Control., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.

Karl Henrik Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin

IEEE Trans. Autom. Control., 2014

Optimal Power Management in Wireless Control Systems.

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

IEEE Trans. Autom. Control., 2014

Discrete Abstraction of Stochastic Nonlinear Systems.

Shun-ichi Azuma, George J. Pappas

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

The Swarm at the Edge of the Cloud.

Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe

IEEE Des. Test, 2014

Active Deformable Part Models.

Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis

CoRR, 2014

Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks.

Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas

CoRR, 2014

Controllability and Fraction of Leaders in Infinite Network.

Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie

CoRR, 2014

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

Nikolay Atanasov, Jerome Le Ny, George J. Pappas

CoRR, 2014

Semantic Localization Via the Matrix Permanent.

Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas

Proceedings of the Robotics: Science and Systems X, 2014

Automated composition of motion primitives for multi-robot systems from safe LTL specifications.

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia

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

Attack resilient state estimation for autonomous robotic systems.

Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee

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

Information acquisition with sensing robots: Algorithms and error bounds.

Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas

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

Robustness of attack-resilient state estimators.

Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas

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

Real-time privacy-preserving model-based estimation of traffic flows.

Jerome Le Ny, Ahmed Touati, George J. Pappas

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

Opportunistic scheduling of control tasks over shared wireless channels.

Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas

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

Active Deformable Part Models Inference.

Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis

Proceedings of the Computer Vision - ECCV 2014, 2014

Stability analysis of generalized epidemic models over directed networks.

Cameron Nowzari, Victor M. Preciado, George J. Pappas

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

Coding sensor outputs for injection attacks detection.

Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas

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

Computation of privacy-preserving prices in smart grids.

Fragkiskos Koufogiannis, Shuo Han, George J. Pappas

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

Differentially private convex optimization with piecewise affine objectives.

Shuo Han, Ufuk Topcu, George J. Pappas

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

Opportunistic sensor scheduling in wireless control systems.

Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas

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

Controllability and fraction of leaders in infinite networks.

Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie

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

Joint estimation and localization in sensor networks.

Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas

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

Differentially private distributed protocol for electric vehicle charging.

Shuo Han, Ufuk Topcu, George J. Pappas

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

2013

Network Integrity in Mobile Robotic Networks.

Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas

IEEE Trans. Autom. Control., 2013

Adaptive Deployment of Mobile Robotic Networks.

Jerome Le Ny, George J. Pappas

IEEE Trans. Autom. Control., 2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.

Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram

IEEE J. Sel. Areas Commun., 2013

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

Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas

CoRR, 2013

Nonmyopic View Planning for Active Object Detection.

Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis

CoRR, 2013

Hypothesis testing framework for active object detection.

Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, Thomas Koletschka, George J. Pappas, Kostas Daniilidis

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

Synthesis of platform-aware attack-resilient vehicular systems.

Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee

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.

Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee

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

Privacy-preserving release of aggregate dynamic models.

Jerome Le Ny, George J. Pappas

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.

Chinwendu Enyioha, Victor M. Preciado, George J. Pappas

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.

James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee

Proceedings of the Control of Cyber-Physical Systems, 2013

Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks.

Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas

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

Stabilizability over deterministic relay networks.

Miroslav Pajic, Shreyas Sundaram, George J. Pappas

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

Stochastic game approach for replay attack detection.

Fei Miao, Miroslav Pajic, George J. Pappas

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

Power-aware communication for wireless sensor-actuator systems.

Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas

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

Event-based Green scheduling of radiant systems in buildings.

Truong X. Nghiem, George J. Pappas, Rahul Mangharam

Proceedings of the American Control Conference, 2013

Networked realization of discrete-time controllers.

Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas

Proceedings of the American Control Conference, 2013

2012

Time-Triggered Implementations of Dynamic Controllers.

Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard

ACM Trans. Embed. Comput. Syst., 2012

Stochastic Source Seeking by Mobile Robots.

Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas

IEEE Trans. Autom. Control., 2012

Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems.

Jerome Le Ny, Alejandro Ribeiro, George J. Pappas

IEEE J. Sel. Areas Commun., 2012

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

Shreyas Sundaram, Shai Revzen, George J. Pappas

Autom., 2012

Closing the loop: a simple distributed method for control over wireless networks.

Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam

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.

Jerome Le Ny, George J. Pappas

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

Stochastic source seeking in complex environments.

Nikolay Atanasov, Jerome Le Ny, Nathan Michael, George J. Pappas

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

Compositional safety analysis using barrier certificates.

Christoffer Sloth, George J. Pappas, Rafael Wisniewski

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

HMM-based characterization of channel behavior for networked control systems.

Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

On the existence of compositional barrier certificates.

Christoffer Sloth, Rafael Wisniewski, George J. Pappas

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Green scheduling for radiant systems in buildings.

Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Adaptive communication-constrained deployment of mobile robotic networks.

Jerome Le Ny, Alejandro Ribeiro, George J. Pappas

Proceedings of the American Control Conference, 2012

Scalable scheduling of building control systems for peak demand reduction.

Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas

Proceedings of the American Control Conference, 2012

Differentially private Kalman filtering.

Jerome Le Ny, George J. Pappas

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

2011

The Wireless Control Network: A New Approach for Control Over Networks.

Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam

IEEE Trans. Autom. Control., 2011

Compositional Modeling and Analysis of Multi-Hop Control Networks.

Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss

IEEE Trans. Autom. Control., 2011

Graph-Theoretic Connectivity Control of Mobile Robot Networks.

Michael M. Zavlanos, Magnus Egerstedt, George J. Pappas

Proc. IEEE, 2011

Modeling, control and experimental characterization of microbiorobots.

Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas

Int. J. Robotics Res., 2011

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.

Antoine Girard, George J. Pappas

Eur. J. Control, 2011

Inferring stable genetic networks from steady-state data.

Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas

Autom., 2011

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.

Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Architecture for a fully distributed Wireless Control Network.

Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Wireless manipulation of single cells using magnetic microtransporters.

Mahmut Selman Sakar, Edward B. Steager, Anthony Cowley, Vijay Kumar, George J. Pappas

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

Reputation-based networked control with data-corrupting channels.

Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Wireless control networks: modeling, synthesis, robustness, security.

George J. Pappas

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Resource constrained LQR control under fast sampling.

Jerome Le Ny, Eric Feron, George J. Pappas

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Green scheduling: Scheduling of control systems for peak power reduction.

Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam

Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Topological conditions for wireless control networks.

Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam

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

Robot deployment with end-to-end communication constraints.

Jerome Le Ny, Alejandro Ribeiro, George J. Pappas

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

Green scheduling of control systems for peak demand reduction.

Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas

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

Receding-horizon supervisory control of green buildings.

Truong X. Nghiem, George J. Pappas

Proceedings of the American Control Conference, 2011

A framework for integrating mobility and routing in mobile communication networks.

Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas

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

Network synthesis for dynamical system stabilization.

Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam

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.

Oussama Khatib, Vijay Kumar, George J. Pappas

Int. J. Robotics Res., 2010

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

Jerome Le Ny, George J. Pappas

CoRR, 2010

Biosensing and actuation for microbiorobots.

Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas

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

A duality approach to path planning for multiple robots.

Nader Motee, Ali Jadbabaie, George J. Pappas

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

Automatic synthesis of robot controllers for tasks with locative prepositions.

Hadas Kress-Gazit, George J. Pappas

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

Robustness analysis for the certification of digital controller implementations.

Jerome Le Ny, George J. Pappas

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.

Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas

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

Mobility & routing control in networks of robots.

Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas

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

The wireless control network: Monitoring for malicious behavior.

Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas

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

The Wireless Control Network: Synthesis and robustness.

Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam

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

Sensor-based robot deployment algorithms.

Jerome Le Ny, George J. Pappas

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

Nonholonomic source seeking in switching random fields.

Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas

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

Distributed control of the Laplacian spectral moments of a network.

Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas

Proceedings of the American Control Conference, 2010

Geometric programming and mechanism design for air traffic conflict resolution.

Jerome Le Ny, George J. Pappas

Proceedings of the American Control Conference, 2010

Path planning for multiple robots: An alternative duality approach.

Nader Motee, Ali Jadbabaie, George J. Pappas

Proceedings of the American Control Conference, 2010

Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach.

Shun-ichi Azuma, George J. Pappas

Proceedings of the American Control Conference, 2010

2009

Vision-Based Localization for Leader-Follower Formation Control.

Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, Nicholas Vander Valk, Nathan Michael, George J. Pappas, Kostas Daniilidis

IEEE Trans. Robotics, 2009

Temporal-Logic-Based Reactive Mission and Motion Planning.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

IEEE Trans. Robotics, 2009

Robustness of temporal logic specifications for continuous-time signals.

Georgios E. Fainekos, George J. Pappas

Theor. Comput. Sci., 2009

Hybrid Control for Connectivity Preserving Flocking.

Michael M. Zavlanos, Herbert G. Tanner, Ali Jadbabaie, George J. Pappas

IEEE Trans. Autom. Control., 2009

Approximations of Stochastic Hybrid Systems.

A. Agung Julius, George J. Pappas

IEEE Trans. Autom. Control., 2009

Approximate equivalence and synchronization of metric transition systems.

A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas

Syst. Control. Lett., 2009

Hierarchical control system design using approximate simulation.

Antoine Girard, George J. Pappas

Autom., 2009

Temporal logic motion planning for dynamic robots.

Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas

Autom., 2009

Modeling and Analysis of Multi-hop Control Networks.

Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss

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.

Jinghao Zhou, Sukmoon Chang, Shaoting Zhang, George J. Pappas, Michael Michaelides, Foteini Delis, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas

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.

A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas

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

Multi-vehicle path planning in dynamically changing environments.

Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George J. Pappas

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

Trajectory Based Verification Using Local Finite-Time Invariance.

A. Agung Julius, George J. Pappas

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

Approximations of Discrete, Continuous, and Hybrid Systems.

George J. Pappas

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

3D segmentation of rodent brains using deformable models and variational methods.

Shaoting Zhang, Jinghao Zhou, Xiaoxu Wang, Sukmoon Chang, Dimitris N. Metaxas, George J. Pappas, Foteini Delis, Nora D. Volkow, Gene-Jack Wang, Panayotis K. Thanos, Chandra Kambhamettu

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

Robust stability of multi-hop control networks.

Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Resource allocation for signal detection with active sensors.

Jerome Le Ny, Michael M. Zavlanos, George J. Pappas

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On trajectory optimization for active sensing in Gaussian process models.

Jerome Le Ny, George J. Pappas

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Scalable scheduling algorithms for wireless networked control systems.

Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas

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

A distributed dynamical scheme for fastest mixing Markov chains.

Michael M. Zavlanos, Daniel E. Koditschek, George J. Pappas

Proceedings of the American Control Conference, 2009

MTL robust testing and verification for LPV systems.

Georgios E. Fainekos, George J. Pappas

Proceedings of the American Control Conference, 2009

2008

Distributed Connectivity Control of Mobile Networks.

Michael M. Zavlanos, George J. Pappas

IEEE Trans. Robotics, 2008

Dynamic Assignment in Distributed Motion Planning With Local Coordination.

Michael M. Zavlanos, George J. Pappas

IEEE Trans. Robotics, 2008

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli.

A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar, George J. Pappas

IEEE Trans. Autom. Control., 2008

Approximate reduction of dynamic systems.

Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas

Syst. Control. Lett., 2008

Courteous Cars.

Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, George J. Pappas

IEEE Robotics Autom. Mag., 2008

Introduction.

Rajeev Alur, George J. Pappas

Formal Methods Syst. Des., 2008

Approximate Simulation Relations for Hybrid Systems.

Antoine Girard, A. Agung Julius, George J. Pappas

Discret. Event Dyn. Syst., 2008

A dynamical systems approach to weighted graph matching.

Michael M. Zavlanos, George J. Pappas

Autom., 2008

Translating Structured English to Robot Controllers.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

Adv. Robotics, 2008

Maintaining Connectivity in Mobile Robot Networks.

Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas

Proceedings of the Experimental Robotics, The Eleventh International Symposium, 2008

A novel learning based segmentation method for rodent brain structures using MRI.

Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas

Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2008

Distributed multi-robot task assignment and formation control.

Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas

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

A distributed auction algorithm for the assignment problem.

Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas

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

Probabilistic testing for stochastic hybrid systems.

A. Agung Julius, George J. Pappas

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

Metabolic networks analysis using convex optimization.

A. Agung Julius, Marcin Imielinski, George J. Pappas

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

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge.

Hadas Kress-Gazit, George J. Pappas

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

Recycling controllers.

Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar

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

Distributed topology control of dynamic networks.

Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, George J. Pappas

Proceedings of the American Control Conference, 2008

Identification of stable genetic networks using convex programming.

Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas

Proceedings of the American Control Conference, 2008

Elastic multi-particle systems for bounded-curvature path planning.

Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, Vijay Kumar

Proceedings of the American Control Conference, 2008

2007

Potential Fields for Maintaining Connectivity of Mobile Networks.

Michael M. Zavlanos, George J. Pappas

IEEE Trans. Robotics, 2007

Flocking in Fixed and Switching Networks.

Herbert G. Tanner, Ali Jadbabaie, George J. Pappas

IEEE Trans. Autom. Control., 2007

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.

Stephen Prajna, Ali Jadbabaie, George J. Pappas

IEEE Trans. Autom. Control., 2007

Approximation Metrics for Discrete and Continuous Systems.

Antoine Girard, George J. Pappas

IEEE Trans. Autom. Control., 2007

Symbolic planning and control of robot motion [Grand Challenges of Robotics].

Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas

IEEE Robotics Autom. Mag., 2007

Approximate bisimulation relations for constrained linear systems.

Antoine Girard, George J. Pappas

Autom., 2007

From structured english to robot motion.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

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

Valet parking without a valet.

David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas

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

Sensor-Based Dynamic Assignment in Distributed Motion Planning.

Michael M. Zavlanos, George J. Pappas

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

Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control.

Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis

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

Where's Waldo? Sensor-Based Temporal Logic Motion Planning.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

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

Decidability of Motion Planning with Differential Constraints.

Peng Cheng, George J. Pappas, Vijay Kumar

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

Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.

Michael M. Zavlanos, George J. Pappas

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

Robust Test Generation and Coverage for Hybrid Systems.

A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas

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

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.

Georgios E. Fainekos, Antoine Girard, George J. Pappas

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

Robust Sampling for MITL Specifications.

Georgios E. Fainekos, George J. Pappas

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Distributed formation control with permutation symmetries.

Michael M. Zavlanos, George J. Pappas

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

Flocking while preserving network connectivity.

Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas

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

Hybrid model predictive control of induction of Escherichia coli.

A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas

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

Approximate hierarchies of linear control systems.

Antoine Girard, George J. Pappas

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

Verification of temporal properties on hybrid automata by simulation relations.

Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, Stefano Di Gennaro

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

Approximate timed abstractions of hybrid automata.

Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas

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

Stable multi-particle systems and application in multi-vehicle path planning and coverage.

Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas

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

Dynamic Assignment in Distributed Motion Planning with Limited Information.

Michael M. Zavlanos, George J. Pappas

Proceedings of the American Control Conference, 2007

Controlling biological systems: the lactose regulation system of Escherichia coli.

A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas

Proceedings of the American Control Conference, 2007

2006

Linear Time Logic Control of Discrete-Time Linear Systems.

Paulo Tabuada, George J. Pappas

IEEE Trans. Autom. Control., 2006

Cooperative air and ground surveillance.

Ben Grocholsky, James Keller, Vijay Kumar, George J. Pappas

IEEE Robotics Autom. Mag., 2006

High-Confidence Medical Device Software and Systems.

Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha

Computer, 2006

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

Paulo Tabuada, George J. Pappas

Autom., 2006

An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs.

Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar

Proceedings of the Experimental Robotics, 2006

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.

Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee

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

Verification Using Simulation.

Antoine Girard, George J. Pappas

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

Temporal Logic Verification Using Simulation.

Georgios E. Fainekos, Antoine Girard, George J. Pappas

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Robustness of Temporal Logic Specifications.

Georgios E. Fainekos, George J. Pappas

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Approximate Reduction of Dynamical Systems.

Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas

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

Approximate equivalence and approximate synchronization of metric transition systems.

A. Agung Julius, George J. Pappas

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.

A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas

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

Hierarchical Control using Approximate Simulation Relations.

Antoine Girard, George J. Pappas

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

Translating Temporal Logic to Controller Specifications.

Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas

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

Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications.

Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas

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

Approximate bisimulation for a class of stochastic hybrid systems.

A. Agung Julius, Antoine Girard, George J. Pappas

Proceedings of the American Control Conference, 2006

2005

Motion feasibility of multi-agent formations.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

IEEE Trans. Robotics, 2005

Discrete abstractions for robot motion planning and control in polygonal environments.

Calin Belta, Volkan Isler, George J. Pappas

IEEE Trans. Robotics, 2005

Bisimulation relations for dynamical, control, and hybrid systems.

Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas

Theor. Comput. Sci., 2005

Quotients of Fully Nonlinear Control Systems.

Paulo Tabuada, George J. Pappas

SIAM J. Control. Optim., 2005

Hierarchical trajectory refinement for a class of nonlinear systems.

Paulo Tabuada, George J. Pappas

Autom., 2005

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.

Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Information Driven Coordinated Air-Ground Proactive Sensing.

Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, George J. Pappas

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

Temporal Logic Motion Planning for Mobile Robots.

Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas

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

Observability of Switched Linear Systems in Continuous Time.

Mohamed Babaali, George J. Pappas

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

Controlling Connectivity of Dynamic Graphs.

Michael M. Zavlanos, George J. Pappas

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.

Gian Luca Mariottini, George J. Pappas, Domenico Prattichizzo, Kostas Daniilidis

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

Approximate Bisimulations for Constrained Linear Systems.

Antoine Girard, George J. Pappas

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

Approximate Bisimulations for Nonlinear Dynamical Systems.

Antoine Girard, George J. Pappas

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.

Nicolò Giorgetti, George J. Pappas, Alberto Bemporad

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.

Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas

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

2004

Leader-to-formation stability.

Herbert G. Tanner, George J. Pappas, Vijay Kumar

IEEE Trans. Robotics, 2004

Optimal paths in weighted timed automata.

Rajeev Alur, Salvatore La Torre, George J. Pappas

Theor. Comput. Sci., 2004

Bisimilar control affine systems.

Paulo Tabuada, George J. Pappas

Syst. Control. Lett., 2004

Compositional Abstractions of Hybrid Control Systems.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

Discret. Event Dyn. Syst., 2004

Synergies in Feature Localization by Air-Ground Robot Teams.

Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas

Proceedings of the Experimental Robotics IX, 2004

Hybrid control for visibility-based pursuit-evasion games.

Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas

Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

Stochastic safety verification using barrier certificates.

Stephen Prajna, Ali Jadbabaie, George J. Pappas

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

Experimental cooperative control of fixed-wing unmanned aerial vehicles.

Selcuk Bayraktar, Georgios E. Fainekos, George J. Pappas

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

Geometric programming relaxations for linear system reachability.

Hakan Yazarel, George J. Pappas

Proceedings of the 2004 American Control Conference, 2004

2003

From nonlinear to Hamiltonian via feedback.

Paulo Tabuada, George J. Pappas

IEEE Trans. Autom. Control., 2003

Hierarchical modeling and analysis of embedded systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proc. IEEE, 2003

Abstractions of Hamiltonian control systems.

Paulo Tabuada, George J. Pappas

Autom., 2003

Bisimilar linear systems.

George J. Pappas

Autom., 2003

Model Checking LTL over Controllable Linear Systems Is Decidable.

Paulo Tabuada, George J. Pappas

Proceedings of the Hybrid Systems: Computation and Control, 2003

Stable flocking of mobile agents part I: dynamic topology.

Herbert G. Tanner, Ali Jadbabaie, George J. Pappas

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

Stable flocking of mobile agents, part I: fixed topology.

Herbert G. Tanner, Ali Jadbabaie, George J. Pappas

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

Hierarchical trajectory generation for a class of nonlinear systems.

Paulo Tabuada, George J. Pappas

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

From discrete specifications to hybrid control.

Paulo Tabuada, George J. Pappas

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

Finite bisimulations of controllable linear systems.

Paulo Tabuada, George J. Pappas

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

Abstractions of constrained linear systems.

Herbert G. Tanner, George J. Pappas

Proceedings of the American Control Conference, 2003

2002

Consistent abstractions of affine control systems.

George J. Pappas, Slobodan Simic

IEEE Trans. Autom. Control., 2002

A Framework and Architecture for Multi-Robot Coordination.

Rafael Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall

Int. J. Robotics Res., 2002

Bisimulation Relations for Dynamical and Control Systems.

Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas

Proceedings of the Category Theory and Computer Science, 2002

Modeling and analyzing biomolecular networks.

Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug

Comput. Sci. Eng., 2002

Coordinated perception by teams of aerial and ground robots.

Benjamin Grocholsky, Rahul Swaminathan, Vijay Kumar, Camillo J. Taylor, George J. Pappas

Proceedings of the Mobile Robots XVII, Philadelphia, PA, USA, October 25, 2004, 2002

The Effect of Feedback and Feedforward on Formation ISS.

Herbert G. Tanner, Vijay Kumar, George J. Pappas

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

Composing Abstractions of Hybrid Systems.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

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

Input-to-state stability on formation graphs.

Herbert G. Tanner, George J. Pappas, Vijay Kumar

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

Discrete synchronization of hybrid systems.

Paulo Tabuada, George J. Pappas

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

Flying hot potatoes [air traffic management].

Pradyumna Mishra, George J. Pappas

Proceedings of the American Control Conference, 2002

2001

Symbolic Reachability Computation for Families of Linear Vector Fields.

Gerardo Lafferriere, George J. Pappas, Sergio Yovine

J. Symb. Comput., 2001

Hybrid Abstractions that Preserve Timed Languages.

Paulo Tabuada, George J. Pappas

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

Semi-decidable Synthesis for Triangular Hybrid Systems.

Omid Shakernia, George J. Pappas, Shankar Sastry

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

Hybrid Systems Applications: An Oxymoron?

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis

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

Mode Switching Synthesis for Reachability Specifications.

Tak-John Koo, George J. Pappas, Shankar Sastry

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

Accurate Event Detection for Simulating Hybrid Systems.

Joel M. Esposito, Vijay Kumar, George J. Pappas

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

Hybrid abstractions: A search and rescue case study.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

Proceedings of the 6th European Control Conference, 2001

Cyclic directed formations of multi-agent systems.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

Proceedings of the 6th European Control Conference, 2001

Greedy control for hybrid pursuit games.

Maria Prandini, João P. Hespanha, George J. Pappas

Proceedings of the 6th European Control Conference, 2001

Hierarchical Hybrid Modeling of Embedded Systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proceedings of the Embedded Software, First International Workshop, 2001

Hierarchies of stabilizability preserving linear systems.

George J. Pappas, Gerardo Lafferriere

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

Multi-modal control of systems with constraints.

Tak-John Koo, George J. Pappas, Shankar Sastry

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

Multi-agent hybrid system simulation.

Joel M. Esposito, Vijay Kumar, George J. Pappas

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.

Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap

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

Feasible formations of multi-agent systems.

Paulo Tabuada, George J. Pappas, Pedro U. Lima

Proceedings of the American Control Conference, 2001

2000

Hierarchically consistent control systems.

George J. Pappas, Gerardo Lafferriere, Shankar Sastry

IEEE Trans. Autom. Control., 2000

Discrete abstractions of hybrid systems.

Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas

Proc. IEEE, 2000

O-Minimal Hybrid Systems.

Gerardo Lafferriere, George J. Pappas, Shankar Sastry

Math. Control. Signals Syst., 2000

A Framework and Architecture for Multirobot Coordination.

Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor

Proceedings of the Experimental Robotics VII [ISER 2000, 2000

Decidable Controller Synthesis for Classes of Linear Systems.

Omid Shakernia, Shankar Sastry, George J. Pappas

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

Semidecidable controller synthesis for classes of linear hybrid systems.

Omid Shakernia, George J. Pappas, Shankar Sastry

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

Consistent hierarchies of nonlinear abstractions.

George J. Pappas, Wanquan N. Simic

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

1999

A New Class of Decidable Hybrid Systems.

Gerardo Lafferriere, George J. Pappas, Sergio Yovine

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.

Claire J. Tomlin, George J. Pappas, Shankar Sastry

IEEE Trans. Autom. Control., 1998

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

John Lygeros, George J. Pappas, Shankar Sastry

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

Subanalytic Stratifications and Bisimulations.

Gerardo Lafferriere, George J. Pappas, Shankar Sastry

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

1997

SmartATMS: A Simulator for Air Traffic Management Systems.

Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire J. Tomlin

Proceedings of the 29th conference on Winter simulation, 1997

Generation of conflict resolution manoeuvres for air traffic management.

Jana Kosecka, Claire J. Tomlin, George J. Pappas, Shankar Sastry

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.

Gerardo Lafferriere, George J. Pappas, Shankar Sastry

Proceedings of the Hybrid Systems V, 1997

1996

Hybrid Control Models of Next Generarion AIr Traffic Management.

Claire J. Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry

Proceedings of the Hybrid Systems IV, 1996

Towards Continuous Abstractions of Dynamical and Control Systems.

George J. Pappas, Shankar Sastry

Proceedings of the Hybrid Systems IV, 1996

1993

Robust stability of linear systems described by higher-order dynamic equations.

George J. Pappas, Diederich Hinrichsen

IEEE Trans. Autom. Control., 1993