George J. Pappas

795 papers A* 61A 22B 1C 52Misc 10Journal 379Unranked 261

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond Binary Success: Sample-Efficient and Statistically Rigorous Robot Policy Comparison. CoRR David Snyder, Apurva Badithela, Nikolai Matni, George J. Pappas, Anirudha Majumdar, Masha Itkina, Haruki Nishimura
2026	J	`jnl`	Contextual Safety Reasoning and Grounding for Open-World Robots. CoRR Zachary Ravichandran, David Snyder, Alexander Robey, Hamed Hassani, Vijay Kumar, George J. Pappas
2026	J	`jnl`	Learning to Coordinate via Quantum Entanglement in Multi-Agent Reinforcement Learning. CoRR John Gardiner, Orlando Romero, Brendan Tivnan, Nicolò Dal Fabbro, George J. Pappas
2026	J	`jnl`	Multi-Round Human-AI Collaboration with User-Specified Requirements. CoRR Sima Noorani, Shayan Kiyani, Hamed Hassani, George J. Pappas
2026	J	`jnl`	Robust Policy Optimization to Prevent Catastrophic Forgetting. CoRR Mahdi Sabbaghi, George J. Pappas, Adel Javanmard, Hamed Hassani
2026	J	`jnl`	Safe MPC Alignment With Human Directional Feedback. IEEE Trans. Robotics Zhixian Xie, Wenlong Zhang, Yi Ren, Zhaoran Wang, George J. Pappas, Wanxin Jin
2026	J	`jnl`	Safe Planning in Unknown Environments Using Conformalized Semantic Maps. IEEE Robotics Autom. Lett. David Smith Sundarsingh, Yifei Li, Tianji Tang, George J. Pappas, Nikolay Atanasov, Yiannis Kantaros
2026	J	`jnl`	Safety Guardrails for LLM-Enabled Robots. IEEE Robotics Autom. Lett. Zachary Ravichandran, Alexander Robey, Vijay Kumar, George J. Pappas, Hamed Hassani
2026	J	`jnl`	Statistical Efficiency of Single- and Multi-step Models for Forecasting and Control. CoRR Anne Somalwar, Bruce D. Lee, George J. Pappas, Nikolai Matni
2026	J	`jnl`	Towards X-embodiment safety: A control theory perspective on transferring safety certificates across dynamical systems. CoRR Nikolaos Bousias, George J. Pappas
2026	J	`jnl`	When to Trust the Cheap Check: Weak and Strong Verification for Reasoning. CoRR Shayan Kiyani, Sima Noorani, George J. Pappas, Hamed Hassani
2026	J	`jnl`	eCP: Informative uncertainty quantification via Equivariantized Conformal Prediction with pre-trained models. CoRR Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	J	`jnl`	Adversarial Attacks on Robotic Vision Language Action Models. CoRR Eliot Krzysztof Jones, Alexander Robey, Andy Zou, Zachary Ravichandran, George J. Pappas, Hamed Hassani, Matt Fredrikson, J. Zico Kolter
2025	A*	`conf`	Adversarial Reasoning at Jailbreaking Time. ICML Mahdi Sabbaghi, Paul Kassianik, George J. Pappas, Amin Karbasi, Hamed Hassani
2025	J	`jnl`	Adversarial Reasoning at Jailbreaking Time. CoRR Mahdi Sabbaghi, Paul Kassianik, George J. Pappas, Yaron Singer, Amin Karbasi, Hamed Hassani
2025	J	`jnl`	Air-Ground Collaboration for Language-Specified Missions in Unknown Environments. CoRR Fernando Cladera, Zachary Ravichandran, Jason Hughes, Varun Murali, Carlos Nieto-Granda, M. Ani Hsieh, George J. Pappas, Camillo J. Taylor, Vijay Kumar
2025	J	`jnl`	Automated Black-box Prompt Engineering for Personalized Text-to-Image Generation. Trans. Mach. Learn. Res. Yutong He, Alexander Robey, Naoki Murata, Yiding Jiang, Joshua Nathaniel Williams, George J. Pappas, Hamed Hassani, Yuki Mitsufuji, Ruslan Salakhutdinov, J. Zico Kolter
2025	J	`jnl`	Benchmarking Misuse Mitigation Against Covert Adversaries. CoRR Davis Brown, Mahdi Sabbaghi, Luze Sun, Alexander Robey, George J. Pappas, Eric Wong, Hamed Hassani
2025	A*	`conf`	CViT: Continuous Vision Transformer for Operator Learning. ICLR Sifan Wang, Jacob H. Seidman, Shyam Sankaran, Hanwen Wang, George J. Pappas, Paris Perdikaris
2025	J	`jnl`	Conformal Prediction Beyond the Seen: A Missing Mass Perspective for Uncertainty Quantification in Generative Models. CoRR Sima Noorani, Shayan Kiyani, George J. Pappas, Hamed Hassani
2025	A*	`conf`	Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents. ICML Shayan Kiyani, George J. Pappas, Aaron Roth, Hamed Hassani
2025	J	`jnl`	Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents. CoRR Shayan Kiyani, George J. Pappas, Aaron Roth, Hamed Hassani
2025	A	`conf`	Deep Equivariant Multi-Agent Control Barrier Functions. IROS Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	J	`jnl`	Deep Equivariant Multi-Agent Control Barrier Functions. CoRR Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	—	`conf`	Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing. IJCNLP-AACL (Short Papers) Jiabao Ji, Bairu Hou, Alexander Robey, George J. Pappas, Hamed Hassani, Yang Zhang, Eric Wong, Shiyu Chang
2025	J	`jnl`	Deploying Foundation Model-Enabled Air and Ground Robots in the Field: Challenges and Opportunities. CoRR Zachary Ravichandran, Fernando Cladera, Jason Hughes, Varun Murali, M. Ani Hsieh, George J. Pappas, Camillo J. Taylor, Vijay Kumar
2025	J	`jnl`	Distilling On-device Language Models for Robot Planning with Minimal Human Intervention. CoRR Zachary Ravichandran, Ignacio Hounie, Fernando Cladera, Alejandro Ribeiro, George J. Pappas, Vijay Kumar
2025	—	`conf`	Domain Randomization is Sample Efficient for Linear Quadratic Control. L4DC Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas
2025	J	`jnl`	Domain Randomization is Sample Efficient for Linear Quadratic Control. CoRR Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas
2025	A*	`conf`	Flying Quadrotors in Tight Formations Using Learning-Based Model Predictive Control. ICRA Kong Yao Chee, Pei-An Hsieh, George J. Pappas, M. Ani Hsieh
2025	J	`jnl`	Heterogeneous Robot Collaboration in Unstructured Environments with Grounded Generative Intelligence. CoRR Zachary Ravichandran, Fernando Cladera, Ankit Prabhu, Jason Hughes, Varun Murali, Camillo J. Taylor, George J. Pappas, Vijay Kumar
2025	J	`jnl`	Human-AI Collaborative Uncertainty Quantification. CoRR Sima Noorani, Shayan Kiyani, George J. Pappas, Hamed Hassani
2025	—	`ed.`	International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USA. NeuS George J. Pappas, Pradeep Ravikumar, Sanjit A. Seshia
2025	—	`conf`	Jailbreaking Black Box Large Language Models in Twenty Queries. SaTML Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong
2025	A*	`conf`	Jailbreaking LLM-Controlled Robots. ICRA Alexander Robey, Zachary Ravichandran, Vijay Kumar, Hamed Hassani, George J. Pappas
2025	—	`conf`	Layered Multirate Control of Constrained Linear Systems. CDC Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas
2025	J	`jnl`	Layered Multirate Control of Constrained Linear Systems. CoRR Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas
2025	—	`conf`	Learning with Imperfect Models: When Multi-step Prediction Mitigates Compounding Error. CDC Anne Somalwar, Bruce D. Lee, George J. Pappas, Nikolai Matni
2025	J	`jnl`	Learning with Imperfect Models: When Multi-step Prediction Mitigates Compounding Error. CoRR Anne Somalwar, Bruce D. Lee, George J. Pappas, Nikolai Matni
2025	J	`jnl`	Likelihood-Ratio Regularized Quantile Regression: Adapting Conformal Prediction to High-Dimensional Covariate Shifts. CoRR Sunay Joshi, Shayan Kiyani, George J. Pappas, Edgar Dobriban, Hamed Hassani
2025	J	`jnl`	Linear quadratic control with risk constraints. Autom. Anastasios Tsiamis, Dionysis Kalogerias, Alejandro Ribeiro, George J. Pappas
2025	J	`jnl`	Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning. CoRR Nicolò Dal Fabbro, Milad Mesbahi, Renato Mendes, João Borges de Sousa, George J. Pappas
2025	J	`jnl`	PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking. IEEE Robotics Autom. Lett. Hanwen Cao, George J. Pappas, Nikolay Atanasov
2025	J	`jnl`	Policy Gradient Bounds in Multitask LQR. CoRR Charis J. Stamouli, Leonardo F. Toso, Anastasios Tsiamis, George J. Pappas, James Anderson
2025	J	`jnl`	Policy Gradient Bounds in Multitask LQR. IEEE Control. Syst. Lett. Charis J. Stamouli, Leonardo F. Toso, Anastasios Tsiamis, George J. Pappas, James Anderson
2025	—	`conf`	Policy Gradient for LQR with Domain Randomization. CDC Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas
2025	J	`jnl`	Policy Gradient for LQR with Domain Randomization. CoRR Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas
2025	J	`jnl`	Preventing Robotic Jailbreaking via Multimodal Domain Adaptation. CoRR Francesco Marchiori, Rohan Sinha, Christopher Agia, Alexander Robey, George J. Pappas, Mauro Conti, Marco Pavone
2025	J	`jnl`	Robust Decision Making with Partially Calibrated Forecasts. CoRR Shayan Kiyani, Hamed Hassani, George J. Pappas, Aaron Roth
2025	A*	`conf`	SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments. ICRA Zachary Ravichandran, Varun Murali, Mariliza Tzes, George J. Pappas, Vijay Kumar
2025	—	`conf`	STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. L4DC Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2025	J	`jnl`	Safe Planning in Unknown Environments using Conformalized Semantic Maps. CoRR David Smith Sundarsingh, Yifei Li, Tianji Tang, George J. Pappas, Nikolay Atanasov, Yiannis Kantaros
2025	J	`jnl`	Safety Guardrails for LLM-Enabled Robots. CoRR Zachary Ravichandran, Alexander Robey, Vijay Kumar, George J. Pappas, Hamed Hassani
2025	J	`jnl`	SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks. Trans. Mach. Learn. Res. Alexander Robey, Eric Wong, Hamed Hassani, George J. Pappas
2025	—	`conf`	State space models, emergence, and ergodicity: How many parameters are needed for stable predictions? L4DC Ingvar M. Ziemann, Nikolai Matni, George J. Pappas
2025	—	`conf`	Symmetries-enhanced Multi-Agent Reinforcement Learning. L4DC Nikolaos Bousias, Stefanos Pertigkiozoglou, Kostas Daniilidis, George J. Pappas
2025	J	`jnl`	Symmetries-enhanced Multi-Agent Reinforcement Learning. CoRR Nikolaos Bousias, Stefanos Pertigkiozoglou, Kostas Daniilidis, George J. Pappas
2025	J	`jnl`	Uncertainty-Calibrated Prediction of Randomly-Timed Biomarker Trajectories with Conformal Bands. CoRR Vasiliki Tassopoulou, Charis J. Stamouli, Haochang Shou, George J. Pappas, Christos Davatzikos
2024	—	`conf`	Active Learning for Control-Oriented Identification of Nonlinear Systems. CDC Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni
2024	J	`jnl`	Active Learning for Control-Oriented Identification of Nonlinear Systems. CoRR Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni
2024	A*	`conf`	Adversarial Training Should Be Cast as a Non-Zero-Sum Game. ICLR Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher
2024	J	`jnl`	Automated Black-box Prompt Engineering for Personalized Text-to-Image Generation. CoRR Yutong He, Alexander Robey, Naoki Murata, Yiding Jiang, Joshua Williams, George J. Pappas, Hamed Hassani, Yuki Mitsufuji, Ruslan Salakhutdinov, J. Zico Kolter
2024	J	`jnl`	Bridging Operator Learning and Conditioned Neural Fields: A Unifying Perspective. CoRR Sifan Wang, Jacob H. Seidman, Shyam Sankaran, Hanwen Wang, George J. Pappas, Paris Perdikaris
2024	A*	`conf`	Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2024	A*	`conf`	Conformal Prediction with Learned Features. ICML Shayan Kiyani, George J. Pappas, Hamed Hassani
2024	J	`jnl`	Conformal Prediction with Learned Features. CoRR Shayan Kiyani, George J. Pappas, Hamed Hassani
2024	J	`jnl`	Conformal Risk Minimization with Variance Reduction. CoRR Sima Noorani, Orlando Romero, Nicolò Dal Fabbro, Hamed Hassani, George J. Pappas
2024	—	`conf`	DASA: Delay-Adaptive Multi-Agent Stochastic Approximation. CDC Nicolò Dal Fabbro, Arman Adibi, H. Vincent Poor, Sanjeev R. Kulkarni, Aritra Mitra, George J. Pappas
2024	J	`jnl`	DASA: Delay-Adaptive Multi-Agent Stochastic Approximation. CoRR Nicolò Dal Fabbro, Arman Adibi, H. Vincent Poor, Sanjeev R. Kulkarni, Aritra Mitra, George J. Pappas
2024	J	`jnl`	Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing. CoRR Jiabao Ji, Bairu Hou, Alexander Robey, George J. Pappas, Hamed Hassani, Yang Zhang, Eric Wong, Shiyu Chang
2024	J	`jnl`	Explicitly Encoding Structural Symmetry is Key to Length Generalization in Arithmetic Tasks. CoRR Mahdi Sabbaghi, George J. Pappas, Hamed Hassani, Surbhi Goel
2024	J	`jnl`	Federated TD Learning with Linear Function Approximation under Environmental Heterogeneity. Trans. Mach. Learn. Res. Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson
2024	C	`conf`	Finite- Time Analysis of Asynchronous Multi-Agent TD Learning. ACC Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas
2024	J	`jnl`	Finite-Time Analysis of Asynchronous Multi-Agent TD Learning. CoRR Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas
2024	J	`jnl`	Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control. CoRR Kong Yao Chee, Pei-An Hsieh, George J. Pappas, M. Ani Hsieh
2024	J	`jnl`	Formal Verification and Control with Conformal Prediction. CoRR Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh
2024	—	`conf`	From Convexity to Strong Convexity and Beyond: Bridging The Gap In Convergence Rates. CDC Orlando Romero, Mouhacine Benosman, George J. Pappas
2024	A*	`conf`	Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples. ICML Thomas T. C. K. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni
2024	J	`jnl`	Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples. CoRR Thomas T. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni
2024	A*	`conf`	JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models. NeurIPS 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
2024	J	`jnl`	JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models. CoRR 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
2024	J	`jnl`	Jailbreaking LLM-Controlled Robots. CoRR Alexander Robey, Zachary Ravichandran, Vijay Kumar, Hamed Hassani, George J. Pappas
2024	A*	`conf`	Length Optimization in Conformal Prediction. NeurIPS Shayan Kiyani, George J. Pappas, Hamed Hassani
2024	J	`jnl`	Length Optimization in Conformal Prediction. CoRR Shayan Kiyani, George J. Pappas, Hamed Hassani
2024	—	`conf`	Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2024	A*	`conf`	Optimal Scene Graph Planning with Large Language Model Guidance. ICRA Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Maria-Elizabeth Tzes, George J. Pappas, Nikolay Atanasov
2024	J	`jnl`	PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking. CoRR Hanwen Cao, George J. Pappas, Nikolay Atanasov
2024	—	`conf`	Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method. CDC Charis J. Stamouli, Ingvar M. Ziemann, George J. Pappas
2024	J	`jnl`	Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method. CoRR Charis J. Stamouli, Ingvar M. Ziemann, George J. Pappas
2024	—	`conf`	Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions. CDC Yuqing Zhang, Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2024	J	`jnl`	Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees. CoRR Charis J. Stamouli, Lars Lindemann, George J. Pappas
2024	—	`conf`	Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. L4DC Charis J. Stamouli, Lars Lindemann, George J. Pappas
2024	J	`jnl`	Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
2024	J	`jnl`	SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments. CoRR Zachary Ravichandran, Varun Murali, Mariliza Tzes, George J. Pappas, Vijay Kumar
2024	J	`jnl`	STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. CoRR Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2024	J	`jnl`	Safe MPC Alignment with Human Directional Feedback. CoRR Zhixian Xie, Wenlong Zhang, Yi Ren, Zhaoran Wang, George J. Pappas, Wanxin Jin
2024	A*	`conf`	Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss. ICML Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni
2024	J	`jnl`	Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss. CoRR Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni
2024	J	`jnl`	State space models, emergence, and ergodicity: How many parameters are needed for stable predictions? CoRR Ingvar M. Ziemann, Nikolai Matni, George J. Pappas
2024	A	`conf`	Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling. AISTATS Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev R. Kulkarni, H. Vincent Poor, George J. Pappas, Hamed Hassani, Aritra Mitra
2024	J	`jnl`	Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling. CoRR Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev R. Kulkarni, H. Vincent Poor, George J. Pappas, Hamed Hassani, Aritra Mitra
2024	C	`conf`	Structural Risk Minimization for Learning Nonlinear Dynamics. ACC Charis J. Stamouli, Evangelos Chatzipantazis, George J. Pappas
2024	J	`jnl`	Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning. Trans. Mach. Learn. Res. Aritra Mitra, George J. Pappas, Hamed Hassani
2024	—	`conf`	Uncertainty quantification and robustification of model-based controllers using conformal prediction. L4DC Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas
2023	J	`jnl`	: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events. IEEE Trans. Mob. Comput. Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin
2023	—	`conf`	A Tutorial on the Non-Asymptotic Theory of System Identification. CDC Ingvar M. Ziemann, Anastasios Tsiamis, Bruce D. Lee, Yassir Jedra, Nikolai Matni, George J. Pappas
2023	J	`jnl`	A Tutorial on the Non-Asymptotic Theory of System Identification. CoRR Ingvar M. Ziemann, Anastasios Tsiamis, Bruce D. Lee, Yassir Jedra, Nikolai Matni, George J. Pappas
2023	—	`conf`	Active Collaborative Localization in Heterogeneous Robot Teams. Robotics: Science and Systems Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar
2023	J	`jnl`	Active Collaborative Localization in Heterogeneous Robot Teams. CoRR Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar
2023	—	`conf`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2023	J	`jnl`	Adversarial Training Should Be Cast as a Non-Zero-Sum Game. CoRR Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher
2023	—	`conf`	Certified Invertibility in Neural Networks via Mixed-Integer Programming. L4DC Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab
2023	J	`jnl`	Certified Invertibility in Neural Networks via Mixed-Integer Programming. CoRR Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab
2023	J	`jnl`	Combined Left and Right Temporal Robustness for Control Under STL Specifications. IEEE Control. Syst. Lett. Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	J	`jnl`	Combined Left and Right Temporal Robustness for Control under STL Specifications. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	J	`jnl`	Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2023	—	`conf`	Conformal Prediction for STL Runtime Verification. Allerton Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2023	—	`conf`	Conformal Prediction for STL Runtime Verification. ICCPS Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2023	J	`jnl`	Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. CoRR Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov
2023	J	`jnl`	Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams. IEEE Trans. Robotics Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How
2023	A	`conf`	Enhancing Sample Efficiency and Uncertainty Compensation in Learning-Based Model Predictive Control for Aerial Robots. IROS Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas
2023	J	`jnl`	Enhancing Sample Efficiency and Uncertainty Compensation in Learning-based Model Predictive Control for Aerial Robots. CoRR Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas
2023	J	`jnl`	Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling. IEEE Control. Syst. Lett. Nicolò Dal Fabbro, Aritra Mitra, George J. Pappas
2023	J	`jnl`	Federated TD Learning over Finite-Rate Erasure Channels: Linear Speedup under Markovian Sampling. CoRR Nicolò Dal Fabbro, Aritra Mitra, George J. Pappas
2023	J	`jnl`	Federated Temporal Difference Learning with Linear Function Approximation under Environmental Heterogeneity. CoRR Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson
2023	J	`jnl`	Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior. CoRR Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas
2023	A*	`conf`	Graph Neural Networks for Multi-Robot Active Information Acquisition. ICRA Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas
2023	J	`jnl`	Jailbreaking Black Box Large Language Models in Twenty Queries. CoRR Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong
2023	J	`jnl`	Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification. CoRR Thomas Beckers, Tom Z. Jiahao, George J. Pappas
2023	—	`ed.`	Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. L4DC Nikolai Matni, Manfred Morari, George J. Pappas
2023	—	`conf`	Linear Stochastic Bandits over a Bit-Constrained Channel. L4DC Aritra Mitra, Hamed Hassani, George J. Pappas
2023	J	`jnl`	Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2023	A*	`conf`	Multi-Robot Mission Planning in Dynamic Semantic Environments. ICRA Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	—	`conf`	Navigation with Shadow Prices to Optimize Multi-Commodity Flow Rates. CDC Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro
2023	J	`jnl`	Navigation with shadow prices to optimize multi-commodity flow rates. CoRR Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro
2023	J	`jnl`	Online Learning of the Kalman Filter With Logarithmic Regret. IEEE Trans. Autom. Control. Anastasios Tsiamis, George J. Pappas
2023	J	`jnl`	Optimal Scene Graph Planning with Large Language Model Guidance. CoRR Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Maria-Elizabeth Tzes, George J. Pappas, Nikolay Atanasov
2023	C	`conf`	Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information. ACC Austin K. Chen, Bryce L. Ferguson, Daigo Shishika, Michael R. Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar
2023	—	`conf`	Physics-enhanced Gaussian Process Variational Autoencoder. L4DC Thomas Beckers, Qirui Wu, George J. Pappas
2023	J	`jnl`	Physics-enhanced Gaussian Process Variational Autoencoder. CoRR Thomas Beckers, Qirui Wu, George J. Pappas
2023	—	`conf`	Resilient Temporal Logic Planning in the Presence of Robot Failures. CDC Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	J	`jnl`	Resilient Temporal Logic Planning in the Presence of Robot Failures. CoRR Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	J	`jnl`	Risk of Stochastic Systems for Temporal Logic Specifications. ACM Trans. Embed. Comput. Syst. Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
2023	A	`conf`	Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles. IROS Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar
2023	J	`jnl`	Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles. CoRR Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar
2023	—	`conf`	Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	J	`jnl`	Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	J	`jnl`	Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2023	—	`conf`	Safety Filter Design for Neural Network Systems via Convex Optimization. CDC Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas
2023	J	`jnl`	Safety Filter Design for Neural Network Systems via Convex Optimization. CoRR Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas
2023	J	`jnl`	SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks. CoRR Alexander Robey, Eric Wong, Hamed Hassani, George J. Pappas
2023	A*	`conf`	Socially Fair Coverage Control. ICRA Matthew Malencia, George J. Pappas, Vijay Kumar
2023	J	`jnl`	Structural Risk Minimization for Learning Nonlinear Dynamics. CoRR Charis J. Stamouli, Evangelos Chatzipantazis, George J. Pappas
2023	J	`jnl`	Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning. CoRR Aritra Mitra, George J. Pappas, Hamed Hassani
2023	J	`jnl`	Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	A*	`conf`	The noise level in linear regression with dependent data. NeurIPS Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni
2023	J	`jnl`	The noise level in linear regression with dependent data. CoRR Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni
2023	—	`conf`	Toward Certified Robustness Against Real-World Distribution Shifts. SaTML Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
2023	—	`conf`	Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction. CDC Kong Yao Chee, M. Ani Hsieh, George J. Pappas
2023	A*	`conf`	Variational Autoencoding Neural Operators. ICML Jacob H. Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris
2023	J	`jnl`	Variational Autoencoding Neural Operators. CoRR Jacob H. Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris
2022	J	`jnl`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2022	A	`conf`	Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR). IROS Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar
2022	J	`jnl`	Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR). CoRR Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar
2022	—	`conf`	Adaptive Stochastic MPC under Unknown Noise Distribution. L4DC Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas
2022	J	`jnl`	Adaptive Stochastic MPC under Unknown Noise Distribution. CoRR Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas
2022	—	`conf`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	J	`jnl`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	A*	`conf`	Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds. NeurIPS Aritra Mitra, Arman Adibi, George J. Pappas, Hamed Hassani
2022	J	`jnl`	Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds. CoRR Aritra Mitra, Arman Adibi, George J. Pappas, Hamed Hassani
2022	J	`jnl`	Conformal Prediction for STL Runtime Verification. CoRR Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2022	J	`jnl`	Distributed Attack-Robust Submodular Maximization for Multirobot Planning. IEEE Trans. Robotics Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar
2022	—	`conf`	Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents. CDC Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani
2022	J	`jnl`	Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents. CoRR Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani
2022	J	`jnl`	Do Deep Networks Transfer Invariances Across Classes? CoRR Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn
2022	A*	`conf`	Do deep networks transfer invariances across classes? ICLR Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn
2022	J	`jnl`	Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams. CoRR Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How
2022	—	`conf`	Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior. CDC Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas
2022	J	`jnl`	Graph Neural Networks for Multi-Robot Active Information Acquisition. CoRR Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas
2022	J	`jnl`	Learning Operators with Coupled Attention. CoRR Georgios Kissas, Jacob H. Seidman, Leonardo Ferreira Guilhoto, Victor M. Preciado, George J. Pappas, Paris Perdikaris
2022	J	`jnl`	Learning Operators with Coupled Attention. J. Mach. Learn. Res. Georgios Kissas, Jacob H. Seidman, Leonardo Ferreira Guilhoto, Victor M. Preciado, George J. Pappas, Paris Perdikaris
2022	—	`conf`	Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees. CDC Thomas Beckers, George J. Pappas, Leonardo J. Colombo
2022	A*	`conf`	Learning to Control Linear Systems can be Hard. COLT Anastasios Tsiamis, Ingvar M. Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas
2022	J	`jnl`	Learning to Control Linear Systems can be Hard. CoRR Anastasios Tsiamis, Ingvar M. Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas
2022	—	`conf`	Learning-based Balancing of Model-based and Feedback Control for Second-order Mechanical Systems. CDC Thomas Beckers, Leonardo J. Colombo, Manfred Morari, George J. Pappas
2022	J	`jnl`	Linear Stochastic Bandits over a Bit-Constrained Channel. CoRR Aritra Mitra, Hamed Hassani, George J. Pappas
2022	J	`jnl`	Multi-robot Mission Planning in Dynamic Semantic Environments. CoRR Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2022	A*	`conf`	NOMAD: Nonlinear Manifold Decoders for Operator Learning. NeurIPS Jacob H. Seidman, Georgios Kissas, Paris Perdikaris, George J. Pappas
2022	J	`jnl`	NOMAD: Nonlinear Manifold Decoders for Operator Learning. CoRR Jacob H. Seidman, Georgios Kissas, Paris Perdikaris, George J. Pappas
2022	—	`conf`	ODE Discretization Schemes as Optimization Algorithms. CDC Orlando Romero, Mouhacine Benosman, George J. Pappas
2022	J	`jnl`	Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics. IEEE Control. Syst. Lett. Thomas Beckers, Leonardo J. Colombo, Sandra Hirche, George J. Pappas
2022	J	`jnl`	Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information. CoRR Austin K. Chen, Bryce L. Ferguson, Daigo Shishika, Michael R. Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar
2022	J	`jnl`	Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. IEEE Trans. Robotics Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas
2022	J	`jnl`	Private Weighted Sum Aggregation. IEEE Trans. Control. Netw. Syst. Andreea B. Alexandru, George J. Pappas
2022	A*	`conf`	Probabilistically Robust Learning: Balancing Average and Worst-case Performance. ICML Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani
2022	J	`jnl`	Probabilistically Robust Learning: Balancing Average- and Worst-case Performance. CoRR Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani
2022	A*	`conf`	Probable Domain Generalization via Quantile Risk Minimization. NeurIPS Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J. Pappas, Bernhard Schölkopf
2022	J	`jnl`	Probable Domain Generalization via Quantile Risk Minimization. CoRR Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J. Pappas, Bernhard Schölkopf
2022	A*	`conf`	Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. ICRA Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas
2022	J	`jnl`	Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. CoRR Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas
2022	J	`jnl`	Reactive and Risk-Aware Control for Signal Temporal Logic. IEEE Trans. Autom. Control. Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2022	J	`jnl`	Resilient Active Information Acquisition With Teams of Robots. IEEE Trans. Robotics Brent Schlotfeldt, Vasileios Tzoumas, George J. Pappas
2022	J	`jnl`	Resilient Consensus via Voronoi Communication Graphs. CoRR Kelsey Saulnier, Lifeng Zhou, George J. Pappas, Vijay Kumar
2022	J	`jnl`	Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	J	`jnl`	Risk of Stochastic Systems for Temporal Logic Specifications. CoRR Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
2022	J	`jnl`	Risk verification of stochastic systems with neural network controllers. Artif. Intell. Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	J	`jnl`	Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints. Field Robotics Sean L. Bowman, Kostas Daniilidis, George J. Pappas
2022	J	`jnl`	Robust and Adaptive Sequential Submodular Optimization. IEEE Trans. Autom. Control. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2022	J	`jnl`	Safe Planning in Dynamic Environments using Conformal Prediction. CoRR Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2022	J	`jnl`	Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. IEEE Trans. Autom. Control. Mahyar Fazlyab, Manfred Morari, George J. Pappas
2022	J	`jnl`	Secure state estimation over Markov wireless communication channels (extended version). CoRR Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas
2022	—	`conf`	Secure state estimation over Markov wireless communication channels. CDC Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas
2022	J	`jnl`	Statistical Learning Theory for Control: A Finite Sample Perspective. CoRR Anastasios Tsiamis, Ingvar M. Ziemann, Nikolai Matni, George J. Pappas
2022	—	`conf`	Temporal Robustness of Stochastic Signals. HSCC Lars Lindemann, Alëna Rodionova, George J. Pappas
2022	J	`jnl`	Temporal Robustness of Stochastic Signals. CoRR Lars Lindemann, Alëna Rodionova, George J. Pappas
2022	J	`jnl`	Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2022	J	`jnl`	Toward Certified Robustness Against Real-World Distribution Shifts. CoRR Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
2021	J	`jnl`	Achieving Linear Convergence in Federated Learning under Objective and Systems Heterogeneity. CoRR Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani
2021	B	`conf`	Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space. ISIT Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro
2021	A*	`conf`	Adversarial Robustness with Semi-Infinite Constrained Learning. NeurIPS Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani, Alejandro Ribeiro
2021	J	`jnl`	Adversarial Robustness with Semi-Infinite Constrained Learning. CoRR Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani, Alejandro Ribeiro
2021	—	`conf`	An Introduction to Neural Network Analysis via Semidefinite Programming. CDC Mahyar Fazlyab, Manfred Morari, George J. Pappas
2021	J	`jnl`	Approximate Supermodularity of Kalman Filter Sensor Selection. IEEE Trans. Autom. Control. Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro
2021	J	`jnl`	Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2021	J	`jnl`	Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems. ACM Trans. Cyber Phys. Syst. Fei Miao, Sihong He, Lynn Pepin, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas
2021	A*	`conf`	Deep Reinforcement Learning for Active Target Tracking. ICRA Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas
2021	A	`conf`	Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. IROS Mariliza Tzes, Yiannis Kantaros, George J. Pappas
2021	—	`conf`	Encrypted Distributed Lasso for Sparse Data Predictive Control. CDC Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas
2021	J	`jnl`	Encrypted Distributed Lasso for Sparse Data Predictive Control. CoRR Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas
2021	J	`jnl`	Exploiting Heterogeneity in Robust Federated Best-Arm Identification. CoRR Aritra Mitra, Hamed Hassani, George J. Pappas
2021	J	`jnl`	Fair Robust Assignment Using Redundancy. IEEE Robotics Autom. Lett. Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok
2021	J	`jnl`	Fair Robust Assignment using Redundancy. CoRR Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok
2021	—	`conf`	Federated Learning with Incrementally Aggregated Gradients. CDC Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani
2021	J	`jnl`	LQG Control and Sensing Co-Design. IEEE Trans. Autom. Control. Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie
2021	J	`jnl`	Latency-Reliability Tradeoffs for State Estimation. IEEE Trans. Autom. Control. Konstantinos Gatsis, Hamed Hassani, George J. Pappas
2021	Misc	`conf`	Learning Lyapunov Functions for Hybrid Systems. CISS Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	—	`conf`	Learning Region of Attraction for Nonlinear Systems. CDC Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	J	`jnl`	Learning Region of Attraction for Nonlinear Systems. CoRR Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	J	`jnl`	Learning Rigidity-based Flocking Control with Gaussian Processes. CoRR Manuela Gamonal Fernández, Thomas Beckers, George J. Pappas, Leonardo J. Colombo
2021	—	`conf`	Learning lyapunov functions for hybrid systems. HSCC Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	A*	`conf`	Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients. NeurIPS Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani
2021	J	`jnl`	Linear Quadratic Control with Risk Constraints. CoRR Anastasios Tsiamis, Dionysios S. Kalogerias, Alejandro Ribeiro, George J. Pappas
2021	—	`conf`	Linear Systems can be Hard to Learn. CDC Anastasios Tsiamis, George J. Pappas
2021	J	`jnl`	Linear Systems can be Hard to Learn. CoRR Anastasios Tsiamis, George J. Pappas
2021	A*	`conf`	Model-Based Domain Generalization. NeurIPS Alexander Robey, George J. Pappas, Hamed Hassani
2021	J	`jnl`	Model-Based Domain Generalization. CoRR Alexander Robey, George J. Pappas, Hamed Hassani
2021	A*	`conf`	Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams. ICRA Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How
2021	J	`jnl`	Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams. CoRR Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How
2021	J	`jnl`	On the Structural Target Controllability of Undirected Networks. IEEE Trans. Autom. Control. Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2021	—	`conf`	Online Federated Learning. CDC Aritra Mitra, Hamed Hassani, George J. Pappas
2021	—	`conf`	Optimal Algorithms for Submodular Maximization with Distributed Constraints. L4DC Alexander Robey, Arman Adibi, Brent Schlotfeldt, Hamed Hassani, George J. Pappas
2021	—	`conf`	Optimal Multi-robot Perimeter Defense Using Flow Networks. DARS Austin K. Chen, Douglas G. Macharet, Daigo Shishika, George J. Pappas, Vijay Kumar
2021	—	`conf`	Preface. L4DC Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger
2021	—	`ed.`	Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, L4DC 2021, 7-8 June 2021, Virtual Event, Switzerland. Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger
2021	A*	`conf`	Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. ICRA Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek
2021	J	`jnl`	Reactive and Risk-Aware Control for Signal Temporal Logic. CoRR Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2021	J	`jnl`	Resilient Active Information Acquisition with Teams of Robots. CoRR Brent Schlotfeldt, Vasileios Tzoumas, George J. Pappas
2021	J	`jnl`	Robotics in the AI era: A vision for a Hellenic Robotics Initiative. Found. Trends Robotics George J. Pappas, Kostas Daniilidis, Leonidas J. Guibas, Lydia E. Kavraki, Petros Koumoutsakos, Kostas J. Kyriakopoulos, John Lygeros, Michael S. Triantafyllou, Panagiotis Tsiotras
2021	—	`conf`	Robust Motion Planning in the Presence of Estimation Uncertainty. CDC Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	—	`conf`	STL Robustness Risk over Discrete-Time Stochastic Processes. CDC Lars Lindemann, Nikolai Matni, George J. Pappas
2021	J	`jnl`	STL Robustness Risk over Discrete-Time Stochastic Processes. CoRR Lars Lindemann, Nikolai Matni, George J. Pappas
2021	A*	`conf`	Safe Pontryagin Differentiable Programming. NeurIPS Wanxin Jin, Shaoshuai Mou, George J. Pappas
2021	J	`jnl`	Safe Pontryagin Differentiable Programming. CoRR Wanxin Jin, Shaoshuai Mou, George J. Pappas
2021	J	`jnl`	Sampling-based planning for non-myopic multi-robot information gathering. Auton. Robots Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas
2021	A*	`conf`	Scalable Active Information Acquisition for Multi-Robot Systems. ICRA Yiannis Kantaros, George J. Pappas
2021	A	`conf`	Scalable Reinforcement Learning Policies for Multi-Agent Control. IROS Christopher D. Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari
2021	C	`conf`	Source Seeking in Unknown Environments with Convex Obstacles. ACC Bruno Augusto Angélico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas
2021	J	`jnl`	Statistical learning for analysis of networked control systems over unknown channels. Autom. Konstantinos Gatsis, George J. Pappas
2021	J	`jnl`	Stochastic Motion Planning Under Partial Observability for Mobile Robots With Continuous Range Measurements. IEEE Trans. Robotics Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar
2021	J	`jnl`	Teaching recurrent neural networks to infer global temporal structure from local examples. Nat. Mach. Intell. Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett
2021	J	`jnl`	Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. CoRR Mariliza Tzes, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems. CoRR Yiannis Kantaros, George J. Pappas
2021	—	`conf`	Time-Robust Control for STL Specifications. CDC Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021	J	`jnl`	Time-Robust Control for STL Specifications. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021	J	`jnl`	Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	—	`conf`	Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting. IEEE Control. Syst. Lett. Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	Misc	`conf`	A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with no Models and no Gradients. ICASSP Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro
2020	A	`conf`	Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense. IROS Douglas G. Macharet, Austin K. Chen, Daigo Shishika, George J. Pappas, Vijay Kumar
2020	—	`conf`	Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems. EUSIPCO Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro
2020	Misc	`conf`	Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation. ICASSP Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro
2020	—	`conf`	Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	Consensus of Multiagent Systems Via Asynchronous Cloud Communication. IEEE Trans. Control. Netw. Syst. Sean L. Bowman, Cameron Nowzari, George J. Pappas
2020	—	`conf`	Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. CDC Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2020	—	`conf`	Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC Pushpak Jagtap, George J. Pappas, Majid Zamani
2020	J	`jnl`	Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR Pushpak Jagtap, George J. Pappas, Majid Zamani
2020	J	`jnl`	Data-driven control on encrypted data. CoRR Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas
2020	A*	`conf`	Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning. ICRA Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar
2020	J	`jnl`	Distributed Locally Non-interfering Connectivity via Linear Temporal Logic. CoRR Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist
2020	J	`jnl`	Encrypted control for networked systems - An illustrative introduction and current challenges. CoRR Moritz Schulze Darup, Andreea B. Alexandru, Daniel E. Quevedo, George J. Pappas
2020	J	`jnl`	Finite-dimensional control of linear discrete-time fractional-order systems. Autom. Andrea Alessandretti, Sérgio Pequito, George J. Pappas, A. Pedro Aguiar
2020	A*	`conf`	Information Theoretic Active Exploration in Signed Distance Fields. ICRA Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar
2020	J	`jnl`	Is the brain macroscopically linear? A system identification of resting state dynamics. CoRR Erfan Nozari, Jennifer Stiso, Lorenzo Caciagli, Eli J. Cornblath, Xiaosong He, Maxwell A. Bertolero, Arun S. Mahadevan, George J. Pappas, Danielle S. Bassett
2020	J	`jnl`	Learning to Track Dynamic Targets in Partially Known Environments. CoRR Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas
2020	J	`jnl`	Model-Based Robust Deep Learning. CoRR Alexander Robey, Hamed Hassani, George J. Pappas
2020	J	`jnl`	Model-Free Learning of Optimal Ergodic Policies in Wireless Systems. IEEE Trans. Signal Process. Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro
2020	J	`jnl`	Network Design for Controllability Metrics. IEEE Trans. Control. Netw. Syst. Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2020	J	`jnl`	Online Learning of the Kalman Filter with Logarithmic Regret. CoRR Anastasios Tsiamis, George J. Pappas
2020	J	`jnl`	Private Weighted Sum Aggregation. CoRR Andreea B. Alexandru, George J. Pappas
2020	—	`ed.`	Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, L4DC 2020, Online Event, Berkeley, CA, USA, 11-12 June 2020. Alexandre M. Bayen, Ali Jadbabaie, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger
2020	—	`conf`	Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CDC Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
2020	J	`jnl`	Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CoRR Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
2020	J	`jnl`	Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback. IEEE Robotics Autom. Lett. Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek
2020	A*	`conf`	Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. ICRA Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas
2020	J	`jnl`	Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps. CoRR Yiannis Kantaros, Matthew Malencia, George J. Pappas
2020	—	`conf`	Risk-Constrained Linear-Quadratic Regulators. CDC Anastasios Tsiamis, Dionysios S. Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas
2020	J	`jnl`	Risk-Constrained Linear-Quadratic Regulators. CoRR Anastasios Tsiamis, Dionysios S. Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas
2020	—	`conf`	Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. L4DC Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	J	`jnl`	Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. CoRR Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	J	`jnl`	Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes. IEEE Trans. Autom. Control. Nicholas J. Watkins, Cameron Nowzari, George J. Pappas
2020	—	`conf`	Sample Complexity of Kalman Filtering for Unknown Systems. L4DC Anastasios Tsiamis, Nikolai Matni, George J. Pappas
2020	J	`jnl`	Scalable Reinforcement Learning Policies for Multi-Agent Control. CoRR Christopher D. Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari
2020	J	`jnl`	Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps. CoRR Yiannis Kantaros, Qi Jin, George J. Pappas
2020	J	`jnl`	State-Secrecy Codes for Networked Linear Systems. IEEE Trans. Autom. Control. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2020	J	`jnl`	Stochastic Motion Planning under Partial Observability for Mobile Robots with Continuous Range Measurements. CoRR Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar
2020	J	`jnl`	Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example. CoRR Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett
2020	J	`jnl`	Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. CoRR Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek
2020	J	`jnl`	Technical Report: Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback. CoRR Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek
2020	—	`conf`	Towards Private Data-driven Control. CDC Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas
2020	J	`jnl`	Zeroth-order Deterministic Policy Gradient. CoRR Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro
2019	J	`jnl`	Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems. IEEE Trans. Control. Netw. Syst. Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas
2019	J	`jnl`	Approximate Supermodularity of Kalman Filter Sensor Selection. CoRR Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro
2019	A*	`conf`	Assumed Density Filtering Q-learning. IJCAI Heejin Jeong, Clark Zhang, George J. Pappas, Daniel D. Lee
2019	—	`conf`	Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering. Robotics: Science and Systems Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas
2019	J	`jnl`	Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2019	J	`jnl`	Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
2019	J	`jnl`	Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization. IEEE Control. Syst. Lett. Nicholas J. Watkins, George J. Pappas
2019	J	`jnl`	Data-Driven Robust Taxi Dispatch Under Demand Uncertainties. IEEE Trans. Control. Syst. Technol. Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab M. Hendawi, Desheng Zhang, Tian He, George J. Pappas
2019	J	`jnl`	Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning. CoRR Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar
2019	A*	`conf`	Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. NeurIPS Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
2019	J	`jnl`	Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. CoRR Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
2019	—	`conf`	Encrypted Cooperative Control Revisited. CDC Andreea B. Alexandru, Moritz Schulze Darup, George J. Pappas
2019	—	`conf`	Encrypted LQG using labeled homomorphic encryption. ICCPS Andreea B. Alexandru, George J. Pappas
2019	—	`conf`	Finite Sample Analysis of Stochastic System Identification. CDC Anastasios Tsiamis, George J. Pappas
2019	J	`jnl`	Finite Sample Analysis of Stochastic System Identification. CoRR Anastasios Tsiamis, George J. Pappas
2019	Misc	`conf`	Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks. CoRL Ekaterina I. Tolstaya, Fernando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro
2019	J	`jnl`	Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks. CoRR Ekaterina I. Tolstaya, Fernando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro
2019	A	`conf`	Learning Q-network for Active Information Acquisition. IROS Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas
2019	J	`jnl`	Learning Q-network for Active Information Acquisition. CoRR Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas
2019	J	`jnl`	Learning in Wireless Control Systems Over Nonstationary Channels. IEEE Trans. Signal Process. Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro
2019	A	`conf`	Maximum Information Bounds for Planning Active Sensing Trajectories. IROS Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas
2019	J	`jnl`	Minimal Edge Addition for Network Controllability. IEEE Trans. Control. Netw. Syst. Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2019	J	`jnl`	Minimal Reachability is Hard To Approximate. IEEE Trans. Autom. Control. Ali Jadbabaie, Alexander Olshevsky, George J. Pappas, Vasileios Tzoumas
2019	J	`jnl`	Model-Free Learning of Optimal Ergodic Policies in Wireless Systems. CoRR Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro
2019	C	`conf`	Motion Planning with Secrecy. ACC Anastasios Tsiamis, Andreea B. Alexandru, George J. Pappas
2019	C	`conf`	N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement. ACC Pedro P. V. Tecchio, Nikolay Atanasov, Shahin Shahrampour, George J. Pappas
2019	J	`jnl`	Optimal Algorithms for Submodular Maximization with Distributed Constraints. CoRR Alexander Robey, Arman Adibi, Brent Schlotfeldt, George J. Pappas, Hamed Hassani
2019	C	`conf`	Optimal Reset Strategies for Mitigating Malware Epidemics. ACC Nicholas J. Watkins, George J. Pappas
2019	A	`conf`	Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. IROS Yiannis Kantaros, George J. Pappas
2019	—	`conf`	Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CDC Mahyar Fazlyab, Manfred Morari, George J. Pappas
2019	J	`jnl`	Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CoRR Mahyar Fazlyab, Manfred Morari, George J. Pappas
2019	—	`conf`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Resilient Active Target Tracking With Multiple Robots. IEEE Robotics Autom. Lett. Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar
2019	C	`conf`	Resilient Structural Stabilizability of Undirected Networks. ACC Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2019	J	`jnl`	Risk-Aware MMSE Estimation. CoRR Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro
2019	J	`jnl`	Robust and Adaptive Sequential Submodular Optimization. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2019	J	`jnl`	Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. CoRR Mahyar Fazlyab, Manfred Morari, George J. Pappas
2019	J	`jnl`	Sample Complexity of Kalman Filtering for Unknown Systems. CoRR Anastasios Tsiamis, Nikolai Matni, George J. Pappas
2019	J	`jnl`	Secure Multi-party Computation for Cloud-based Control. CoRR Andreea B. Alexandru, George J. Pappas
2019	J	`jnl`	Source Seeking in Unknown Environments with Convex Obstacles. CoRR Bruno Augusto Angélico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas
2019	J	`jnl`	Statistical Learning for Analysis of Networked Control Systems over Unknown Channels. CoRR Konstantinos Gatsis, George J. Pappas
2019	—	`conf`	Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2018	—	`conf`	A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. CDC Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado
2018	—	`conf`	A Robust Moment Closure for General Continuous-time Epidemic Processes. CDC Nicholas J. Watkins, Cameron Nowzari, George J. Pappas
2018	A*	`conf`	A Unifying View of Geometry, Semantics, and Data Association in SLAM. IJCAI Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas
2018	J	`jnl`	A hybrid stochastic game for secure control of cyber-physical systems. Autom. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2018	—	`conf`	An Information Matrix Approach for State Secrecy. CDC Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2018	J	`jnl`	An Information Matrix Approach for State Secrecy. CoRR Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2018	J	`jnl`	Anytime Planning for Decentralized Multirobot Active Information Gathering. IEEE Robotics Autom. Lett. Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, George J. Pappas
2018	C	`conf`	Approximating Explicit Model Predictive Control Using Constrained Neural Networks. ACC Steven W. Chen, Kelsey Saulnier, Nikolay Atanasov, Daniel D. Lee, Vijay Kumar, George J. Pappas, Manfred Morari
2018	—	`conf`	Cloud-Based MPC with Encrypted Data. CDC Andreea B. Alexandru, Manfred Morari, George J. Pappas
2018	J	`jnl`	Cloud-based MPC with Encrypted Data. CoRR Andreea B. Alexandru, Manfred Morari, George J. Pappas
2018	J	`jnl`	Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2018	J	`jnl`	Control and Sensing Co-design. CoRR Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie
2018	C	`conf`	Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering. ACC Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar
2018	J	`jnl`	Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering. CoRR Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar
2018	J	`jnl`	Diffusing Private Data Over Networks. IEEE Trans. Control. Netw. Syst. Fragkiskos Koufogiannis, George J. Pappas
2018	—	`conf`	Dynamic integration of heterogeneous transportation modes under disruptive events. ICCPS Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin
2018	J	`jnl`	Latency-Reliability Tradeoffs for State Estimation. CoRR Konstantinos Gatsis, Hamed Hassani, George J. Pappas
2018	Misc	`conf`	Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems. ICASSP Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro
2018	C	`conf`	Learning in Non-Stationary Wireless Control Systems via Newton's Method. ACC Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro
2018	J	`jnl`	On the Limited Communication Analysis and Design for Decentralized Estimation. CoRR Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas
2018	J	`jnl`	Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks. IEEE Trans. Control. Netw. Syst. Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas
2018	—	`conf`	Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels. SPAWC Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro
2018	J	`jnl`	Privacy in Control and Dynamical Systems. Annu. Rev. Control. Robotics Auton. Syst. Shuo Han, George J. Pappas
2018	J	`jnl`	Random access design for wireless control systems. Autom. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2018	A	`conf`	Resilient Active Information Gathering with Mobile Robots. IROS Brent Schlotfeldt, Vasileios Tzoumas, Dinesh Thakur, George J. Pappas
2018	J	`jnl`	Resilient Active Information Gathering with Mobile Robots. CoRR Brent Schlotfeldt, Vasileios Tzoumas, Dinesh Thakur, George J. Pappas
2018	J	`jnl`	Resilient Active Target Tracking with Multiple Robots. CoRR Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar
2018	—	`conf`	Resilient Monotone Sequential Maximization. CDC Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2018	J	`jnl`	Resilient Monotone Sequential Maximization. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2018	J	`jnl`	Resilient Non-Submodular Maximization over Matroid Constraints. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2018	J	`jnl`	Resilient Structural Stabilizability of Undirected Networks. CoRR Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2018	J	`jnl`	SMC: Satisfiability Modulo Convex Programming. Proc. IEEE Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2018	—	`conf`	Sample Complexity of Networked Control Systems Over Unknown Channels. CDC Konstantinos Gatsis, George J. Pappas
2018	C	`conf`	Scenario-Based Model Predictive Control for Energy Harvesting Actuators. ACC Nicholas J. Watkins, Konstantinos Gatsis, Manfred Morari, George J. Pappas
2018	J	`jnl`	Selecting Sensors in Biological Fractional-Order Systems. IEEE Trans. Control. Netw. Syst. Vasileios Tzoumas, Yuankun Xue, Sérgio Pequito, Paul Bogdan, George J. Pappas
2018	C	`conf`	Sensing-Constrained LQG Control. ACC Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie
2018	C	`conf`	State-Secrecy Codes for Stable Systems. ACC Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2018	—	`conf`	Structural Target Controllability of Undirected Networks. CDC Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2018	J	`jnl`	Structural Target Controllability of Undirected Networks. CoRR Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2018	—	`ch.`	Verification of Hybrid Systems. Handbook of Model Checking Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
2018	J	`jnl`	Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2017	J	`jnl`	A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. CoRR Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2017	J	`jnl`	A National Research Agenda for Intelligent Infrastructure. CoRR 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
2017	J	`jnl`	Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. Miroslav Pajic, Insup Lee, George J. Pappas
2017	—	`conf`	Battery management for control systems with energy harvesting sensors. CDC Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George J. Pappas
2017	—	`conf`	Calibration-free network localization using non-line-of-sight ultra-wideband measurements. IPSN Carmelo Di Franco, Amanda Prorok, Nikolay Atanasov, Benjamin P. Kempke, Prabal Dutta, Vijay Kumar, George J. Pappas
2017	J	`jnl`	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Trans. Control. Netw. Syst. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2017	J	`jnl`	Coordination of multi-agent systems via asynchronous cloud communication. CoRR Sean L. Bowman, Cameron Nowzari, George J. Pappas
2017	—	`conf`	Data-driven distributionally robust vehicle balancing using dynamic region partitions. ICCPS Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas
2017	—	`conf`	Differential privacy for dynamical sensitive data. CDC Fragkiskos Koufogiannis, George J. Pappas
2017	J	`jnl`	Differentially Private Distributed Constrained Optimization. IEEE Trans. Autom. Control. Shuo Han, Ufuk Topcu, George J. Pappas
2017	C	`conf`	Discrete-time fractional-order multiple scenario-based sensor selection. ACC Sérgio Pequito, Andrew Clark, George J. Pappas
2017	—	`conf`	Distributed leader selection in switching networks of high-order integrators. Allerton Anastasios Tsiamis, Sérgio Pequito, George J. Pappas
2017	—	`conf`	Hierarchical data-driven vehicle dispatch and ride-sharing. CDC Ximing Chen, Fei Miao, George J. Pappas, Victor M. Preciado
2017	C	`conf`	Inference, prediction and control of networked epidemics. ACC Nicholas J. Watkins, Cameron Nowzari, George J. Pappas
2017	—	`conf`	Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. CoRR Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas
2017	J	`jnl`	Minimal Reachability is Hard To Approximate. CoRR Ali Jadbabaie, Alexander Olshevsky, George J. Pappas, Vasileios Tzoumas
2017	—	`conf`	Network design for controllability metrics. CDC Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2017	—	`conf`	On the limited communication analysis and design for decentralized estimation. CDC Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas
2017	J	`jnl`	Optimal Resource Allocation for Control of Networked Epidemic Models. IEEE Trans. Control. Netw. Syst. Cameron Nowzari, Victor M. Preciado, George J. Pappas
2017	J	`jnl`	Privacy in Information-Rich Intelligent Infrastructure. CoRR Cynthia Dwork, George J. Pappas
2017	—	`conf`	Privacy preserving cloud-based quadratic optimization. Allerton Andreea B. Alexandru, Konstantinos Gatsis, George J. Pappas
2017	A*	`conf`	Probabilistic data association for semantic SLAM. ICRA Sean L. Bowman, Nikolay Atanasov, Kostas Daniilidis, George J. Pappas
2017	C	`conf`	Quantification on the efficiency gain of automated ridesharing services. ACC Shuo Han, Ufuk Topcu, George J. Pappas
2017	J	`jnl`	Resilient Flocking for Mobile Robot Teams. IEEE Robotics Autom. Lett. Kelsey Saulnier, David Saldana, Amanda Prorok, George J. Pappas, Vijay Kumar
2017	J	`jnl`	Resilient Monotone Submodular Function Maximization. CoRR Vasileios Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas
2017	—	`conf`	Resilient monotone submodular function maximization. CDC Vasileios Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas
2017	—	`conf`	SMC: Satisfiability Modulo Convex Optimization. HSCC Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	C	`conf`	Scheduling nonlinear sensors for stochastic process estimation. ACC Vasileios Tzoumas, Nikolay A. Atanasov, Ali Jadbabaie, George J. Pappas
2017	J	`jnl`	Sensing-Constrained LQG Control. CoRR Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie
2017	C	`conf`	Spectral control of cortical activity. ACC Sérgio Pequito, Arian Ashourvan, Danielle S. Bassett, Brian Litt, George J. Pappas
2017	—	`conf`	State estimation codes for perfect secrecy. CDC Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2017	J	`jnl`	State-Secrecy Codes for Networked Linear Systems. CoRR Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2017	J	`jnl`	Structural minimum controllability problem for switched linear continuous-time systems. Autom. Sérgio Pequito, George J. Pappas
2017	—	`conf`	The mean square error in Kalman filtering sensor selection is approximately supermodular. CDC Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro
2017	—	`conf`	Wireless Control for the IoT: Power, Spectrum, and Security Challenges: Poster Abstract. IoTDI Konstantinos Gatsis, George J. Pappas
2016	—	`conf`	A column generation approach for optimized routing and coordination of a UAV fleet. SSRR Julia Zillies, Stephan Westphal, Dinesh Thakur, Vijay Kumar, George J. Pappas, David Scheidt
2016	J	`jnl`	ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks. ACM Trans. Sens. Networks Shan Lin, Fei Miao, Jingbin Zhang, Gang Zhou, Lin Gu, Tian He, John A. Stankovic, Sang Hyuk Son, George J. Pappas
2016	—	`conf`	Approximation of network linear operators using similarity shift filters. GlobalSIP Cassiano O. Becker, Sérgio Daniel Pequito, George J. Pappas, Victor M. Preciado
2016	J	`jnl`	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. CoRR Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2016	—	`conf`	Control-Aware Random Access Communication. ICCPS Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2016	—	`conf`	Coordination of multi-agent systems via asynchronous cloud communication. CDC Sean L. Bowman, Cameron Nowzari, George J. Pappas
2016	—	`conf`	Data-Driven Robust Taxi Dispatch Approaches. ICCPS Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Qian Wang, Desheng Zhang, Tian He, George J. Pappas
2016	J	`jnl`	Data-Driven Robust Taxi Dispatch under Demand Uncertainties. CoRR Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab M. Hendawi, Desheng Zhang, Tian He, George J. Pappas
2016	J	`jnl`	Decentralized Observability with Limited Communication between Sensors. CoRR Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas
2016	—	`conf`	Decentralized observability with limited communication between sensors. CDC Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas
2016	—	`conf`	Differential privacy in control and network systems. CDC Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas
2016	C	`conf`	Diffusing private data over networks. ACC Fragkiskos Koufogiannis, George J. Pappas
2016	—	`conf`	Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
2016	C	`conf`	Event-based information-theoretic privacy: A case study of smart meters. ACC Shuo Han, Ufuk Topcu, George J. Pappas
2016	J	`jnl`	Gradual Release of Sensitive Data under Differential Privacy. J. Priv. Confidentiality Fragkiskos Koufogiannis, Shuo Han, George J. Pappas
2016	—	`conf`	Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. ICCPS Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
2016	J	`jnl`	Localization from semantic observations via the matrix permanent. Int. J. Robotics Res. Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas
2016	—	`conf`	Location-dependent privacy. CDC Fragkiskos Koufogiannis, George J. Pappas
2016	J	`jnl`	Minimal Actuator Placement With Bounds on Control Effort. IEEE Trans. Control. Netw. Syst. Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2016	—	`conf`	Minimum number of sensors to ensure observability of physiological systems: A case study. Allerton Yuankun Xue, Sérgio Pequito, Joana R. Coelho, Paul Bogdan, George J. Pappas
2016	C	`conf`	Multi-agent coordination with asynchronous cloud access. ACC Cameron Nowzari, George J. Pappas
2016	—	`conf`	Multi-owner multi-user privacy. CDC Fragkiskos Koufogiannis, George J. Pappas
2016	J	`jnl`	Myopic Policy Bounds for Information Acquisition POMDPs. CoRR Mikko Lauri, Nikolay Atanasov, George J. Pappas, Risto Ritala
2016	J	`jnl`	Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2016	—	`conf`	Near-optimal sensor scheduling for batch state estimation: Complexity, algorithms, and limits. CDC Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2016	A	`conf`	Online planning for energy-efficient and disturbance-aware UAV operations. IROS Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas
2016	A*	`conf`	Optimal temporal logic planning in probabilistic semantic maps. ICRA Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas
2016	—	`conf`	Privacy-aware quadratic optimization using partially homomorphic encryption. CDC Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada
2016	—	`conf`	Scalable lazy SMT-based motion planning. CDC Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2016	J	`jnl`	Scheduling Nonlinear Sensors for Stochastic Process Estimation. CoRR Vasileios Tzoumas, Nikolay A. Atanasov, Ali Jadbabaie, George J. Pappas
2016	—	`conf`	Self-triggered time-varying convex optimization. CDC Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado
2016	C	`conf`	Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms. ACC Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2016	J	`jnl`	State Estimation with Secrecy against Eavesdroppers. CoRR Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas
2016	—	`conf`	State-based communication design for wireless control systems. CDC Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2016	C	`conf`	Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics. ACC Sérgio Pequito, Ankit N. Khambhati, George J. Pappas, Dragoslav D. Siljak, Danielle S. Bassett, Brian Litt
2016	J	`jnl`	Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. IEEE Trans Autom. Sci. Eng. Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Desheng Zhang, Sirajum Munir, Hua Huang, Tian He, George J. Pappas
2016	J	`jnl`	Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. CoRR Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Hua Huang, Desheng Zhang, Sirajum Munir, Tian He, George J. Pappas
2015	—	`conf`	A general class of spreading processes with non-Markovian dynamics. CDC Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas
2015	—	`conf`	A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems. CDC Shuo Han, Ufuk Topcu, George J. Pappas
2015	C	`conf`	An approximately truthful mechanism for electric vehicle charging via joint differential privacy. ACC Shuo Han, Ufuk Topcu, George J. Pappas
2015	J	`jnl`	Analysis and Control of Epidemics: A survey of spreading processes on complex networks. CoRR Cameron Nowzari, Victor M. Preciado, George J. Pappas
2015	J	`jnl`	Analysis and Design of Secured/Resilient Closed-loop Control Systems. CoRR Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas
2015	—	`conf`	Attack-resilient state estimation in the presence of noise. CDC Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas
2015	Misc	`conf`	Automatic verification of linear controller software. EMSOFT Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
2015	J	`jnl`	Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks. CoRR Victor M. Preciado, Michael Zargham, Cameron Nowzari, Shuo Han, Masaki Ogura, George J. Pappas
2015	—	`ch.`	Connectivity of Dynamic Graphs. Encyclopedia of Systems and Control Michael M. Zavlanos, George J. Pappas
2015	—	`conf`	Control with random access wireless sensors. CDC Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2015	J	`jnl`	Data-Driven Network Resource Allocation for Controlling Spreading Processes. IEEE Trans. Netw. Sci. Eng. Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas
2015	A*	`conf`	Decentralized active information acquisition: Theory and application to multi-robot SLAM. ICRA Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas
2015	J	`jnl`	Diffusing Private Data over Networks. CoRR Fragkiskos Koufogiannis, George J. Pappas
2015	J	`jnl`	Distributed Resource Allocation for Epidemic control. CoRR Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas
2015	—	`conf`	Distributed leader selection. CDC Sérgio Pequito, Victor M. Preciado, George J. Pappas
2015	—	`conf`	Distributed resource allocation for control of spreading processes. ECC Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas
2015	—	`conf`	Embedding the Concurrent Autonomous Agent into a Humanoid Robot SyRoCo Augusto Loureiro da Costa, Diego Stéfano Fonseca Ferreira, André Gustavo Scolari Conceição, George J. Pappas
2015	J	`jnl`	Gradual Release of Sensitive Data under Differential Privacy. CoRR Fragkiskos Koufogiannis, Shuo Han, George J. Pappas
2015	J	`jnl`	Minimal Actuator Placement with Optimal Control Constraints. CoRR Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2015	J	`jnl`	Minimal Reachability Problems. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2015	C	`conf`	Minimal actuator placement with optimal control constraints. ACC Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2015	—	`conf`	Minimal reachability problems. CDC Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2015	C	`conf`	Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach. ACC Sérgio Daniel Pequito, Soummya Kar, George J. Pappas
2015	—	`conf`	Minimum number of probes for brain dynamics observability. CDC Sérgio Daniel Pequito, Paul Bogdan, George J. Pappas
2015	J	`jnl`	Opportunistic Control Over Shared Wireless Channels. IEEE Trans. Autom. Control. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2015	J	`jnl`	Optimal Temporal Logic Planning in Probabilistic Semantic Maps. CoRR Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas
2015	C	`conf`	Optimal resource allocation for competing epidemics over arbitrary networks. ACC Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas
2015	Misc	`conf`	Optimal resource allocation for containing epidemics on time-varying networks. ACSSC Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas
2015	J	`jnl`	Optimality of the Laplace Mechanism in Differential Privacy. CoRR Fragkiskos Koufogiannis, Shuo Han, George J. Pappas
2015	—	`conf`	Periodic event-triggered average consensus over directed graphs. CDC Xiangyu Meng, Lihua Xie, Yeng Chai Soh, Cameron Nowzari, George J. Pappas
2015	—	`conf`	Robust estimation using context-aware filtering. Allerton Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee
2015	—	`conf`	Robust taxi dispatch under model uncertainties. CDC Fei Miao, Shuo Han, Shan Lin, George J. Pappas
2015	J	`jnl`	Self-triggered Pursuit of a Single Evader with Uncertain Information. CoRR Saad A. Aleem, Cameron Nowzari, George J. Pappas
2015	—	`conf`	Self-triggered pursuit of a single evader. CDC Saad A. Aleem, Cameron Nowzari, George J. Pappas
2015	J	`jnl`	Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms. CoRR Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas
2015	—	`conf`	Smart building: a private cyber-physical system approach. SWEC@CPSWeek Sérgio Daniel Pequito, George J. Pappas
2015	J	`jnl`	Static Output Feedback: On Essential Feasible Information Patterns. CoRR J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas
2015	—	`conf`	Static output feedback: On essential feasible information patterns. CDC J. Frederico Carvalho, Sérgio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas
2015	J	`jnl`	Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems. CoRR Sérgio Daniel Pequito, George J. Pappas
2015	—	`conf`	Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach. ICCPS Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas
2015	C	`conf`	Team-triggered coordination of robotic networks for optimal deployment. ACC Cameron Nowzari, Jorge Cortés, George J. Pappas
2015	C	`conf`	Value of forecasts in planning under uncertainty. ACC Konstantinos Gatsis, Ufuk Topcu, George J. Pappas
2014	—	`conf`	Active Deformable Part Models Inference. ECCV (7) Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis
2014	J	`jnl`	Active Deformable Part Models. CoRR Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis
2014	A	`conf`	Attack resilient state estimation for autonomous robotic systems. IROS Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
2014	A	`conf`	Automated composition of motion primitives for multi-robot systems from safe LTL specifications. IROS Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
2014	—	`conf`	Coding sensor outputs for injection attacks detection. CDC Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2014	—	`conf`	Computation of privacy-preserving prices in smart grids. CDC Fragkiskos Koufogiannis, Shuo Han, George J. Pappas
2014	J	`jnl`	Controllability and Fraction of Leaders in Infinite Network. CoRR Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2014	—	`conf`	Controllability and fraction of leaders in infinite networks. CDC Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2014	J	`jnl`	Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks. CoRR Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas
2014	J	`jnl`	Differentially Private Convex Optimization with Piecewise Affine Objectives. CoRR Shuo Han, Ufuk Topcu, George J. Pappas
2014	J	`jnl`	Differentially Private Distributed Constrained Optimization. CoRR Shuo Han, Ufuk Topcu, George J. Pappas
2014	J	`jnl`	Differentially Private Filtering. IEEE Trans. Autom. Control. Jerome Le Ny, George J. Pappas
2014	—	`conf`	Differentially private convex optimization with piecewise affine objectives. CDC Shuo Han, Ufuk Topcu, George J. Pappas
2014	—	`conf`	Differentially private distributed protocol for electric vehicle charging. Allerton Shuo Han, Ufuk Topcu, George J. Pappas
2014	J	`jnl`	Discrete Abstraction of Stochastic Nonlinear Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Shun-ichi Azuma, George J. Pappas
2014	J	`jnl`	Guest Editorial Special Issue on Control of Cyber-Physical Systems. IEEE Trans. Autom. Control. Karl Henrik Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin
2014	A*	`conf`	Information acquisition with sensing robots: Algorithms and error bounds. ICRA Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas
2014	J	`jnl`	Joint Estimation and Localization in Sensor Networks. CoRR Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas
2014	—	`conf`	Joint estimation and localization in sensor networks. CDC Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas
2014	J	`jnl`	Minimal Actuator Placement with Bounds on Control Effort. CoRR Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie
2014	J	`jnl`	Nonmyopic View Planning for Active Object Classification and Pose Estimation. IEEE Trans. Robotics Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis
2014	—	`conf`	Opportunistic scheduling of control tasks over shared wireless channels. ICCPS Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2014	—	`conf`	Opportunistic sensor scheduling in wireless control systems. CDC Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2014	J	`jnl`	Optimal Power Management in Wireless Control Systems. IEEE Trans. Autom. Control. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2014	J	`jnl`	Optimal Resource Allocation for Network Protection Against Spreading Processes. IEEE Trans. Control. Netw. Syst. Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas
2014	—	`conf`	Real-time privacy-preserving model-based estimation of traffic flows. ICCPS Jerome Le Ny, Ahmed Touati, George J. Pappas
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	—	`conf`	Semantic Localization Via the Matrix Permanent. Robotics: Science and Systems Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas
2014	—	`conf`	Stability analysis of generalized epidemic models over directed networks. CDC Cameron Nowzari, Victor M. Preciado, George J. Pappas
2014	J	`jnl`	Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks. CoRR Nikolay Atanasov, Jerome Le Ny, George J. Pappas
2014	J	`jnl`	The Swarm at the Edge of the Cloud. IEEE Des. Test 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
2013	J	`jnl`	Adaptive Deployment of Mobile Robotic Networks. IEEE Trans. Autom. Control. Jerome Le Ny, George J. Pappas
2013	—	`conf`	Bio-inspired strategy for control of viral spreading in networks. HiCoNS Chinwendu Enyioha, Victor M. Preciado, George J. Pappas
2013	C	`conf`	Event-based Green scheduling of radiant systems in buildings. ACC Truong X. Nghiem, George J. Pappas, Rahul Mangharam
2013	A*	`conf`	Hypothesis testing framework for active object detection. ICRA Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, Thomas Koletschka, George J. Pappas, Kostas Daniilidis
2013	J	`jnl`	Information Acquisition with Sensing Robots: Algorithms and Error Bounds. CoRR Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas
2013	J	`jnl`	Network Integrity in Mobile Robotic Networks. IEEE Trans. Autom. Control. Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas
2013	C	`conf`	Networked realization of discrete-time controllers. ACC Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas
2013	J	`jnl`	Nonmyopic View Planning for Active Object Detection. CoRR Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis
2013	J	`jnl`	Optimal Resource Allocation for Network Protection: A Geometric Programming Approach. CoRR Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas
2013	J	`jnl`	Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks CoRR Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas
2013	C	`conf`	Optimal power management in wireless control systems. ACC Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas
2013	—	`conf`	Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks. CDC Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas
2013	—	`conf`	Power-aware communication for wireless sensor-actuator systems. CDC Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2013	—	`conf`	Privacy-preserving release of aggregate dynamic models. HiCoNS Jerome Le Ny, George J. Pappas
2013	—	`conf`	Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Stabilizability over deterministic relay networks. CDC Miroslav Pajic, Shreyas Sundaram, George J. Pappas
2013	—	`conf`	Stochastic game approach for replay attack detection. CDC Fei Miao, Miroslav Pajic, George J. Pappas
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	J	`jnl`	Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2012	J	`jnl`	A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Autom. Shreyas Sundaram, Shai Revzen, George J. Pappas
2012	J	`jnl`	Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems. IEEE J. Sel. Areas Commun. Jerome Le Ny, Alejandro Ribeiro, George J. Pappas
2012	C	`conf`	Adaptive communication-constrained deployment of mobile robotic networks. ACC Jerome Le Ny, Alejandro Ribeiro, George J. Pappas
2012	—	`ed.`	BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, Toronto, Canada, November 6, 2012 BuildSys@SenSys George J. Pappas
2012	—	`conf`	Closing the loop: a simple distributed method for control over wireless networks. IPSN Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2012	—	`conf`	Compositional safety analysis using barrier certificates. HSCC Christoffer Sloth, George J. Pappas, Rafael Wisniewski
2012	J	`jnl`	Differentially Private Filtering CoRR Jerome Le Ny, George J. Pappas
2012	J	`jnl`	Differentially Private Kalman Filtering CoRR Jerome Le Ny, George J. Pappas
2012	—	`conf`	Differentially private Kalman filtering. Allerton Conference Jerome Le Ny, George J. Pappas
2012	—	`conf`	Differentially private filtering. CDC Jerome Le Ny, George J. Pappas
2012	—	`conf`	Green scheduling for radiant systems in buildings. CDC Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2012	—	`conf`	HMM-based characterization of channel behavior for networked control systems. HiCoNS Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee
2012	—	`conf`	On the existence of compositional barrier certificates. CDC Christoffer Sloth, Rafael Wisniewski, George J. Pappas
2012	C	`conf`	Scalable scheduling of building control systems for peak demand reduction. ACC Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas
2012	A*	`conf`	Sequential composition of robust controller specifications. ICRA Jerome Le Ny, George J. Pappas
2012	J	`jnl`	Stochastic Source Seeking by Mobile Robots. IEEE Trans. Autom. Control. Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas
2012	A*	`conf`	Stochastic source seeking in complex environments. ICRA Nikolay Atanasov, Jerome Le Ny, Nathan Michael, George J. Pappas
2012	J	`jnl`	Time-Triggered Implementations of Dynamic Controllers. ACM Trans. Embed. Comput. Syst. Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2011	—	`conf`	A framework for integrating mobility and routing in mobile communication networks. ACSCC Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas
2011	J	`jnl`	Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. Eur. J. Control Antoine Girard, George J. Pappas
2011	—	`conf`	Architecture for a fully distributed Wireless Control Network. IPSN Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas
2011	J	`jnl`	Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2011	J	`jnl`	Graph-Theoretic Connectivity Control of Mobile Robot Networks. Proc. IEEE Michael M. Zavlanos, Magnus Egerstedt, George J. Pappas
2011	—	`conf`	Green scheduling of control systems for peak demand reduction. CDC/ECC Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas
2011	—	`conf`	Green scheduling: Scheduling of control systems for peak power reduction. IGCC Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011	J	`jnl`	Inferring stable genetic networks from steady-state data. Autom. Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
2011	J	`jnl`	Modeling, control and experimental characterization of microbiorobots. Int. J. Robotics Res. Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas
2011	—	`conf`	Network synthesis for dynamical system stabilization. ACSCC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	A	`conf`	On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011	C	`conf`	Receding-horizon supervisory control of green buildings. ACC Truong X. Nghiem, George J. Pappas
2011	—	`conf`	Reputation-based networked control with data-corrupting channels. HSCC Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas
2011	—	`conf`	Resource constrained LQR control under fast sampling. HSCC Jerome Le Ny, Eric Feron, George J. Pappas
2011	—	`conf`	Robot deployment with end-to-end communication constraints. CDC/ECC Jerome Le Ny, Alejandro Ribeiro, George J. Pappas
2011	J	`jnl`	The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	—	`conf`	Topological conditions for wireless control networks. CDC/ECC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	—	`conf`	Wireless control networks: modeling, synthesis, robustness, security. HSCC George J. Pappas
2011	A*	`conf`	Wireless manipulation of single cells using magnetic microtransporters. ICRA Mahmut Selman Sakar, Edward B. Steager, Anthony Cowley, Vijay Kumar, George J. Pappas
2010	A*	`conf`	A duality approach to path planning for multiple robots. ICRA Nader Motee, Ali Jadbabaie, George J. Pappas
2010	J	`jnl`	Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks CoRR Jerome Le Ny, George J. Pappas
2010	A*	`conf`	Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA Hadas Kress-Gazit, George J. Pappas
2010	A*	`conf`	Biosensing and actuation for microbiorobots. ICRA Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas
2010	C	`conf`	Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach. ACC Shun-ichi Azuma, George J. Pappas
2010	J	`jnl`	Distributed Control of the Laplacian Spectral Moments of a Network CoRR Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas
2010	C	`conf`	Distributed control of the Laplacian spectral moments of a network. ACC Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas
2010	J	`jnl`	Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics. Int. J. Robotics Res. Oussama Khatib, Vijay Kumar, George J. Pappas
2010	C	`conf`	Geometric programming and mechanism design for air traffic conflict resolution. ACC Jerome Le Ny, George J. Pappas
2010	—	`conf`	Mobility & routing control in networks of robots. CDC Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas
2010	—	`conf`	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
2010	—	`conf`	Nonholonomic source seeking in switching random fields. CDC Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas
2010	C	`conf`	Path planning for multiple robots: An alternative duality approach. ACC Nader Motee, Ali Jadbabaie, George J. Pappas
2010	—	`conf`	Robustness analysis for the certification of digital controller implementations. ICCPS Jerome Le Ny, George J. Pappas
2010	—	`conf`	Sensor-based robot deployment algorithms. CDC Jerome Le Ny, George J. Pappas
2010	—	`conf`	The Wireless Control Network: Synthesis and robustness. CDC Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2010	—	`conf`	The wireless control network: Monitoring for malicious behavior. CDC Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas
2009	—	`conf`	3D segmentation of rodent brains using deformable models and variational methods. CVPR Workshops 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
2009	C	`conf`	A distributed dynamical scheme for fastest mixing Markov chains. ACC Michael M. Zavlanos, Daniel E. Koditschek, George J. Pappas
2009	J	`jnl`	Approximate equivalence and synchronization of metric transition systems. Syst. Control. Lett. A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas
2009	—	`conf`	Approximations of Discrete, Continuous, and Hybrid Systems. FORMATS George J. Pappas
2009	J	`jnl`	Approximations of Stochastic Hybrid Systems. IEEE Trans. Autom. Control. A. Agung Julius, George J. Pappas
2009	—	`ed.`	Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece ISER Oussama Khatib, Vijay Kumar, George J. Pappas
2009	A*	`conf`	Harnessing bacterial power in microscale actuation. ICRA A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas
2009	J	`jnl`	Hierarchical control system design using approximate simulation. Autom. Antoine Girard, George J. Pappas
2009	J	`jnl`	Hybrid Control for Connectivity Preserving Flocking. IEEE Trans. Autom. Control. Michael M. Zavlanos, Herbert G. Tanner, Ali Jadbabaie, George J. Pappas
2009	C	`conf`	MTL robust testing and verification for LPV systems. ACC Georgios E. Fainekos, George J. Pappas
2009	A	`conf`	Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2009	A*	`conf`	Multi-vehicle path planning in dynamically changing environments. ICRA Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George J. Pappas
2009	—	`conf`	On trajectory optimization for active sensing in Gaussian process models. CDC Jerome Le Ny, George J. Pappas
2009	—	`conf`	Resource allocation for signal detection with active sensors. CDC Jerome Le Ny, Michael M. Zavlanos, George J. Pappas
2009	—	`conf`	Robust stability of multi-hop control networks. CDC Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas
2009	J	`jnl`	Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. Georgios E. Fainekos, George J. Pappas
2009	—	`conf`	Scalable scheduling algorithms for wireless networked control systems. CASE Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas
2009	—	`conf`	Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method. ISBI Jinghao Zhou, Sukmoon Chang, Shaoting Zhang, George J. Pappas, Michael Michaelides, Foteini Delis, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas
2009	J	`jnl`	Temporal logic motion planning for dynamic robots. Autom. Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas
2009	J	`jnl`	Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2009	—	`conf`	Trajectory Based Verification Using Local Finite-Time Invariance. HSCC A. Agung Julius, George J. Pappas
2009	J	`jnl`	Vision-Based Localization for Leader-Follower Formation Control. IEEE Trans. Robotics Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, Nicholas Vander Valk, Nathan Michael, George J. Pappas, Kostas Daniilidis
2008	—	`conf`	A distributed auction algorithm for the assignment problem. CDC Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas
2008	J	`jnl`	A dynamical systems approach to weighted graph matching. Autom. Michael M. Zavlanos, George J. Pappas
2008	—	`conf`	A novel learning based segmentation method for rodent brain structures using MRI. ISBI Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas
2008	J	`jnl`	Approximate Simulation Relations for Hybrid Systems. Discret. Event Dyn. Syst. Antoine Girard, A. Agung Julius, George J. Pappas
2008	J	`jnl`	Approximate reduction of dynamic systems. Syst. Control. Lett. Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas
2008	—	`conf`	Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. CASE Hadas Kress-Gazit, George J. Pappas
2008	J	`jnl`	Courteous Cars. IEEE Robotics Autom. Mag. Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, George J. Pappas
2008	J	`jnl`	Distributed Connectivity Control of Mobile Networks. IEEE Trans. Robotics Michael M. Zavlanos, George J. Pappas
2008	A*	`conf`	Distributed multi-robot task assignment and formation control. ICRA Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas
2008	C	`conf`	Distributed topology control of dynamic networks. ACC Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, George J. Pappas
2008	J	`jnl`	Dynamic Assignment in Distributed Motion Planning With Local Coordination. IEEE Trans. Robotics Michael M. Zavlanos, George J. Pappas
2008	C	`conf`	Elastic multi-particle systems for bounded-curvature path planning. ACC Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, Vijay Kumar
2008	C	`conf`	Identification of stable genetic networks using convex programming. ACC Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
2008	J	`jnl`	Introduction. Formal Methods Syst. Des. Rajeev Alur, George J. Pappas
2008	—	`conf`	Maintaining Connectivity in Mobile Robot Networks. ISER Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas
2008	—	`conf`	Metabolic networks analysis using convex optimization. CDC A. Agung Julius, Marcin Imielinski, George J. Pappas
2008	—	`conf`	Probabilistic testing for stochastic hybrid systems. CDC A. Agung Julius, George J. Pappas
2008	—	`conf`	Recycling controllers. CASE Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar
2008	J	`jnl`	Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. IEEE Trans. Autom. Control. A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar, George J. Pappas
2008	J	`jnl`	Translating Structured English to Robot Controllers. Adv. Robotics Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2007	J	`jnl`	A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Trans. Autom. Control. Stephen Prajna, Ali Jadbabaie, George J. Pappas
2007	J	`jnl`	Approximate bisimulation relations for constrained linear systems. Autom. Antoine Girard, George J. Pappas
2007	—	`conf`	Approximate hierarchies of linear control systems. CDC Antoine Girard, George J. Pappas
2007	—	`conf`	Approximate timed abstractions of hybrid automata. CDC Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas
2007	J	`jnl`	Approximation Metrics for Discrete and Continuous Systems. IEEE Trans. Autom. Control. Antoine Girard, George J. Pappas
2007	C	`conf`	Controlling biological systems: the lactose regulation system of Escherichia coli. ACC A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
2007	A*	`conf`	Decidability of Motion Planning with Differential Constraints. ICRA Peng Cheng, George J. Pappas, Vijay Kumar
2007	—	`conf`	Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. HSCC Michael M. Zavlanos, George J. Pappas
2007	—	`conf`	Distributed connectivity control of mobile networks. CDC Michael M. Zavlanos, George J. Pappas
2007	—	`conf`	Distributed formation control with permutation symmetries. CDC Michael M. Zavlanos, George J. Pappas
2007	C	`conf`	Dynamic Assignment in Distributed Motion Planning with Limited Information. ACC Michael M. Zavlanos, George J. Pappas
2007	J	`jnl`	Flocking in Fixed and Switching Networks. IEEE Trans. Autom. Control. Herbert G. Tanner, Ali Jadbabaie, George J. Pappas
2007	—	`conf`	Flocking while preserving network connectivity. CDC Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas
2007	A	`conf`	From structured english to robot motion. IROS Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2007	—	`conf`	Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC Georgios E. Fainekos, Antoine Girard, George J. Pappas
2007	—	`conf`	Hybrid model predictive control of induction of Escherichia coli. CDC A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas
2007	A*	`conf`	Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. ICRA Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis
2007	J	`jnl`	Potential Fields for Maintaining Connectivity of Mobile Networks. IEEE Trans. Robotics Michael M. Zavlanos, George J. Pappas
2007	—	`conf`	Robust Sampling for MITL Specifications. FORMATS Georgios E. Fainekos, George J. Pappas
2007	—	`conf`	Robust Test Generation and Coverage for Hybrid Systems. HSCC A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
2007	A*	`conf`	Sensor-Based Dynamic Assignment in Distributed Motion Planning. ICRA Michael M. Zavlanos, George J. Pappas
2007	—	`conf`	Stable multi-particle systems and application in multi-vehicle path planning and coverage. CDC Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas
2007	J	`jnl`	Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robotics Autom. Mag. Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas
2007	A	`conf`	Valet parking without a valet. IROS David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas
2007	—	`conf`	Verification of temporal properties on hybrid automata by simulation relations. CDC Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, Stefano Di Gennaro
2007	A*	`conf`	Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2006	—	`conf`	A Dynamical Systems Approach to Weighted Graph Matching. CDC Michael M. Zavlanos, George J. Pappas
2006	—	`conf`	An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. ISER Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar
2006	—	`conf`	Approximate Reduction of Dynamical Systems. CDC Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas
2006	C	`conf`	Approximate bisimulation for a class of stochastic hybrid systems. ACC A. Agung Julius, Antoine Girard, George J. Pappas
2006	—	`conf`	Approximate equivalence and approximate synchronization of metric transition systems. CDC A. Agung Julius, George J. Pappas
2006	—	`conf`	Approximate simulation Relations for Hybrid Systems. ADHS Antoine Girard, A. Agung Julius, George J. Pappas
2006	J	`jnl`	Cooperative air and ground surveillance. IEEE Robotics Autom. Mag. Ben Grocholsky, James Keller, Vijay Kumar, George J. Pappas
2006	J	`jnl`	Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Autom. Paulo Tabuada, George J. Pappas
2006	—	`conf`	Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli. CDC A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
2006	—	`conf`	Hierarchical Control using Approximate Simulation Relations. CDC Antoine Girard, George J. Pappas
2006	J	`jnl`	High-Confidence Medical Device Software and Systems. Computer Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
2006	J	`jnl`	Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. Autom. Control. Paulo Tabuada, George J. Pappas
2006	—	`conf`	Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications. CDC Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas
2006	—	`conf`	R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
2006	—	`conf`	Robustness of Temporal Logic Specifications. FATES/RV Georgios E. Fainekos, George J. Pappas
2006	—	`conf`	Temporal Logic Verification Using Simulation. FORMATS Georgios E. Fainekos, Antoine Girard, George J. Pappas
2006	Misc	`conf`	Time-triggered implementations of dynamic controllers. EMSOFT Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2006	—	`conf`	Translating Temporal Logic to Controller Specifications. CDC Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas
2006	—	`conf`	Verification Using Simulation. HSCC Antoine Girard, George J. Pappas
2005	—	`conf`	Approximate Bisimulations for Constrained Linear Systems. CDC/ECC Antoine Girard, George J. Pappas
2005	—	`conf`	Approximate Bisimulations for Nonlinear Dynamical Systems. CDC/ECC Antoine Girard, George J. Pappas
2005	J	`jnl`	Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2005	—	`conf`	Bounded Model Checking of Hybrid Dynamical Systems. CDC/ECC Nicolò Giorgetti, George J. Pappas, Alberto Bemporad
2005	—	`conf`	Controlling Connectivity of Dynamic Graphs. CDC/ECC Michael M. Zavlanos, George J. Pappas
2005	J	`jnl`	Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Trans. Robotics Calin Belta, Volkan Isler, George J. Pappas
2005	J	`jnl`	Hierarchical trajectory refinement for a class of nonlinear systems. Autom. Paulo Tabuada, George J. Pappas
2005	—	`conf`	Hybrid Controllers for Path Planning: A Temporal Logic Approach. CDC/ECC Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
2005	A*	`conf`	Information Driven Coordinated Air-Ground Proactive Sensing. ICRA Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, George J. Pappas
2005	J	`jnl`	Motion feasibility of multi-agent formations. IEEE Trans. Robotics Paulo Tabuada, George J. Pappas, Pedro U. Lima
2005	—	`conf`	Observability of Switched Linear Systems in Continuous Time. HSCC Mohamed Babaali, George J. Pappas
2005	A	`conf`	Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
2005	J	`jnl`	Quotients of Fully Nonlinear Control Systems. SIAM J. Control. Optim. Paulo Tabuada, George J. Pappas
2005	A*	`conf`	Temporal Logic Motion Planning for Mobile Robots. ICRA Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
2005	—	`conf`	Vision-based Localization of Leader-Follower Formations. CDC/ECC Gian Luca Mariottini, George J. Pappas, Domenico Prattichizzo, Kostas Daniilidis
2004	J	`jnl`	Bisimilar control affine systems. Syst. Control. Lett. Paulo Tabuada, George J. Pappas
2004	J	`jnl`	Compositional Abstractions of Hybrid Control Systems. Discret. Event Dyn. Syst. Paulo Tabuada, George J. Pappas, Pedro U. Lima
2004	—	`conf`	Experimental cooperative control of fixed-wing unmanned aerial vehicles. CDC Selcuk Bayraktar, Georgios E. Fainekos, George J. Pappas
2004	C	`conf`	Geometric programming relaxations for linear system reachability. ACC Hakan Yazarel, George J. Pappas
2004	—	`ed.`	Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings HSCC Rajeev Alur, George J. Pappas
2004	A	`conf`	Hybrid control for visibility-based pursuit-evasion games. IROS Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas
2004	J	`jnl`	Leader-to-formation stability. IEEE Trans. Robotics Herbert G. Tanner, George J. Pappas, Vijay Kumar
2004	J	`jnl`	Optimal paths in weighted timed automata. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, George J. Pappas
2004	—	`conf`	Stochastic safety verification using barrier certificates. CDC Stephen Prajna, Ali Jadbabaie, George J. Pappas
2004	—	`conf`	Synergies in Feature Localization by Air-Ground Robot Teams. ISER Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas
2003	J	`jnl`	Abstractions of Hamiltonian control systems. Autom. Paulo Tabuada, George J. Pappas
2003	C	`conf`	Abstractions of constrained linear systems. ACC Herbert G. Tanner, George J. Pappas
2003	J	`jnl`	Bisimilar linear systems. Autom. George J. Pappas
2003	—	`conf`	Finite bisimulations of controllable linear systems. CDC Paulo Tabuada, George J. Pappas
2003	—	`conf`	From discrete specifications to hybrid control. CDC Paulo Tabuada, George J. Pappas
2003	J	`jnl`	From nonlinear to Hamiltonian via feedback. IEEE Trans. Autom. Control. Paulo Tabuada, George J. Pappas
2003	J	`jnl`	Hierarchical modeling and analysis of embedded systems. Proc. IEEE Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2003	—	`conf`	Hierarchical trajectory generation for a class of nonlinear systems. CDC Paulo Tabuada, George J. Pappas
2003	—	`conf`	Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC Paulo Tabuada, George J. Pappas
2003	—	`conf`	Stable flocking of mobile agents part I: dynamic topology. CDC Herbert G. Tanner, Ali Jadbabaie, George J. Pappas
2003	—	`conf`	Stable flocking of mobile agents, part I: fixed topology. CDC Herbert G. Tanner, Ali Jadbabaie, George J. Pappas
2002	J	`jnl`	A Framework and Architecture for Multi-Robot Coordination. Int. J. Robotics Res. 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
2002	—	`conf`	Bisimilar control affine systems. CDC Paulo Tabuada, George J. Pappas
2002	—	`conf`	Bisimulation Relations for Dynamical and Control Systems. CTCS Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2002	—	`conf`	Composing Abstractions of Hybrid Systems. HSCC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2002	J	`jnl`	Consistent abstractions of affine control systems. IEEE Trans. Autom. Control. George J. Pappas, Slobodan Simic
2002	—	`conf`	Coordinated perception by teams of aerial and ground robots. Mobile Robots Benjamin Grocholsky, Rahul Swaminathan, Vijay Kumar, Camillo J. Taylor, George J. Pappas
2002	—	`conf`	Discrete synchronization of hybrid systems. CDC Paulo Tabuada, George J. Pappas
2002	C	`conf`	Flying hot potatoes [air traffic management]. ACC Pradyumna Mishra, George J. Pappas
2002	—	`conf`	From nonlinear to Hamiltonian via feedback. CDC Paulo Tabuada, George J. Pappas
2002	—	`conf`	Input-to-state stability on formation graphs. CDC Herbert G. Tanner, George J. Pappas, Vijay Kumar
2002	J	`jnl`	Modeling and analyzing biomolecular networks. Comput. Sci. Eng. Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug
2002	A*	`conf`	The Effect of Feedback and Feedforward on Formation ISS. ICRA Herbert G. Tanner, Vijay Kumar, George J. Pappas
2001	—	`conf`	Abstractions of Hamiltonian control systems. CDC Paulo Tabuada, George J. Pappas
2001	—	`conf`	Accurate Event Detection for Simulating Hybrid Systems. HSCC Joel M. Esposito, Vijay Kumar, George J. Pappas
2001	—	`conf`	Compositional abstractions of hybrid control systems. CDC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	—	`conf`	Cyclic directed formations of multi-agent systems. ECC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	C	`conf`	Feasible formations of multi-agent systems. ACC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	—	`conf`	Greedy control for hybrid pursuit games. ECC Maria Prandini, João P. Hespanha, George J. Pappas
2001	Misc	`conf`	Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2001	—	`conf`	Hierarchies of stabilizability preserving linear systems. CDC George J. Pappas, Gerardo Lafferriere
2001	—	`conf`	Hybrid Abstractions that Preserve Timed Languages. HSCC Paulo Tabuada, George J. Pappas
2001	—	`conf`	Hybrid Systems Applications: An Oxymoron? HSCC 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
2001	—	`conf`	Hybrid abstractions: A search and rescue case study. ECC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	—	`conf`	Mode Switching Synthesis for Reachability Specifications. HSCC Tak-John Koo, George J. Pappas, Shankar Sastry
2001	—	`conf`	Multi-agent hybrid system simulation. CDC Joel M. Esposito, Vijay Kumar, George J. Pappas
2001	—	`conf`	Multi-modal control of systems with constraints. CDC Tak-John Koo, George J. Pappas, Shankar Sastry
2001	—	`conf`	Optimal Paths in Weighted Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, George J. Pappas
2001	—	`conf`	Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC Omid Shakernia, George J. Pappas, Shankar Sastry
2001	—	`conf`	Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap
2001	J	`jnl`	Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
2000	—	`conf`	A Framework and Architecture for Multirobot Coordination. ISER 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
2000	—	`conf`	Consistent hierarchies of nonlinear abstractions. CDC George J. Pappas, Wanquan N. Simic
2000	—	`conf`	Decidable Controller Synthesis for Classes of Linear Systems. HSCC Omid Shakernia, Shankar Sastry, George J. Pappas
2000	J	`jnl`	Discrete abstractions of hybrid systems. Proc. IEEE Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas
2000	J	`jnl`	Hierarchically consistent control systems. IEEE Trans. Autom. Control. George J. Pappas, Gerardo Lafferriere, Shankar Sastry
2000	J	`jnl`	O-Minimal Hybrid Systems. Math. Control. Signals Syst. Gerardo Lafferriere, George J. Pappas, Shankar Sastry
2000	—	`conf`	Semidecidable controller synthesis for classes of linear hybrid systems. CDC Omid Shakernia, George J. Pappas, Shankar Sastry
1999	—	`conf`	A New Class of Decidable Hybrid Systems. HSCC Gerardo Lafferriere, George J. Pappas, Sergio Yovine
1998	—	`conf`	An Approach to the Verification of the Center-TRACON Automation System. HSCC John Lygeros, George J. Pappas, Shankar Sastry
1998	J	`jnl`	Conflict resolution for air traffic management: a study in multiagent hybrid systems. IEEE Trans. Autom. Control. Claire J. Tomlin, George J. Pappas, Shankar Sastry
1998	—	`conf`	Subanalytic Stratifications and Bisimulations. HSCC Gerardo Lafferriere, George J. Pappas, Shankar Sastry
1997	A	`conf`	Generation of conflict resolution manoeuvres for air traffic management. IROS Jana Kosecka, Claire J. Tomlin, George J. Pappas, Shankar Sastry
1997	—	`conf`	Hybrid Systems with Finite Bisimulations. Hybrid Systems Gerardo Lafferriere, George J. Pappas, Shankar Sastry
1997	Misc	`conf`	SmartATMS: A Simulator for Air Traffic Management Systems. WSC Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire J. Tomlin
1996	—	`conf`	Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems Claire J. Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry
1996	—	`conf`	Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems George J. Pappas, Shankar Sastry
1993	J	`jnl`	Robust stability of linear systems described by higher-order dynamic equations. IEEE Trans. Autom. Control. George J. Pappas, Diederich Hinrichsen