default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge J. Pappas
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
- award (2002): Presidential Early Career Award for Scientists and Engineers
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j142]Anastasios Tsiamis, Dionysis Kalogerias, Alejandro Ribeiro, George J. Pappas:
Linear quadratic control with risk constraints. Autom. 174: 112095 (2025)- [c392]Sifan Wang, Jacob H. Seidman, Shyam Sankaran, Hanwen Wang, George J. Pappas, Paris Perdikaris:
CViT: Continuous Vision Transformer for Operator Learning. ICLR 2025 - [i204]Nikolaos Bousias, Stefanos Pertigkiozoglou, Kostas Daniilidis, George J. Pappas:
Symmetries-enhanced Multi-Agent Reinforcement Learning. CoRR abs/2501.01136 (2025) - [i203]Mahdi Sabbaghi, Paul Kassianik, George J. Pappas, Yaron Singer, Amin Karbasi, Hamed Hassani:
Adversarial Reasoning at Jailbreaking Time. CoRR abs/2502.01633 (2025) - [i202]Shayan Kiyani, George J. Pappas, Aaron Roth, Hamed Hassani:
Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents. CoRR abs/2502.02561 (2025) - [i201]Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas:
Domain Randomization is Sample Efficient for Linear Quadratic Control. CoRR abs/2502.12310 (2025) - [i200]Sunay Joshi, Shayan Kiyani, George J. Pappas, Edgar Dobriban, Hamed Hassani:
Likelihood-Ratio Regularized Quantile Regression: Adapting Conformal Prediction to High-Dimensional Covariate Shifts. CoRR abs/2502.13030 (2025) - [i199]Zachary Ravichandran, Alexander Robey, Vijay Kumar, George J. Pappas, Hamed Hassani:
Safety Guardrails for LLM-Enabled Robots. CoRR abs/2503.07885 (2025) - [i198]Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas:
Policy Gradient for LQR with Domain Randomization. CoRR abs/2503.24371 (2025) - 2024
- [j141]Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson:
Federated TD Learning with Linear Function Approximation under Environmental Heterogeneity. Trans. Mach. Learn. Res. 2024 (2024) - [j140]Aritra Mitra, George J. Pappas, Hamed Hassani:
Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning. Trans. Mach. Learn. Res. 2024 (2024) - [c391]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992 - [c390]Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev R. Kulkarni, H. Vincent Poor, George J. Pappas, Hamed Hassani, Aritra Mitra:
Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling. AISTATS 2024: 2746-2754 - [c389]Nicolò Dal Fabbro
, Arman Adibi, Aritra Mitra, George J. Pappas:
Finite- Time Analysis of Asynchronous Multi-Agent TD Learning. ACC 2024: 2090-2097 - [c388]Charis J. Stamouli, Evangelos Chatzipantazis, George J. Pappas:
Structural Risk Minimization for Learning Nonlinear Dynamics. ACC 2024: 2897-2904 - [c387]Yuqing Zhang, Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions. CDC 2024: 1599-1606 - [c386]Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni:
Active Learning for Control-Oriented Identification of Nonlinear Systems. CDC 2024: 3011-3018 - [c385]Nicolò Dal Fabbro, Arman Adibi, H. Vincent Poor, Sanjeev R. Kulkarni, Aritra Mitra, George J. Pappas:
DASA: Delay-Adaptive Multi-Agent Stochastic Approximation. CDC 2024: 3889-3896 - [c384]Orlando Romero, Mouhacine Benosman, George J. Pappas:
From Convexity to Strong Convexity and Beyond: Bridging The Gap In Convergence Rates. CDC 2024: 5484-5489 - [c383]Charis J. Stamouli, Ingvar M. Ziemann, George J. Pappas:
Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method. CDC 2024: 5723-5730 - [c382]Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher:
Adversarial Training Should Be Cast as a Non-Zero-Sum Game. ICLR 2024 - [c381]Shayan Kiyani, George J. Pappas, Hamed Hassani:
Conformal Prediction with Learned Features. ICML 2024 - [c380]Thomas T. C. K. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni:
Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples. ICML 2024 - [c379]Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni:
Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss. ICML 2024 - [c378]Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Maria-Elizabeth Tzes, George J. Pappas, Nikolay Atanasov:
Optimal Scene Graph Planning with Large Language Model Guidance. ICRA 2024: 14062-14069 - [c377]Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas:
Uncertainty quantification and robustification of model-based controllers using conformal prediction. L4DC 2024: 528-540 - [c376]Charis J. Stamouli, Lars Lindemann, George J. Pappas:
Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. L4DC 2024: 1330-1342 - [c375]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC 2024: 1343-1356 - [c374]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:
JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models. NeurIPS 2024 - [c373]Shayan Kiyani, George J. Pappas, Hamed Hassani:
Length Optimization in Conformal Prediction. NeurIPS 2024 - [i197]Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni:
Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss. CoRR abs/2402.05928 (2024) - [i196]Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev R. Kulkarni, H. Vincent Poor, George J. Pappas, Hamed Hassani, Aritra Mitra:
Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling. CoRR abs/2402.11800 (2024) - [i195]Jiabao Ji, Bairu Hou, Alexander Robey, George J. Pappas, Hamed Hassani, Yang Zhang, Eric Wong, Shiyu Chang:
Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing. CoRR abs/2402.16192 (2024) - [i194]Nicolò Dal Fabbro, Arman Adibi, H. Vincent Poor, Sanjeev R. Kulkarni, Aritra Mitra, George J. Pappas:
DASA: Delay-Adaptive Multi-Agent Stochastic Approximation. CoRR abs/2403.17247 (2024) - [i193]Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick:
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR abs/2403.18972 (2024) - [i192]Yutong He, Alexander Robey, Naoki Murata, Yiding Jiang, Joshua Williams, George J. Pappas, Hamed Hassani, Yuki Mitsufuji, Ruslan Salakhutdinov, J. Zico Kolter:
Automated Black-box Prompt Engineering for Personalized Text-to-Image Generation. CoRR abs/2403.19103 (2024) - [i191]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:
JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models. CoRR abs/2404.01318 (2024) - [i190]Charis J. Stamouli, Ingvar M. Ziemann, George J. Pappas:
Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method. CoRR abs/2404.07937 (2024) - [i189]Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni:
Active Learning for Control-Oriented Identification of Nonlinear Systems. CoRR abs/2404.09030 (2024) - [i188]Shayan Kiyani, George J. Pappas, Hamed Hassani:
Conformal Prediction with Learned Features. CoRR abs/2404.17487 (2024) - [i187]Charis J. Stamouli, Lars Lindemann, George J. Pappas:
Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees. CoRR abs/2405.10875 (2024) - [i186]Sifan Wang, Jacob H. Seidman, Shyam Sankaran, Hanwen Wang, George J. Pappas, Paris Perdikaris:
Bridging Operator Learning and Conditioned Neural Fields: A Unifying Perspective. CoRR abs/2405.13998 (2024) - [i185]Mahdi Sabbaghi, George J. Pappas, Hamed Hassani, Surbhi Goel:
Explicitly Encoding Structural Symmetry is Key to Length Generalization in Arithmetic Tasks. CoRR abs/2406.01895 (2024) - [i184]Shayan Kiyani, George J. Pappas, Hamed Hassani:
Length Optimization in Conformal Prediction. CoRR abs/2406.18814 (2024) - [i183]Zhixian Xie, Wenlong Zhang, Yi Ren, Zhaoran Wang, George J. Pappas, Wanxin Jin:
Safe MPC Alignment with Human Directional Feedback. CoRR abs/2407.04216 (2024) - [i182]Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas:
Finite-Time Analysis of Asynchronous Multi-Agent TD Learning. CoRR abs/2407.20441 (2024) - [i181]Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh:
Formal Verification and Control with Conformal Prediction. CoRR abs/2409.00536 (2024) - [i180]Ingvar M. Ziemann, Nikolai Matni, George J. Pappas:
State space models, emergence, and ergodicity: How many parameters are needed for stable predictions? CoRR abs/2409.13421 (2024) - [i179]Zachary Ravichandran, Varun Murali, Mariliza Tzes, George J. Pappas, Vijay Kumar:
SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments. CoRR abs/2410.03035 (2024) - [i178]Kong Yao Chee, Pei-An Hsieh, George J. Pappas, M. Ani Hsieh:
Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control. CoRR abs/2410.09727 (2024) - [i177]Thomas T. Zhang, Bruce D. Lee, Ingvar M. Ziemann, George J. Pappas, Nikolai Matni:
Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples. CoRR abs/2410.11227 (2024) - [i176]Alexander Robey, Zachary Ravichandran, Vijay Kumar, Hamed Hassani, George J. Pappas:
Jailbreaking LLM-Controlled Robots. CoRR abs/2410.13691 (2024) - [i175]Sima Noorani, Orlando Romero, Nicolò Dal Fabbro, Hamed Hassani, George J. Pappas:
Conformal Risk Minimization with Variance Reduction. CoRR abs/2411.01696 (2024) - [i174]Hanwen Cao, George J. Pappas, Nikolay Atanasov:
PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking. CoRR abs/2411.06378 (2024) - [i173]Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam:
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. CoRR abs/2412.01656 (2024) - 2023
- [j139]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Combined Left and Right Temporal Robustness for Control Under STL Specifications. IEEE Control. Syst. Lett. 7: 619-624 (2023) - [j138]Nicolò Dal Fabbro, Aritra Mitra, George J. Pappas:
Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling. IEEE Control. Syst. Lett. 7: 2461-2466 (2023) - [j137]Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas:
Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. 8(8): 5116-5123 (2023) - [j136]Anastasios Tsiamis, George J. Pappas:
Online Learning of the Kalman Filter With Logarithmic Regret. IEEE Trans. Autom. Control. 68(5): 2774-2789 (2023) - [j135]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. 22(1): 13:1-13:44 (2023) - [j134]Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas:
Risk of Stochastic Systems for Temporal Logic Specifications. ACM Trans. Embed. Comput. Syst. 22(3): 54:1-54:31 (2023) - [j133]Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin:
: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events. IEEE Trans. Mob. Comput. 22(2): 906-922 (2023) - [j132]Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How:
Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams. IEEE Trans. Robotics 39(4): 2585-2602 (2023) - [c372]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. Allerton 2023: 1 - [c371]Austin K. Chen, Bryce L. Ferguson, Daigo Shishika, Michael R. Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar:
Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information. ACC 2023: 447-453 - [c370]Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro:
Navigation with Shadow Prices to Optimize Multi-Commodity Flow Rates. CDC 2023: 253-258 - [c369]Kong Yao Chee, M. Ani Hsieh, George J. Pappas:
Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction. CDC 2023: 342-349 - [c368]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC 2023: 6072-6078 - [c367]Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas:
Safety Filter Design for Neural Network Systems via Convex Optimization. CDC 2023: 6356-6363 - [c366]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Resilient Temporal Logic Planning in the Presence of Robot Failures. CDC 2023: 7520-7526 - [c365]Ingvar M. Ziemann, Anastasios Tsiamis, Bruce D. Lee, Yassir Jedra, Nikolai Matni, George J. Pappas:
A Tutorial on the Non-Asymptotic Theory of System Identification. CDC 2023: 8921-8939 - [c364]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. ICCPS 2023: 142-153 - [c363]Jacob H. Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris:
Variational Autoencoding Neural Operators. ICML 2023: 30491-30522 - [c362]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Multi-Robot Mission Planning in Dynamic Semantic Environments. ICRA 2023: 1630-1637 - [c361]Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas:
Graph Neural Networks for Multi-Robot Active Information Acquisition. ICRA 2023: 3497-3503 - [c360]Matthew Malencia, George J. Pappas, Vijay Kumar:
Socially Fair Coverage Control. ICRA 2023: 7656-7662 - [c359]Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar:
Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles. IROS 2023: 3048-3055 - [c358]Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas:
Enhancing Sample Efficiency and Uncertainty Compensation in Learning-Based Model Predictive Control for Aerial Robots. IROS 2023: 9435-9441 - [c357]Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick:
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC 2023: 300-314 - [c356]Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab:
Certified Invertibility in Neural Networks via Mixed-Integer Programming. L4DC 2023: 483-496 - [c355]Thomas Beckers, Qirui Wu, George J. Pappas:
Physics-enhanced Gaussian Process Variational Autoencoder. L4DC 2023: 521-533 - [c354]Aritra Mitra, Hamed Hassani, George J. Pappas:
Linear Stochastic Bandits over a Bit-Constrained Channel. L4DC 2023: 1387-1399 - [c353]Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni:
The noise level in linear regression with dependent data. NeurIPS 2023 - [c352]Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar:
Active Collaborative Localization in Heterogeneous Robot Teams. Robotics: Science and Systems 2023 - [c351]Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett:
Toward Certified Robustness Against Real-World Distribution Shifts. SaTML 2023: 537-553 - [e6]Nikolai Matni, Manfred Morari, George J. Pappas:
Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Proceedings of Machine Learning Research 211, PMLR 2023 [contents] - [i172]Aritra Mitra, George J. Pappas, Hamed Hassani:
Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning. CoRR abs/2301.00944 (2023) - [i171]Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab:
Certified Invertibility in Neural Networks via Mixed-Integer Programming. CoRR abs/2301.11783 (2023) - [i170]Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson:
Federated Temporal Difference Learning with Linear Function Approximation under Environmental Heterogeneity. CoRR abs/2302.02212 (2023) - [i169]Jacob H. Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris:
Variational Autoencoding Neural Operators. CoRR abs/2302.10351 (2023) - [i168]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR abs/2304.00194 (2023) - [i167]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR abs/2304.01075 (2023) - [i166]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Resilient Temporal Logic Planning in the Presence of Robot Failures. CoRR abs/2305.05485 (2023) - [i165]Nicolò Dal Fabbro, Aritra Mitra, George J. Pappas:
Federated TD Learning over Finite-Rate Erasure Channels: Linear Speedup under Markovian Sampling. CoRR abs/2305.08104 (2023) - [i164]Thomas Beckers, Qirui Wu, George J. Pappas:
Physics-enhanced Gaussian Process Variational Autoencoder. CoRR abs/2305.09006 (2023) - [i163]Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas:
Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior. CoRR abs/2305.09017 (2023) - [i162]Thomas Beckers, Tom Z. Jiahao, George J. Pappas:
Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification. CoRR abs/2305.09689 (2023) - [i161]Ingvar M. Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni:
The noise level in linear regression with dependent data. CoRR abs/2305.11165 (2023) - [i160]Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar:
Active Collaborative Localization in Heterogeneous Robot Teams. CoRR abs/2305.18193 (2023) - [i159]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Combined Left and Right Temporal Robustness for Control under STL Specifications. CoRR abs/2306.04936 (2023) - [i158]Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher:
Adversarial Training Should Be Cast as a Non-Zero-Sum Game. CoRR abs/2306.11035 (2023) - [i157]Kong Yao Chee, Thales C. Silva, M. Ani Hsieh, George J. Pappas:
Enhancing Sample Efficiency and Uncertainty Compensation in Learning-based Model Predictive Control for Aerial Robots. CoRR abs/2308.00570 (2023) - [i156]Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar:
Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles. CoRR abs/2308.06658 (2023) - [i155]Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas:
Safety Filter Design for Neural Network Systems via Convex Optimization. CoRR abs/2308.08086 (2023) - [i154]Ingvar M. Ziemann, Anastasios Tsiamis, Bruce D. Lee, Yassir Jedra, Nikolai Matni, George J. Pappas:
A Tutorial on the Non-Asymptotic Theory of System Identification. CoRR abs/2309.03873 (2023) - [i153]Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Maria-Elizabeth Tzes, George J. Pappas, Nikolay Atanasov:
Optimal Scene Graph Planning with Large Language Model Guidance. CoRR abs/2309.09182 (2023) - [i152]Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro:
Navigation with shadow prices to optimize multi-commodity flow rates. CoRR abs/2309.14284 (2023) - [i151]Charis J. Stamouli, Evangelos Chatzipantazis, George J. Pappas:
Structural Risk Minimization for Learning Nonlinear Dynamics. CoRR abs/2309.16527 (2023) - [i150]Alexander Robey, Eric Wong, Hamed Hassani, George J. Pappas:
SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks. CoRR abs/2310.03684 (2023) - [i149]Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong:
Jailbreaking Black Box Large Language Models in Twenty Queries. CoRR abs/2310.08419 (2023) - [i148]Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov:
Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. CoRR abs/2312.06848 (2023) - [i147]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR abs/2312.07434 (2023) - 2022
- [j131]Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas:
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313: 103782 (2022) - [j130]Thomas Beckers, Leonardo J. Colombo, Sandra Hirche, George J. Pappas:
Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics. IEEE Control. Syst. Lett. 6: 2090-2095 (2022) - [j129]Sean L. Bowman, Kostas Daniilidis, George J. Pappas:
Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints. Field Robotics 2(1): 513-524 (2022) - [j128]Georgios Kissas, Jacob H. Seidman, Leonardo Ferreira Guilhoto, Victor M. Preciado, George J. Pappas, Paris Perdikaris:
Learning Operators with Coupled Attention. J. Mach. Learn. Res. 23: 215:1-215:63 (2022) - [j127]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. IEEE Trans. Autom. Control. 67(1): 1-15 (2022) - [j126]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Robust and Adaptive Sequential Submodular Optimization. IEEE Trans. Autom. Control. 67(1): 89-104 (2022) - [j125]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Reactive and Risk-Aware Control for Signal Temporal Logic. IEEE Trans. Autom. Control. 67(10): 5262-5277 (2022) - [j124]Andreea B. Alexandru, George J. Pappas:
Private Weighted Sum Aggregation. IEEE Trans. Control. Netw. Syst. 9(1): 219-230 (2022) - [j123]Brent Schlotfeldt, Vasileios Tzoumas, George J. Pappas:
Resilient Active Information Acquisition With Teams of Robots. IEEE Trans. Robotics 38(1): 244-261 (2022) - [j122]Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas:
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. IEEE Trans. Robotics 38(4): 2536-2556 (2022) - [j121]Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar:
Distributed Attack-Robust Submodular Maximization for Multirobot Planning. IEEE Trans. Robotics 38(5): 3097-3112 (2022) - [c350]Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas:
Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior. CDC 2022: 1447-1453 - [c349]Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas:
Secure state estimation over Markov wireless communication channels. CDC 2022: 2935-2940 - [c348]Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur:
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC 2022: 3389-3396 - [c347]Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani:
Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents. CDC 2022: 4179-4184 - [c346]Thomas Beckers, Leonardo J. Colombo, Manfred Morari, George J. Pappas:
Learning-based Balancing of Model-based and Feedback Control for Second-order Mechanical Systems. CDC 2022: 4667-4673 - [c345]Orlando Romero, Mouhacine Benosman, George J. Pappas:
ODE Discretization Schemes as Optimization Algorithms. CDC 2022: 6318-6325 - [c344]Thomas Beckers, George J. Pappas, Leonardo J. Colombo:
Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees. CDC 2022: 7254-7259 - [c343]Anastasios Tsiamis, Ingvar M. Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas:
Learning to Control Linear Systems can be Hard. COLT 2022: 3820-3857 - [c342]Lars Lindemann, Alëna Rodionova, George J. Pappas:
Temporal Robustness of Stochastic Signals. HSCC 2022: 10:1-10:11 - [c341]Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn:
Do deep networks transfer invariances across classes? ICLR 2022 - [c340]Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani:
Probabilistically Robust Learning: Balancing Average and Worst-case Performance. ICML 2022: 18667-18686 - [c339]Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas:
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. ICRA 2022: 7320-7326 - [c338]Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar:
Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR). IROS 2022: 8762-8769 - [c337]Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas:
Adaptive Stochastic MPC under Unknown Noise Distribution. L4DC 2022: 596-607 - [c336]Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J. Pappas, Bernhard Schölkopf:
Probable Domain Generalization via Quantile Risk Minimization. NeurIPS 2022 - [c335]Aritra Mitra, Arman Adibi, George J. Pappas, Hamed Hassani:
Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds. NeurIPS 2022 - [c334]Jacob H. Seidman, Georgios Kissas, Paris Perdikaris, George J. Pappas:
NOMAD: Nonlinear Manifold Decoders for Operator Learning. NeurIPS 2022 - [i146]Georgios Kissas, Jacob H. Seidman, Leonardo Ferreira Guilhoto, Victor M. Preciado, George J. Pappas, Paris Perdikaris:
Learning Operators with Coupled Attention. CoRR abs/2201.01032 (2022) - [i145]Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani:
Probabilistically Robust Learning: Balancing Average- and Worst-case Performance. CoRR abs/2202.01136 (2022) - [i144]Lars Lindemann, Alëna Rodionova, George J. Pappas:
Temporal Robustness of Stochastic Signals. CoRR abs/2202.02583 (2022) - [i143]Aritra Mitra, Hamed Hassani, George J. Pappas:
Linear Stochastic Bandits over a Bit-Constrained Channel. CoRR abs/2203.01198 (2022) - [i142]Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn:
Do Deep Networks Transfer Invariances Across Classes? CoRR abs/2203.09739 (2022) - [i141]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. CoRR abs/2203.15661 (2022) - [i140]Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur:
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR abs/2204.00846 (2022) - [i139]Charis J. Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas:
Adaptive Stochastic MPC under Unknown Noise Distribution. CoRR abs/2204.01107 (2022) - [i138]Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani:
Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents. CoRR abs/2204.03187 (2022) - [i137]Austin K. Chen, Bryce L. Ferguson, Daigo Shishika, Michael R. Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar:
Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information. CoRR abs/2204.04176 (2022) - [i136]Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas:
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. CoRR abs/2205.06301 (2022) - [i135]Anastasios Tsiamis, Ingvar M. Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas:
Learning to Control Linear Systems can be Hard. CoRR abs/2205.14035 (2022) - [i134]Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas:
Risk of Stochastic Systems for Temporal Logic Specifications. CoRR abs/2205.14523 (2022) - [i133]Aritra Mitra, Arman Adibi, George J. Pappas, Hamed Hassani:
Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds. CoRR abs/2206.02834 (2022) - [i132]Jacob H. Seidman, Georgios Kissas, Paris Perdikaris, George J. Pappas:
NOMAD: Nonlinear Manifold Decoders for Operator Learning. CoRR abs/2206.03551 (2022) - [i131]Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett:
Toward Certified Robustness Against Real-World Distribution Shifts. CoRR abs/2206.03669 (2022) - [i130]Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J. Pappas, Bernhard Schölkopf:
Probable Domain Generalization via Quantile Risk Minimization. CoRR abs/2207.09944 (2022) - [i129]Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How:
Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams. CoRR abs/2208.00262 (2022) - [i128]Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar:
Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR). CoRR abs/2208.06053 (2022) - [i127]Kelsey Saulnier, Lifeng Zhou, George J. Pappas, Vijay Kumar:
Resilient Consensus via Voronoi Communication Graphs. CoRR abs/2209.04381 (2022) - [i126]Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas:
Secure state estimation over Markov wireless communication channels (extended version). CoRR abs/2209.05146 (2022) - [i125]Anastasios Tsiamis, Ingvar M. Ziemann, Nikolai Matni, George J. Pappas:
Statistical Learning Theory for Control: A Finite Sample Perspective. CoRR abs/2209.05423 (2022) - [i124]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Multi-robot Mission Planning in Dynamic Semantic Environments. CoRR abs/2209.06323 (2022) - [i123]Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas:
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR abs/2209.09881 (2022) - [i122]Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas:
Graph Neural Networks for Multi-Robot Active Information Acquisition. CoRR abs/2209.12091 (2022) - [i121]Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas:
Safe Planning in Dynamic Environments using Conformal Prediction. CoRR abs/2210.10254 (2022) - [i120]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. CoRR abs/2211.01539 (2022) - [i119]Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick:
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR abs/2212.00278 (2022) - 2021
- [j120]Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas:
Sampling-based planning for non-myopic multi-robot information gathering. Auton. Robots 45(7): 1029-1046 (2021) - [j119]Konstantinos Gatsis, George J. Pappas:
Statistical learning for analysis of networked control systems over unknown channels. Autom. 125: 109386 (2021) - [j118]George J. Pappas, Kostas Daniilidis, Leonidas J. Guibas, Lydia E. Kavraki, Petros Koumoutsakos, Kostas J. Kyriakopoulos, John Lygeros, Michael S. Triantafyllou, Panagiotis Tsiotras:
Robotics in the AI era: A vision for a Hellenic Robotics Initiative. Found. Trends Robotics 9(3): 201-265 (2021) - [j117]Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett:
Teaching recurrent neural networks to infer global temporal structure from local examples. Nat. Mach. Intell. 3(4): 316-323 (2021) - [j116]Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok:
Fair Robust Assignment Using Redundancy. IEEE Robotics Autom. Lett. 6(2): 4217-4224 (2021) - [j115]Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro:
Approximate Supermodularity of Kalman Filter Sensor Selection. IEEE Trans. Autom. Control. 66(1): 49-63 (2021) - [j114]Konstantinos Gatsis, Hamed Hassani, George J. Pappas:
Latency-Reliability Tradeoffs for State Estimation. IEEE Trans. Autom. Control. 66(3): 1009-1023 (2021) - [j113]Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie:
LQG Control and Sensing Co-Design. IEEE Trans. Autom. Control. 66(4): 1468-1483 (2021) - [j112]Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66(5): 2357-2364 (2021) - [j111]Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
On the Structural Target Controllability of Undirected Networks. IEEE Trans. Autom. Control. 66(10): 4836-4843 (2021) - [j110]Fei Miao, Sihong He, Lynn Pepin, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas:
Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems. ACM Trans. Cyber Phys. Syst. 5(2): 17:1-17:27 (2021) - [j109]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20(1): 7:1-7:26 (2021) - [j108]Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar:
Stochastic Motion Planning Under Partial Observability for Mobile Robots With Continuous Range Measurements. IEEE Trans. Robotics 37(3): 979-995 (2021) - [c333]Bruno Augusto Angélico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas:
Source Seeking in Unknown Environments with Convex Obstacles. ACC 2021: 5055-5061 - [c332]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) 2021: 249-262 - [c331]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Time-Robust Control for STL Specifications. CDC 2021: 572-579 - [c330]Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani:
Federated Learning with Incrementally Aggregated Gradients. CDC 2021: 775-782 - [c329]Lars Lindemann, Nikolai Matni, George J. Pappas:
STL Robustness Risk over Discrete-Time Stochastic Processes. CDC 2021: 1329-1335 - [c328]Anastasios Tsiamis, George J. Pappas:
Linear Systems can be Hard to Learn. CDC 2021: 2903-2910 - [c327]Aritra Mitra, Hamed Hassani, George J. Pappas:
Online Federated Learning. CDC 2021: 4083-4090 - [c326]Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas:
Encrypted Distributed Lasso for Sparse Data Predictive Control. CDC 2021: 4901-4906 - [c325]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC 2021: 5205-5212 - [c324]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
An Introduction to Neural Network Analysis via Semidefinite Programming. CDC 2021: 6341-6350 - [c323]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Region of Attraction for Nonlinear Systems. CDC 2021: 6477-6484 - [c322]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Lyapunov Functions for Hybrid Systems. CISS 2021: 1 - [c321]Austin K. Chen, Douglas G. Macharet, Daigo Shishika, George J. Pappas, Vijay Kumar:
Optimal Multi-robot Perimeter Defense Using Flow Networks. DARS 2021: 282-293 - [c320]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning lyapunov functions for hybrid systems. HSCC 2021: 13:1-13:11 - [c319]Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas:
Deep Reinforcement Learning for Active Target Tracking. ICRA 2021: 1825-1831 - [c318]Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek:
Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. ICRA 2021: 6385-6392 - [c317]Yiannis Kantaros, George J. Pappas:
Scalable Active Information Acquisition for Multi-Robot Systems. ICRA 2021: 7987-7993 - [c316]Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How:
Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams. ICRA 2021: 8859-8865 - [c315]Christopher D. Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari:
Scalable Reinforcement Learning Policies for Multi-Agent Control. IROS 2021: 4785-4791 - [c314]Mariliza Tzes, Yiannis Kantaros, George J. Pappas:
Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. IROS 2021: 5872-5877 - [c313]Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro:
Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space. ISIT 2021: 1676-1681 - [c312]Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger:
Preface. L4DC 2021: 1-5 - [c311]Alexander Robey, Arman Adibi, Brent Schlotfeldt, Hamed Hassani, George J. Pappas:
Optimal Algorithms for Submodular Maximization with Distributed Constraints. L4DC 2021: 150-162 - [c310]Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani, Alejandro Ribeiro:
Adversarial Robustness with Semi-Infinite Constrained Learning. NeurIPS 2021: 6198-6215 - [c309]Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani:
Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients. NeurIPS 2021: 14606-14619 - [c308]Wanxin Jin, Shaoshuai Mou, George J. Pappas:
Safe Pontryagin Differentiable Programming. NeurIPS 2021: 16034-16050 - [c307]Alexander Robey, George J. Pappas, Hamed Hassani:
Model-Based Domain Generalization. NeurIPS 2021: 20210-20229 - [e5]Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger:
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, L4DC 2021, 7-8 June 2021, Virtual Event, Switzerland. Proceedings of Machine Learning Research 144, PMLR 2021 [contents] - [i118]Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How:
Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams. CoRR abs/2101.11093 (2021) - [i117]Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok:
Fair Robust Assignment using Redundancy. CoRR abs/2102.06265 (2021) - [i116]Aritra Mitra, Rayana H. Jaafar, George J. Pappas, Hamed Hassani:
Achieving Linear Convergence in Federated Learning under Objective and Systems Heterogeneity. CoRR abs/2102.07053 (2021) - [i115]Alexander Robey, George J. Pappas, Hamed Hassani:
Model-Based Domain Generalization. CoRR abs/2102.11436 (2021) - [i114]Brent Schlotfeldt, Vasileios Tzoumas, George J. Pappas:
Resilient Active Information Acquisition with Teams of Robots. CoRR abs/2103.02733 (2021) - [i113]Yiannis Kantaros, George J. Pappas:
Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems. CoRR abs/2103.09364 (2021) - [i112]Anastasios Tsiamis, George J. Pappas:
Linear Systems can be Hard to Learn. CoRR abs/2104.01120 (2021) - [i111]Lars Lindemann, Nikolai Matni, George J. Pappas:
STL Robustness Risk over Discrete-Time Stochastic Processes. CoRR abs/2104.01503 (2021) - [i110]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Time-Robust Control for STL Specifications. CoRR abs/2104.02677 (2021) - [i109]Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas:
Encrypted Distributed Lasso for Sparse Data Predictive Control. CoRR abs/2104.11632 (2021) - [i108]Wanxin Jin, Shaoshuai Mou, George J. Pappas:
Safe Pontryagin Differentiable Programming. CoRR abs/2105.14937 (2021) - [i107]Mariliza Tzes, Yiannis Kantaros, George J. Pappas:
Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. CoRR abs/2107.11163 (2021) - [i106]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR abs/2108.11983 (2021) - [i105]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Reactive and Risk-Aware Control for Signal Temporal Logic. CoRR abs/2108.13490 (2021) - [i104]Aritra Mitra, Hamed Hassani, George J. Pappas:
Exploiting Heterogeneity in Robust Federated Best-Arm Identification. CoRR abs/2109.05700 (2021) - [i103]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Region of Attraction for Nonlinear Systems. CoRR abs/2110.00731 (2021) - [i102]Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Hamed Hassani, Alejandro Ribeiro:
Adversarial Robustness with Semi-Infinite Constrained Learning. CoRR abs/2110.15767 (2021) - [i101]Anastasios Tsiamis, Dionysios S. Kalogerias, Alejandro Ribeiro, George J. Pappas:
Linear Quadratic Control with Risk Constraints. CoRR abs/2112.07564 (2021) - [i100]Manuela Gamonal Fernández, Thomas Beckers, George J. Pappas, Leonardo J. Colombo:
Learning Rigidity-based Flocking Control with Gaussian Processes. CoRR abs/2112.07779 (2021) - 2020
- [j107]Andrea Alessandretti, Sérgio Pequito, George J. Pappas, A. Pedro Aguiar:
Finite-dimensional control of linear discrete-time fractional-order systems. Autom. 115: 108512 (2020) - [j106]Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas:
A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting. IEEE Control. Syst. Lett. 4(1): 199-204 (2020) - [j105]Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek:
Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback. IEEE Robotics Autom. Lett. 5(3): 4455-4462 (2020) - [j104]Nicholas J. Watkins, Cameron Nowzari, George J. Pappas:
Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes. IEEE Trans. Autom. Control. 65(3): 1116-1131 (2020) - [j103]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
State-Secrecy Codes for Networked Linear Systems. IEEE Trans. Autom. Control. 65(5): 2001-2015 (2020) - [j102]Sean L. Bowman, Cameron Nowzari, George J. Pappas:
Consensus of Multiagent Systems Via Asynchronous Cloud Communication. IEEE Trans. Control. Netw. Syst. 7(2): 627-637 (2020) - [j101]Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Network Design for Controllability Metrics. IEEE Trans. Control. Netw. Syst. 7(3): 1404-1415 (2020) - [j100]Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro:
Model-Free Learning of Optimal Ergodic Policies in Wireless Systems. IEEE Trans. Signal Process. 68: 6272-6286 (2020) - [c306]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. CDC 2020: 1422-1428 - [c305]Anastasios Tsiamis, Dionysios S. Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas:
Risk-Constrained Linear-Quadratic Regulators. CDC 2020: 3040-3047 - [c304]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC 2020: 3699-3704 - [c303]Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas:
Towards Private Data-driven Control. CDC 2020: 5449-5456 - [c302]Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CDC 2020: 5929-5934 - [c301]Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro:
Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems. EUSIPCO 2020: 1727-1731 - [c300]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC 2020: 28:1-28:7 - [c299]Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro:
A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with no Models and no Gradients. ICASSP 2020: 5045-5049 - [c298]Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro:
Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation. ICASSP 2020: 5480-5484 - [c297]Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar:
Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning. ICRA 2020: 2479-2485 - [c296]Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar:
Information Theoretic Active Exploration in Signed Distance Fields. ICRA 2020: 4080-4085 - [c295]Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas:
Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. ICRA 2020: 11479-11485 - [c294]Douglas G. Macharet, Austin K. Chen, Daigo Shishika, George J. Pappas, Vijay Kumar:
Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense. IROS 2020: 7971-7977 - [c293]Anastasios Tsiamis, Nikolai Matni, George J. Pappas:
Sample Complexity of Kalman Filtering for Unknown Systems. L4DC 2020: 435-444 - [c292]Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas:
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. L4DC 2020: 884-893 - [e4]Alexandre M. Bayen, Ali Jadbabaie, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger:
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, L4DC 2020, Online Event, Berkeley, CA, USA, 11-12 June 2020. Proceedings of Machine Learning Research 120, PMLR 2020 [contents] - [i99]Anastasios Tsiamis, George J. Pappas:
Online Learning of the Kalman Filter with Logarithmic Regret. CoRR abs/2002.05141 (2020) - [i98]Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek:
Technical Report: Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback. CoRR abs/2002.12349 (2020) - [i97]Anastasios Tsiamis, Dionysios S. Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas:
Risk-Constrained Linear-Quadratic Regulators. CoRR abs/2004.04685 (2020) - [i96]Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CoRR abs/2004.07876 (2020) - [i95]Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas:
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. CoRR abs/2005.00616 (2020) - [i94]Jason Z. Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, Danielle S. Bassett:
Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example. CoRR abs/2005.01186 (2020) - [i93]Alexander Robey, Hamed Hassani, George J. Pappas:
Model-Based Robust Deep Learning. CoRR abs/2005.10247 (2020) - [i92]Harshat Kumar, Dionysios S. Kalogerias, George J. Pappas, Alejandro Ribeiro:
Zeroth-order Deterministic Policy Gradient. CoRR abs/2006.07314 (2020) - [i91]Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas:
Learning to Track Dynamic Targets in Partially Known Environments. CoRR abs/2006.10190 (2020) - [i90]Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas:
Data-driven control on encrypted data. CoRR abs/2008.12671 (2020) - [i89]Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist:
Distributed Locally Non-interfering Connectivity via Linear Temporal Logic. CoRR abs/2009.00669 (2020) - [i88]Moritz Schulze Darup, Andreea B. Alexandru, Daniel E. Quevedo, George J. Pappas:
Encrypted control for networked systems - An illustrative introduction and current challenges. CoRR abs/2010.00268 (2020) - [i87]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR abs/2010.05818 (2020) - [i86]Andreea B. Alexandru, George J. Pappas:
Private Weighted Sum Aggregation. CoRR abs/2010.10640 (2020) - [i85]Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek:
Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. CoRR abs/2011.00642 (2020) - [i84]Christopher D. Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari:
Scalable Reinforcement Learning Policies for Multi-Agent Control. CoRR abs/2011.08055 (2020) - [i83]Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar:
Stochastic Motion Planning under Partial Observability for Mobile Robots with Continuous Range Measurements. CoRR abs/2011.11836 (2020) - [i82]Yiannis Kantaros, Matthew Malencia, George J. Pappas:
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps. CoRR abs/2012.07912 (2020) - [i81]Yiannis Kantaros, Qi Jin, George J. Pappas:
Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps. CoRR abs/2012.10490 (2020) - [i80]Erfan Nozari, Jennifer Stiso, Lorenzo Caciagli, Eli J. Cornblath, Xiaosong He, Maxwell A. Bertolero, Arun S. Mahadevan, George J. Pappas, Danielle S. Bassett:
Is the brain macroscopically linear? A system identification of resting state dynamics. CoRR abs/2012.12351 (2020)
2010 – 2019
- 2019
- [j99]Nicholas J. Watkins, George J. Pappas:
Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization. IEEE Control. Syst. Lett. 3(2): 314-319 (2019) - [j98]Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar:
Resilient Active Target Tracking With Multiple Robots. IEEE Robotics Autom. Lett. 4(1): 129-136 (2019) - [j97]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee:
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64(1): 235-250 (2019) - [j96]Ali Jadbabaie, Alexander Olshevsky, George J. Pappas, Vasileios Tzoumas:
Minimal Reachability is Hard To Approximate. IEEE Trans. Autom. Control. 64(2): 783-789 (2019) - [j95]Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Minimal Edge Addition for Network Controllability. IEEE Trans. Control. Netw. Syst. 6(1): 312-323 (2019) - [j94]Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas:
Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems. IEEE Trans. Control. Netw. Syst. 6(2): 667-678 (2019) - [j93]Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab M. Hendawi, Desheng Zhang, Tian He, George J. Pappas:
Data-Driven Robust Taxi Dispatch Under Demand Uncertainties. IEEE Trans. Control. Syst. Technol. 27(1): 175-191 (2019) - [j92]Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro:
Learning in Wireless Control Systems Over Nonstationary Channels. IEEE Trans. Signal Process. 67(5): 1123-1137 (2019) - [c291]Anastasios Tsiamis, Andreea B. Alexandru, George J. Pappas:
Motion Planning with Secrecy. ACC 2019: 784-791 - [c290]Pedro P. V. Tecchio, Nikolay Atanasov, Shahin Shahrampour, George J. Pappas:
N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement. ACC 2019: 1195-1201 - [c289]Nicholas J. Watkins, George J. Pappas:
Optimal Reset Strategies for Mitigating Malware Epidemics. ACC 2019: 2054-2059 - [c288]Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Resilient Structural Stabilizability of Undirected Networks. ACC 2019: 5173-5178 - [c287]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CDC 2019: 2726-2731 - [c286]Anastasios Tsiamis, George J. Pappas:
Finite Sample Analysis of Stochastic System Identification. CDC 2019: 3648-3654 - [c285]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC 2019: 5338-5343 - [c284]Andreea B. Alexandru, Moritz Schulze Darup, George J. Pappas:
Encrypted Cooperative Control Revisited. CDC 2019: 7196-7202 - [c283]Ekaterina I. Tolstaya, Fernando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro:
Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks. CoRL 2019: 671-682 - [c282]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC 2019: 169-178 - [c281]Andreea B. Alexandru, George J. Pappas:
Encrypted LQG using labeled homomorphic encryption. ICCPS 2019: 129-140 - [c280]Heejin Jeong, Clark Zhang, George J. Pappas, Daniel D. Lee:
Assumed Density Filtering Q-learning. IJCAI 2019: 2607-2613 - [c279]Yiannis Kantaros, George J. Pappas:
Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. IROS 2019: 4127-4132 - [c278]Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas:
Maximum Information Bounds for Planning Active Sensing Trajectories. IROS 2019: 4913-4920 - [c277]Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas:
Learning Q-network for Active Information Acquisition. IROS 2019: 6822-6827 - [c276]Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas:
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. NeurIPS 2019: 11423-11434 - [c275]Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas:
Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering. Robotics: Science and Systems 2019 - [i79]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. CoRR abs/1903.01287 (2019) - [i78]Anastasios Tsiamis, George J. Pappas:
Finite Sample Analysis of Stochastic System Identification. CoRR abs/1903.09122 (2019) - [i77]Ekaterina I. Tolstaya, Fernando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro:
Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks. CoRR abs/1903.10527 (2019) - [i76]Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas:
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. CoRR abs/1906.04893 (2019) - [i75]Andreea B. Alexandru, George J. Pappas:
Secure Multi-party Computation for Cloud-based Control. CoRR abs/1906.09652 (2019) - [i74]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR abs/1909.05304 (2019) - [i73]Bruno Augusto Angélico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas:
Source Seeking in Unknown Environments with Convex Obstacles. CoRR abs/1909.07496 (2019) - [i72]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Robust and Adaptive Sequential Submodular Optimization. CoRR abs/1909.11783 (2019) - [i71]Alexander Robey, Arman Adibi, Brent Schlotfeldt, George J. Pappas, Hamed Hassani:
Optimal Algorithms for Submodular Maximization with Distributed Constraints. CoRR abs/1909.13676 (2019) - [i70]Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar:
Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning. CoRR abs/1910.01208 (2019) - [i69]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CoRR abs/1910.04249 (2019) - [i68]Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas:
Learning Q-network for Active Information Acquisition. CoRR abs/1910.10754 (2019) - [i67]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR abs/1910.11309 (2019) - [i66]Konstantinos Gatsis, George J. Pappas:
Statistical Learning for Analysis of Networked Control Systems over Unknown Channels. CoRR abs/1911.03422 (2019) - [i65]Dionysios S. Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro:
Model-Free Learning of Optimal Ergodic Policies in Wireless Systems. CoRR abs/1911.03988 (2019) - [i64]Dionysios S. Kalogerias, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro:
Risk-Aware MMSE Estimation. CoRR abs/1912.02933 (2019) - [i63]Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro:
Approximate Supermodularity of Kalman Filter Sensor Selection. CoRR abs/1912.03799 (2019) - [i62]Anastasios Tsiamis, Nikolai Matni, George J. Pappas:
Sample Complexity of Kalman Filtering for Unknown Systems. CoRR abs/1912.12309 (2019) - 2018
- [j91]Shuo Han, George J. Pappas:
Privacy in Control and Dynamical Systems. Annu. Rev. Control. Robotics Auton. Syst. 1: 309-332 (2018) - [j90]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
Random access design for wireless control systems. Autom. 91: 1-9 (2018) - [j89]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
A hybrid stochastic game for secure control of cyber-physical systems. Autom. 93: 55-63 (2018) - [j88]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018) - [j87]Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, George J. Pappas:
Anytime Planning for Decentralized Multirobot Active Information Gathering. IEEE Robotics Autom. Lett. 3(2): 1025-1032 (2018) - [j86]Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas:
Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks. IEEE Trans. Control. Netw. Syst. 5(1): 298-307 (2018) - [j85]Vasileios Tzoumas, Yuankun Xue, Sérgio Pequito, Paul Bogdan, George J. Pappas:
Selecting Sensors in Biological Fractional-Order Systems. IEEE Trans. Control. Netw. Syst. 5(2): 709-721 (2018) - [j84]Fragkiskos Koufogiannis, George J. Pappas:
Diffusing Private Data Over Networks. IEEE Trans. Control. Netw. Syst. 5(3): 1027-1037 (2018) - [c274]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
State-Secrecy Codes for Stable Systems. ACC 2018: 171-177 - [c273]Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie:
Sensing-Constrained LQG Control. ACC 2018: 197-202 - [c272]Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro:
Learning in Non-Stationary Wireless Control Systems via Newton's Method. ACC 2018: 1410-1417 - [c271]Steven W. Chen, Kelsey Saulnier, Nikolay Atanasov, Daniel D. Lee, Vijay Kumar, George J. Pappas, Manfred Morari:
Approximating Explicit Model Predictive Control Using Constrained Neural Networks. ACC 2018: 1520-1527 - [c270]Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar:
Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering. ACC 2018: 4267-4274 - [c269]Nicholas J. Watkins, Konstantinos Gatsis, Manfred Morari, George J. Pappas:
Scenario-Based Model Predictive Control for Energy Harvesting Actuators. ACC 2018: 5497-5502 - [c268]Nicholas J. Watkins, Cameron Nowzari, George J. Pappas:
A Robust Moment Closure for General Continuous-time Epidemic Processes. CDC 2018: 244-249 - [c267]Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado:
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. CDC 2018: 1775-1781 - [c266]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
An Information Matrix Approach for State Secrecy. CDC 2018: 2062-2067 - [c265]Andreea B. Alexandru, Manfred Morari, George J. Pappas:
Cloud-Based MPC with Encrypted Data. CDC 2018: 5014-5019 - [c264]Konstantinos Gatsis, George J. Pappas:
Sample Complexity of Networked Control Systems Over Unknown Channels. CDC 2018: 6067-6072 - [c263]Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Structural Target Controllability of Undirected Networks. CDC 2018: 6656-6661 - [c262]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Resilient Monotone Sequential Maximization. CDC 2018: 7261-7268 - [c261]Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro:
Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems. ICASSP 2018: 3559-3563 - [c260]Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin:
Dynamic integration of heterogeneous transportation modes under disruptive events. ICCPS 2018: 65-76 - [c259]Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas:
A Unifying View of Geometry, Semantics, and Data Association in SLAM. IJCAI 2018: 5204-5208 - [c258]Brent Schlotfeldt, Vasileios Tzoumas, Dinesh Thakur, George J. Pappas:
Resilient Active Information Gathering with Mobile Robots. IROS 2018: 4309-4316 - [c257]Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro:
Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels. SPAWC 2018: 1-5 - [p1]Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer:
Verification of Hybrid Systems. Handbook of Model Checking 2018: 1047-1110 - [i61]Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas:
On the Limited Communication Analysis and Design for Decentralized Estimation. CoRR abs/1801.05849 (2018) - [i60]Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar:
Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering. CoRR abs/1801.07380 (2018) - [i59]Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie:
Control and Sensing Co-design. CoRR abs/1802.08376 (2018) - [i58]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Resilient Monotone Sequential Maximization. CoRR abs/1803.07954 (2018) - [i57]Brent Schlotfeldt, Vasileios Tzoumas, Dinesh Thakur, George J. Pappas:
Resilient Active Information Gathering with Mobile Robots. CoRR abs/1803.09730 (2018) - [i56]Andreea B. Alexandru, Manfred Morari, George J. Pappas:
Cloud-based MPC with Encrypted Data. CoRR abs/1803.09891 (2018) - [i55]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Resilient Non-Submodular Maximization over Matroid Constraints. CoRR abs/1804.01013 (2018) - [i54]Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR abs/1809.02267 (2018) - [i53]Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar:
Resilient Active Target Tracking with Multiple Robots. CoRR abs/1809.04032 (2018) - [i52]Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Structural Target Controllability of Undirected Networks. CoRR abs/1809.06773 (2018) - [i51]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
An Information Matrix Approach for State Secrecy. CoRR abs/1809.07312 (2018) - [i50]Jingqi Li, Ximing Chen, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Resilient Structural Stabilizability of Undirected Networks. CoRR abs/1810.00126 (2018) - [i49]Konstantinos Gatsis, Hamed Hassani, George J. Pappas:
Latency-Reliability Tradeoffs for State Estimation. CoRR abs/1810.11831 (2018) - [i48]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR abs/1811.01828 (2018) - 2017
- [j83]Sérgio Pequito, George J. Pappas:
Structural minimum controllability problem for switched linear continuous-time systems. Autom. 78: 216-222 (2017) - [j82]Kelsey Saulnier, David Saldana, Amanda Prorok, George J. Pappas, Vijay Kumar:
Resilient Flocking for Mobile Robot Teams. IEEE Robotics Autom. Lett. 2(2): 1039-1046 (2017) - [j81]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization. IEEE Trans. Autom. Control. 62(1): 50-64 (2017) - [j80]Miroslav Pajic, Insup Lee, George J. Pappas:
Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. 4(1): 82-92 (2017) - [j79]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Trans. Control. Netw. Syst. 4(1): 106-117 (2017) - [j78]Cameron Nowzari, Victor M. Preciado, George J. Pappas:
Optimal Resource Allocation for Control of Networked Epidemic Models. IEEE Trans. Control. Netw. Syst. 4(2): 159-169 (2017) - [c256]Anastasios Tsiamis, Sérgio Pequito, George J. Pappas:
Distributed leader selection in switching networks of high-order integrators. Allerton 2017: 413-420 - [c255]Andreea B. Alexandru, Konstantinos Gatsis, George J. Pappas:
Privacy preserving cloud-based quadratic optimization. Allerton 2017: 1168-1175 - [c254]Vasileios Tzoumas, Nikolay A. Atanasov, Ali Jadbabaie, George J. Pappas:
Scheduling nonlinear sensors for stochastic process estimation. ACC 2017: 580-585 - [c253]Sérgio Pequito, Arian Ashourvan, Danielle S. Bassett, Brian Litt, George J. Pappas:
Spectral control of cortical activity. ACC 2017: 2785-2791 - [c252]Shuo Han, Ufuk Topcu, George J. Pappas:
Quantification on the efficiency gain of automated ridesharing services. ACC 2017: 3560-3566 - [c251]Sérgio Pequito, Andrew Clark, George J. Pappas:
Discrete-time fractional-order multiple scenario-based sensor selection. ACC 2017: 5488-5493 - [c250]Nicholas J. Watkins, Cameron Nowzari, George J. Pappas:
Inference, prediction and control of networked epidemics. ACC 2017: 5611-5616 - [c249]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
State estimation codes for perfect secrecy. CDC 2017: 176-181 - [c248]Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro:
The mean square error in Kalman filtering sensor selection is approximately supermodular. CDC 2017: 343-350 - [c247]Fragkiskos Koufogiannis, George J. Pappas:
Differential privacy for dynamical sensitive data. CDC 2017: 1118-1125 - [c246]Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC 2017: 1132-1137 - [c245]Vasileios Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas:
Resilient monotone submodular function maximization. CDC 2017: 1362-1367 - [c244]Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas:
On the limited communication analysis and design for decentralized estimation. CDC 2017: 1713-1718 - [c243]Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado:
Network design for controllability metrics. CDC 2017: 4193-4198 - [c242]Ximing Chen, Fei Miao, George J. Pappas, Victor M. Preciado:
Hierarchical data-driven vehicle dispatch and ride-sharing. CDC 2017: 4458-4463 - [c241]Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George J. Pappas:
Battery management for control systems with energy harvesting sensors. CDC 2017: 4538-4543 - [c240]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. HSCC 2017: 19-28 - [c239]Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas:
Data-driven distributionally robust vehicle balancing using dynamic region partitions. ICCPS 2017: 261-271 - [c238]Sean L. Bowman, Nikolay Atanasov, Kostas Daniilidis, George J. Pappas:
Probabilistic data association for semantic SLAM. ICRA 2017: 1722-1729 - [c237]Konstantinos Gatsis, George J. Pappas:
Wireless Control for the IoT: Power, Spectrum, and Security Challenges: Poster Abstract. IoTDI 2017: 341-342 - [c236]Carmelo Di Franco, Amanda Prorok, Nikolay Atanasov, Benjamin P. Kempke, Prabal Dutta, Vijay Kumar, George J. Pappas:
Calibration-free network localization using non-line-of-sight ultra-wideband measurements. IPSN 2017: 235-246 - [i47]Sean L. Bowman, Cameron Nowzari, George J. Pappas:
Coordination of multi-agent systems via asynchronous cloud communication. CoRR abs/1701.03508 (2017) - [i46]Vasileios Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas:
Resilient Monotone Submodular Function Maximization. CoRR abs/1703.07280 (2017) - [i45]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:
A National Research Agenda for Intelligent Infrastructure. CoRR abs/1705.01920 (2017) - [i44]Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas:
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. CoRR abs/1705.01923 (2017) - [i43]Cynthia Dwork, George J. Pappas:
Privacy in Information-Rich Intelligent Infrastructure. CoRR abs/1706.01985 (2017) - [i42]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
State-Secrecy Codes for Networked Linear Systems. CoRR abs/1709.04530 (2017) - [i41]Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie:
Sensing-Constrained LQG Control. CoRR abs/1709.08826 (2017) - [i40]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. CoRR abs/1710.00288 (2017) - [i39]Ali Jadbabaie, Alexander Olshevsky, George J. Pappas, Vasileios Tzoumas:
Minimal Reachability is Hard To Approximate. CoRR abs/1710.10244 (2017) - 2016
- [j77]Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas:
Localization from semantic observations via the matrix permanent. Int. J. Robotics Res. 35(1-3): 73-99 (2016) - [j76]Fragkiskos Koufogiannis, Shuo Han, George J. Pappas:
Gradual Release of Sensitive Data under Differential Privacy. J. Priv. Confidentiality 7(2) (2016) - [j75]Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Desheng Zhang, Sirajum Munir, Hua Huang, Tian He, George J. Pappas:
Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. IEEE Trans Autom. Sci. Eng. 13(2): 463-478 (2016) - [j74]Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal Actuator Placement With Bounds on Control Effort. IEEE Trans. Control. Netw. Syst. 3(1): 67-78 (2016) - [j73]Shan Lin, Fei Miao, Jingbin Zhang, Gang Zhou, Lin Gu, Tian He, John A. Stankovic, Sang Hyuk Son, George J. Pappas:
ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks. ACM Trans. Sens. Networks 12(1): 6:1-6:31 (2016) - [c235]Yuankun Xue, Sérgio Pequito, Joana R. Coelho, Paul Bogdan, George J. Pappas:
Minimum number of sensors to ensure observability of physiological systems: A case study. Allerton 2016: 1181-1188 - [c234]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms. ACC 2016: 191-196 - [c233]Fragkiskos Koufogiannis, George J. Pappas:
Diffusing private data over networks. ACC 2016: 2067-2073 - [c232]Shuo Han, Ufuk Topcu, George J. Pappas:
Event-based information-theoretic privacy: A case study of smart meters. ACC 2016: 2074-2079 - [c231]Cameron Nowzari, George J. Pappas:
Multi-agent coordination with asynchronous cloud access. ACC 2016: 4649-4654 - [c230]Sérgio Pequito, Ankit N. Khambhati, George J. Pappas, Dragoslav D. Siljak, Danielle S. Bassett, Brian Litt:
Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics. ACC 2016: 5758-5764 - [c229]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
State-based communication design for wireless control systems. CDC 2016: 129-134 - [c228]Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas:
Decentralized observability with limited communication between sensors. CDC 2016: 885-890 - [c227]Fragkiskos Koufogiannis, George J. Pappas:
Multi-owner multi-user privacy. CDC 2016: 1787-1793 - [c226]Sean L. Bowman, Cameron Nowzari, George J. Pappas:
Coordination of multi-agent systems via asynchronous cloud communication. CDC 2016: 2215-2220 - [c225]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Near-optimal sensor scheduling for batch state estimation: Complexity, algorithms, and limits. CDC 2016: 2695-2702 - [c224]Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado:
Self-triggered time-varying convex optimization. CDC 2016: 3090-3097 - [c223]Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas:
Differential privacy in control and network systems. CDC 2016: 4252-4272 - [c222]Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada:
Privacy-aware quadratic optimization using partially homomorphic encryption. CDC 2016: 5053-5058 - [c221]Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Scalable lazy SMT-based motion planning. CDC 2016: 6683-6688 - [c220]Fragkiskos Koufogiannis, George J. Pappas:
Location-dependent privacy. CDC 2016: 7586-7591 - [c219]Cassiano O. Becker, Sérgio Daniel Pequito, George J. Pappas, Victor M. Preciado:
Approximation of network linear operators using similarity shift filters. GlobalSIP 2016: 420-424 - [c218]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
Control-Aware Random Access Communication. ICCPS 2016: 15:1-15:9 - [c217]Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee:
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS 2016: 28:1-28:10 - [c216]Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Qian Wang, Desheng Zhang, Tian He, George J. Pappas:
Data-Driven Robust Taxi Dispatch Approaches. ICCPS 2016: 37:1 - [c215]Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia:
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. ICCPS 2016: 43:1-43:10 - [c214]Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas:
Optimal temporal logic planning in probabilistic semantic maps. ICRA 2016: 3690-3697 - [c213]Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas:
Online planning for energy-efficient and disturbance-aware UAV operations. IROS 2016: 5027-5033 - [c212]Julia Zillies, Stephan Westphal, Dinesh Thakur, Vijay Kumar, George J. Pappas, David Scheidt:
A column generation approach for optimized routing and coordination of a UAV fleet. SSRR 2016: 350-357 - [i38]Mikko Lauri, Nikolay Atanasov, George J. Pappas, Risto Ritala:
Myopic Policy Bounds for Information Acquisition POMDPs. CoRR abs/1601.07279 (2016) - [i37]Fei Miao, Shuo Han, Shan Lin, John A. Stankovic, Hua Huang, Desheng Zhang, Sirajum Munir, Tian He, George J. Pappas:
Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. CoRR abs/1603.04418 (2016) - [i36]Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab M. Hendawi, Desheng Zhang, Tian He, George J. Pappas:
Data-Driven Robust Taxi Dispatch under Demand Uncertainties. CoRR abs/1603.06263 (2016) - [i35]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. CoRR abs/1605.08962 (2016) - [i34]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits. CoRR abs/1608.07533 (2016) - [i33]Andreea B. Alexandru, Sérgio Pequito, Ali Jadbabaie, George J. Pappas:
Decentralized Observability with Limited Communication between Sensors. CoRR abs/1609.02651 (2016) - [i32]Vasileios Tzoumas, Nikolay A. Atanasov, Ali Jadbabaie, George J. Pappas:
Scheduling Nonlinear Sensors for Stochastic Process Estimation. CoRR abs/1609.08536 (2016) - [i31]Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas:
State Estimation with Secrecy against Eavesdroppers. CoRR abs/1612.04942 (2016) - 2015
- [j72]Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
Opportunistic Control Over Shared Wireless Channels. IEEE Trans. Autom. Control. 60(12): 3140-3155 (2015) - [j71]Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas:
Data-Driven Network Resource Allocation for Controlling Spreading Processes. IEEE Trans. Netw. Sci. Eng. 2(4): 127-138 (2015) - [c211]Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas:
Optimal resource allocation for containing epidemics on time-varying networks. ACSSC 2015: 1333-1337 - [c210]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee:
Robust estimation using context-aware filtering. Allerton 2015: 590-597 - [c209]Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas:
Optimal resource allocation for competing epidemics over arbitrary networks. ACC 2015: 1381-1386 - [c208]Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal actuator placement with optimal control constraints. ACC 2015: 2081-2086 - [c207]Shuo Han, Ufuk Topcu, George J. Pappas:
An approximately truthful mechanism for electric vehicle charging via joint differential privacy. ACC 2015: 2469-2475 - [c206]Sérgio Daniel Pequito, Soummya Kar, George J. Pappas:
Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach. ACC 2015: 4099-4105 - [c205]Konstantinos Gatsis, Ufuk Topcu, George J. Pappas:
Value of forecasts in planning under uncertainty. ACC 2015: 5043-5049 - [c204]Cameron Nowzari, Jorge Cortés, George J. Pappas:
Team-triggered coordination of robotic networks for optimal deployment. ACC 2015: 5744-5751 - [c203]Sérgio Daniel Pequito, Paul Bogdan, George J. Pappas:
Minimum number of probes for brain dynamics observability. CDC 2015: 306-311 - [c202]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
Control with random access wireless sensors. CDC 2015: 318-323 - [c201]Sérgio Pequito, Victor M. Preciado, George J. Pappas:
Distributed leader selection. CDC 2015: 962-967 - [c200]Saad A. Aleem, Cameron Nowzari, George J. Pappas:
Self-triggered pursuit of a single evader. CDC 2015: 1433-1440 - [c199]Shuo Han, Ufuk Topcu, George J. Pappas:
A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems. CDC 2015: 2049-2054 - [c198]Fei Miao, Shuo Han, Shan Lin, George J. Pappas:
Robust taxi dispatch under model uncertainties. CDC 2015: 2816-2821 - [c197]J. Frederico Carvalho, Sérgio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas:
Static output feedback: On essential feasible information patterns. CDC 2015: 3989-3994 - [c196]Xiangyu Meng, Lihua Xie, Yeng Chai Soh, Cameron Nowzari, George J. Pappas:
Periodic event-triggered average consensus over directed graphs. CDC 2015: 4151-4156 - [c195]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Minimal reachability problems. CDC 2015: 4220-4225 - [c194]Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas:
A general class of spreading processes with non-Markovian dynamics. CDC 2015: 5073-5078 - [c193]Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas:
Attack-resilient state estimation in the presence of noise. CDC 2015: 5827-5832 - [c192]Sérgio Daniel Pequito, George J. Pappas:
Smart building: a private cyber-physical system approach. SWEC@CPSWeek 2015: 1-6 - [c191]Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky:
Automatic verification of linear controller software. EMSOFT 2015: 217-226 - [c190]Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas:
Distributed resource allocation for control of spreading processes. ECC 2015: 2216-2221 - [c189]Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas:
Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach. ICCPS 2015: 100-109 - [c188]Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas:
Decentralized active information acquisition: Theory and application to multi-robot SLAM. ICRA 2015: 4775-4782 - [c187]Augusto Loureiro da Costa, Diego Stéfano Fonseca Ferreira, André Gustavo Scolari Conceição, George J. Pappas:
Embedding the Concurrent Autonomous Agent into a Humanoid Robot*. SyRoCo 2015: 203-208 - [r1]Michael M. Zavlanos, George J. Pappas:
Connectivity of Dynamic Graphs. Encyclopedia of Systems and Control 2015 - [i30]Chinwendu Enyioha, Ali Jadbabaie, Victor M. Preciado, George J. Pappas:
Distributed Resource Allocation for Epidemic control. CoRR abs/1501.01701 (2015) - [i29]Victor M. Preciado, Michael Zargham, Cameron Nowzari, Shuo Han, Masaki Ogura, George J. Pappas:
Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks. CoRR abs/1503.03537 (2015) - [i28]Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal Actuator Placement with Optimal Control Constraints. CoRR abs/1503.04693 (2015) - [i27]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Minimal Reachability Problems. CoRR abs/1503.07021 (2015) - [i26]Fragkiskos Koufogiannis, Shuo Han, George J. Pappas:
Optimality of the Laplace Mechanism in Differential Privacy. CoRR abs/1504.00065 (2015) - [i25]Fragkiskos Koufogiannis, Shuo Han, George J. Pappas:
Gradual Release of Sensitive Data under Differential Privacy. CoRR abs/1504.00429 (2015) - [i24]Cameron Nowzari, Victor M. Preciado, George J. Pappas:
Analysis and Control of Epidemics: A survey of spreading processes on complex networks. CoRR abs/1505.00768 (2015) - [i23]Sérgio Daniel Pequito, George J. Pappas:
Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems. CoRR abs/1507.07207 (2015) - [i22]J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas:
Static Output Feedback: On Essential Feasible Information Patterns. CoRR abs/1509.02383 (2015) - [i21]Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms. CoRR abs/1509.08146 (2015) - [i20]Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas:
Optimal Temporal Logic Planning in Probabilistic Semantic Maps. CoRR abs/1510.06469 (2015) - [i19]Sérgio Daniel Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas:
Analysis and Design of Secured/Resilient Closed-loop Control Systems. CoRR abs/1511.02963 (2015) - [i18]Fragkiskos Koufogiannis, George J. Pappas:
Diffusing Private Data over Networks. CoRR abs/1511.06253 (2015) - [i17]Saad A. Aleem, Cameron Nowzari, George J. Pappas:
Self-triggered Pursuit of a Single Evader with Uncertain Information. CoRR abs/1512.06184 (2015) - 2014
- [j70]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:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [j69]Shun-ichi Azuma, George J. Pappas:
Discrete Abstraction of Stochastic Nonlinear Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(2): 452-458 (2014) - [j68]Jerome Le Ny, George J. Pappas:
Differentially Private Filtering. IEEE Trans. Autom. Control. 59(2): 341-354 (2014) - [j67]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
Optimal Power Management in Wireless Control Systems. IEEE Trans. Autom. Control. 59(6): 1495-1510 (2014) - [j66]Karl Henrik Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin:
Guest Editorial Special Issue on Control of Cyber-Physical Systems. IEEE Trans. Autom. Control. 59(12): 3120-3121 (2014) - [j65]Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal Resource Allocation for Network Protection Against Spreading Processes. IEEE Trans. Control. Netw. Syst. 1(1): 99-108 (2014) - [j64]Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis:
Nonmyopic View Planning for Active Object Classification and Pose Estimation. IEEE Trans. Robotics 30(5): 1078-1090 (2014) - [c186]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially private distributed protocol for electric vehicle charging. Allerton 2014: 242-249 - [c185]Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Controllability and fraction of leaders in infinite networks. CDC 2014: 1359-1364 - [c184]Fragkiskos Koufogiannis, Shuo Han, George J. Pappas:
Computation of privacy-preserving prices in smart grids. CDC 2014: 2142-2147 - [c183]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially private convex optimization with piecewise affine objectives. CDC 2014: 2160-2166 - [c182]Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
Opportunistic sensor scheduling in wireless control systems. CDC 2014: 3777-3782 - [c181]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
Coding sensor outputs for injection attacks detection. CDC 2014: 5776-5781 - [c180]Cameron Nowzari, Victor M. Preciado, George J. Pappas:
Stability analysis of generalized epidemic models over directed networks. CDC 2014: 6197-6202 - [c179]Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas:
Joint estimation and localization in sensor networks. CDC 2014: 6875-6882 - [c178]Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis:
Active Deformable Part Models Inference. ECCV (7) 2014: 281-296 - [c177]Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
Opportunistic scheduling of control tasks over shared wireless channels. ICCPS 2014: 48-59 - [c176]Jerome Le Ny, Ahmed Touati, George J. Pappas:
Real-time privacy-preserving model-based estimation of traffic flows. ICCPS 2014: 92-102 - [c175]Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c174]Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas:
Information acquisition with sensing robots: Algorithms and error bounds. ICRA 2014: 6447-6454 - [c173]Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia:
Automated composition of motion primitives for multi-robot systems from safe LTL specifications. IROS 2014: 1525-1532 - [c172]Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee:
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - [c171]Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, George J. Pappas:
Semantic Localization Via the Matrix Permanent. Robotics: Science and Systems 2014 - [i16]Nikolay Atanasov, Jerome Le Ny, George J. Pappas:
Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks. CoRR abs/1402.0051 (2014) - [i15]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Convex Optimization with Piecewise Affine Objectives. CoRR abs/1403.6135 (2014) - [i14]Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis:
Active Deformable Part Models. CoRR abs/1404.0334 (2014) - [i13]Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas:
Joint Estimation and Localization in Sensor Networks. CoRR abs/1404.3580 (2014) - [i12]Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal Actuator Placement with Bounds on Control Effort. CoRR abs/1409.3289 (2014) - [i11]Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Controllability and Fraction of Leaders in Infinite Network. CoRR abs/1410.1830 (2014) - [i10]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization. CoRR abs/1411.4105 (2014) - [i9]Shuo Han, Victor M. Preciado, Cameron Nowzari, George J. Pappas:
Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks. CoRR abs/1412.2144 (2014) - 2013
- [j63]Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram:
Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. 31(4): 794-807 (2013) - [j62]Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas:
Network Integrity in Mobile Robotic Networks. IEEE Trans. Autom. Control. 58(1): 3-18 (2013) - [j61]Jerome Le Ny, George J. Pappas:
Adaptive Deployment of Mobile Robotic Networks. IEEE Trans. Autom. Control. 58(3): 654-666 (2013) - [c170]Truong X. Nghiem, George J. Pappas, Rahul Mangharam:
Event-based Green scheduling of radiant systems in buildings. ACC 2013: 455-460 - [c169]Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas:
Optimal power management in wireless control systems. ACC 2013: 1562-1569 - [c168]Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas:
Networked realization of discrete-time controllers. ACC 2013: 2996-3001 - [c167]Fei Miao, Miroslav Pajic, George J. Pappas:
Stochastic game approach for replay attack detection. CDC 2013: 1854-1859 - [c166]Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
Power-aware communication for wireless sensor-actuator systems. CDC 2013: 4006-4011 - [c165]Miroslav Pajic, Shreyas Sundaram, George J. Pappas:
Stabilizability over deterministic relay networks. CDC 2013: 4018-4023 - [c164]Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks. CDC 2013: 7486-7491 - [c163]James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee:
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c162]Chinwendu Enyioha, Victor M. Preciado, George J. Pappas:
Bio-inspired strategy for control of viral spreading in networks. HiCoNS 2013: 33-40 - [c161]Jerome Le Ny, George J. Pappas:
Privacy-preserving release of aggregate dynamic models. HiCoNS 2013: 49-56 - [c160]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c159]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - [c158]Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, Thomas Koletschka, George J. Pappas, Kostas Daniilidis:
Hypothesis testing framework for active object detection. ICRA 2013: 4216-4222 - [i8]Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks. CoRR abs/1303.3984 (2013) - [i7]Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas:
Information Acquisition with Sensing Robots: Algorithms and Error Bounds. CoRR abs/1309.5390 (2013) - [i6]Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis:
Nonmyopic View Planning for Active Object Detection. CoRR abs/1309.5401 (2013) - [i5]Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal Resource Allocation for Network Protection: A Geometric Programming Approach. CoRR abs/1309.6270 (2013) - 2012
- [j60]Shreyas Sundaram, Shai Revzen, George J. Pappas:
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Autom. 48(11): 2894-2901 (2012) - [j59]Jerome Le Ny, Alejandro Ribeiro, George J. Pappas:
Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems. IEEE J. Sel. Areas Commun. 30(5): 923-934 (2012) - [j58]Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas:
Stochastic Source Seeking by Mobile Robots. IEEE Trans. Autom. Control. 57(9): 2308-2321 (2012) - [j57]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard:
Time-Triggered Implementations of Dynamic Controllers. ACM Trans. Embed. Comput. Syst. 11(S2): 58:1-58:24 (2012) - [c157]Jerome Le Ny, George J. Pappas:
Differentially private Kalman filtering. Allerton Conference 2012: 1618-1625 - [c156]Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Scalable scheduling of building control systems for peak demand reduction. ACC 2012: 3050-3055 - [c155]Jerome Le Ny, Alejandro Ribeiro, George J. Pappas:
Adaptive communication-constrained deployment of mobile robotic networks. ACC 2012: 3742-3747 - [c154]Jerome Le Ny, George J. Pappas:
Differentially private filtering. CDC 2012: 3398-3403 - [c153]Christoffer Sloth, Rafael Wisniewski, George J. Pappas:
On the existence of compositional barrier certificates. CDC 2012: 4580-4585 - [c152]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling for radiant systems in buildings. CDC 2012: 7577-7582 - [c151]Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee:
HMM-based characterization of channel behavior for networked control systems. HiCoNS 2012: 11-20 - [c150]Christoffer Sloth, George J. Pappas, Rafael Wisniewski:
Compositional safety analysis using barrier certificates. HSCC 2012: 15-24 - [c149]Nikolay Atanasov, Jerome Le Ny, Nathan Michael, George J. Pappas:
Stochastic source seeking in complex environments. ICRA 2012: 3013-3018 - [c148]Jerome Le Ny, George J. Pappas:
Sequential composition of robust controller specifications. ICRA 2012: 5190-5195 - [c147]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36 - [e3]George J. Pappas:
BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, Toronto, Canada, November 6, 2012. ACM 2012, ISBN 978-1-4503-1170-0 [contents] - [i4]Jerome Le Ny, George J. Pappas:
Differentially Private Filtering. CoRR abs/1207.4305 (2012) - [i3]Jerome Le Ny, George J. Pappas:
Differentially Private Kalman Filtering. CoRR abs/1207.4592 (2012) - 2011
- [j56]Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas:
Inferring stable genetic networks from steady-state data. Autom. 47(6): 1113-1122 (2011) - [j55]Antoine Girard, George J. Pappas:
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. Eur. J. Control 17(5-6): 568-578 (2011) - [j54]Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas:
Modeling, control and experimental characterization of microbiorobots. Int. J. Robotics Res. 30(6): 647-658 (2011) - [j53]Michael M. Zavlanos, Magnus Egerstedt, George J. Pappas:
Graph-Theoretic Connectivity Control of Mobile Robot Networks. Proc. IEEE 99(9): 1525-1540 (2011) - [j52]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. 56(10): 2305-2318 (2011) - [j51]Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss:
Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. 56(10): 2345-2357 (2011) - [c146]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Network synthesis for dynamical system stabilization. ACSCC 2011: 821-825 - [c145]Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas:
A framework for integrating mobility and routing in mobile communication networks. ACSCC 2011: 1461-1465 - [c144]Truong X. Nghiem, George J. Pappas:
Receding-horizon supervisory control of green buildings. ACC 2011: 4416-4421 - [c143]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Topological conditions for wireless control networks. CDC/ECC 2011: 2353-2360 - [c142]Jerome Le Ny, Alejandro Ribeiro, George J. Pappas:
Robot deployment with end-to-end communication constraints. CDC/ECC 2011: 4232-4238 - [c141]Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Green scheduling of control systems for peak demand reduction. CDC/ECC 2011: 5131-5136 - [c140]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling: Scheduling of control systems for peak power reduction. IGCC 2011: 1-8 - [c139]George J. Pappas:
Wireless control networks: modeling, synthesis, robustness, security. HSCC 2011: 1-2 - [c138]Jerome Le Ny, Eric Feron, George J. Pappas:
Resource constrained LQR control under fast sampling. HSCC 2011: 271-280 - [c137]Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas:
Reputation-based networked control with data-corrupting channels. HSCC 2011: 291-300 - [c136]Mahmut Selman Sakar, Edward B. Steager, Anthony Cowley, Vijay Kumar, George J. Pappas:
Wireless manipulation of single cells using magnetic microtransporters. ICRA 2011: 2668-2673 - [c135]Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas:
Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118 - [c134]Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS 2011: 295-304 - 2010
- [j50]Oussama Khatib, Vijay Kumar, George J. Pappas:
Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics. Int. J. Robotics Res. 29(5): 483-484 (2010) - [c133]Shun-ichi Azuma, George J. Pappas:
Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach. ACC 2010: 1035-1040 - [c132]Nader Motee, Ali Jadbabaie, George J. Pappas:
Path planning for multiple robots: An alternative duality approach. ACC 2010: 1611-1616 - [c131]Jerome Le Ny, George J. Pappas:
Geometric programming and mechanism design for air traffic conflict resolution. ACC 2010: 3069-3074 - [c130]Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas:
Distributed control of the Laplacian spectral moments of a network. ACC 2010: 4462-4467 - [c129]Jerome Le Ny, George J. Pappas:
Sensor-based robot deployment algorithms. CDC 2010: 5486-5492 - [c128]Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas:
The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984 - [c127]Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas:
Nonholonomic source seeking in switching random fields. CDC 2010: 6337-6342 - [c126]Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas:
Mobility & routing control in networks of robots. CDC 2010: 7545-7550 - [c125]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581 - [c124]Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas:
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220 - [c123]Jerome Le Ny, George J. Pappas:
Robustness analysis for the certification of digital controller implementations. ICCPS 2010: 99-108 - [c122]Nader Motee, Ali Jadbabaie, George J. Pappas:
A duality approach to path planning for multiple robots. ICRA 2010: 935-940 - [c121]Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas:
Biosensing and actuation for microbiorobots. ICRA 2010: 3141-3146 - [c120]Hadas Kress-Gazit, George J. Pappas:
Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA 2010: 3215-3220 - [i2]Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas:
Distributed Control of the Laplacian Spectral Moments of a Network. CoRR abs/1001.4122 (2010) - [i1]Jerome Le Ny, George J. Pappas:
Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks. CoRR abs/1011.0520 (2010)
2000 – 2009
- 2009
- [j49]Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas:
Temporal logic motion planning for dynamic robots. Autom. 45(2): 343-352 (2009) - [j48]Antoine Girard, George J. Pappas:
Hierarchical control system design using approximate simulation. Autom. 45(2): 566-571 (2009) - [j47]A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas:
Approximate equivalence and synchronization of metric transition systems. Syst. Control. Lett. 58(2): 94-101 (2009) - [j46]A. Agung Julius, George J. Pappas:
Approximations of Stochastic Hybrid Systems. IEEE Trans. Autom. Control. 54(6): 1193-1203 (2009) - [j45]Michael M. Zavlanos, Herbert G. Tanner, Ali Jadbabaie, George J. Pappas:
Hybrid Control for Connectivity Preserving Flocking. IEEE Trans. Autom. Control. 54(12): 2869-2875 (2009) - [j44]Georgios E. Fainekos, George J. Pappas:
Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009) - [j43]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics 25(6): 1370-1381 (2009) - [j42]Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, Nicholas Vander Valk, Nathan Michael, George J. Pappas, Kostas Daniilidis:
Vision-Based Localization for Leader-Follower Formation Control. IEEE Trans. Robotics 25(6): 1431-1438 (2009) - [c119]Michael M. Zavlanos, Daniel E. Koditschek, George J. Pappas:
A distributed dynamical scheme for fastest mixing Markov chains. ACC 2009: 1436-1441 - [c118]Georgios E. Fainekos, George J. Pappas:
MTL robust testing and verification for LPV systems. ACC 2009: 3748-3753 - [c117]Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas:
Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414 - [c116]Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas:
Robust stability of multi-hop control networks. CDC 2009: 2210-2215 - [c115]Jerome Le Ny, George J. Pappas:
On trajectory optimization for active sensing in Gaussian process models. CDC 2009: 6286-6292 - [c114]Jerome Le Ny, Michael M. Zavlanos, George J. Pappas:
Resource allocation for signal detection with active sensors. CDC 2009: 8561-8566 - [c113]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:
3D segmentation of rodent brains using deformable models and variational methods. CVPR Workshops 2009: 94-100 - [c112]George J. Pappas:
Approximations of Discrete, Continuous, and Hybrid Systems. FORMATS 2009: 12 - [c111]A. Agung Julius, George J. Pappas:
Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236 - [c110]A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas:
Harnessing bacterial power in microscale actuation. ICRA 2009: 1004-1009 - [c109]Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George J. Pappas:
Multi-vehicle path planning in dynamically changing environments. ICRA 2009: 2449-2454 - [c108]Jinghao Zhou, Sukmoon Chang, Shaoting Zhang, George J. Pappas, Michael Michaelides, Foteini Delis, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas:
Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method. ISBI 2009: 498-501 - [c107]Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss:
Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232 - [e2]Oussama Khatib, Vijay Kumar, George J. Pappas:
Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece. Springer Tracts in Advanced Robotics 54, Springer 2009, ISBN 978-3-642-00195-6 [contents] - 2008
- [j41]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Translating Structured English to Robot Controllers. Adv. Robotics 22(12): 1343-1359 (2008) - [j40]Michael M. Zavlanos, George J. Pappas:
A dynamical systems approach to weighted graph matching. Autom. 44(11): 2817-2824 (2008) - [j39]Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate Simulation Relations for Hybrid Systems. Discret. Event Dyn. Syst. 18(2): 163-179 (2008) - [j38]Rajeev Alur, George J. Pappas:
Introduction. Formal Methods Syst. Des. 32(1): 1 (2008) - [j37]Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, George J. Pappas:
Courteous Cars. IEEE Robotics Autom. Mag. 15(1): 30-38 (2008) - [j36]Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas:
Approximate reduction of dynamic systems. Syst. Control. Lett. 57(7): 538-545 (2008) - [j35]A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar, George J. Pappas:
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. IEEE Trans. Autom. Control. 53: 51-65 (2008) - [j34]Michael M. Zavlanos, George J. Pappas:
Dynamic Assignment in Distributed Motion Planning With Local Coordination. IEEE Trans. Robotics 24(1): 232-242 (2008) - [j33]Michael M. Zavlanos, George J. Pappas:
Distributed Connectivity Control of Mobile Networks. IEEE Trans. Robotics 24(6): 1416-1428 (2008) - [c106]Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, George J. Pappas:
Distributed topology control of dynamic networks. ACC 2008: 2660-2665 - [c105]Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas:
Identification of stable genetic networks using convex programming. ACC 2008: 2755-2760 - [c104]Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, Vijay Kumar:
Elastic multi-particle systems for bounded-curvature path planning. ACC 2008: 5035-5040 - [c103]Hadas Kress-Gazit, George J. Pappas:
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. CASE 2008: 766-771 - [c102]Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar:
Recycling controllers. CASE 2008: 772-777 - [c101]A. Agung Julius, Marcin Imielinski, George J. Pappas:
Metabolic networks analysis using convex optimization. CDC 2008: 762-767 - [c100]Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas:
A distributed auction algorithm for the assignment problem. CDC 2008: 1212-1217 - [c99]A. Agung Julius, George J. Pappas:
Probabilistic testing for stochastic hybrid systems. CDC 2008: 4030-4035 - [c98]Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas:
Distributed multi-robot task assignment and formation control. ICRA 2008: 128-133 - [c97]Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas:
A novel learning based segmentation method for rodent brain structures using MRI. ISBI 2008: 61-64 - [c96]Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas:
Maintaining Connectivity in Mobile Robot Networks. ISER 2008: 117-126 - 2007
- [j32]Antoine Girard, George J. Pappas:
Approximate bisimulation relations for constrained linear systems. Autom. 43(8): 1307-1317 (2007) - [j31]Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas:
Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robotics Autom. Mag. 14(1): 61-70 (2007) - [j30]Antoine Girard, George J. Pappas:
Approximation Metrics for Discrete and Continuous Systems. IEEE Trans. Autom. Control. 52(5): 782-798 (2007) - [j29]Herbert G. Tanner, Ali Jadbabaie, George J. Pappas:
Flocking in Fixed and Switching Networks. IEEE Trans. Autom. Control. 52(5): 863-868 (2007) - [j28]Stephen Prajna, Ali Jadbabaie, George J. Pappas:
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Trans. Autom. Control. 52(8): 1415-1428 (2007) - [j27]Michael M. Zavlanos, George J. Pappas:
Potential Fields for Maintaining Connectivity of Mobile Networks. IEEE Trans. Robotics 23(4): 812-816 (2007) - [c95]Michael M. Zavlanos, George J. Pappas:
Dynamic Assignment in Distributed Motion Planning with Limited Information. ACC 2007: 1173-1178 - [c94]A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas:
Controlling biological systems: the lactose regulation system of Escherichia coli. ACC 2007: 1305-1310 - [c93]Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas:
Stable multi-particle systems and application in multi-vehicle path planning and coverage. CDC 2007: 1467-1472 - [c92]Michael M. Zavlanos, George J. Pappas:
Distributed formation control with permutation symmetries. CDC 2007: 2894-2899 - [c91]Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas:
Flocking while preserving network connectivity. CDC 2007: 2919-2924 - [c90]Michael M. Zavlanos, George J. Pappas:
Distributed connectivity control of mobile networks. CDC 2007: 3591-3596 - [c89]Antoine Girard, George J. Pappas:
Approximate hierarchies of linear control systems. CDC 2007: 3727-3732 - [c88]A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas:
Hybrid model predictive control of induction of Escherichia coli. CDC 2007: 3913-3918 - [c87]Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, Stefano Di Gennaro:
Verification of temporal properties on hybrid automata by simulation relations. CDC 2007: 4039-4044 - [c86]Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas:
Approximate timed abstractions of hybrid automata. CDC 2007: 4045-4050 - [c85]Georgios E. Fainekos, George J. Pappas:
Robust Sampling for MITL Specifications. FORMATS 2007: 147-162 - [c84]Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216 - [c83]A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342 - [c82]Michael M. Zavlanos, George J. Pappas:
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. HSCC 2007: 787-789 - [c81]Peng Cheng, George J. Pappas, Vijay Kumar:
Decidability of Motion Planning with Differential Constraints. ICRA 2007: 1826-1831 - [c80]Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis:
Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. ICRA 2007: 2403-2408 - [c79]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121 - [c78]Michael M. Zavlanos, George J. Pappas:
Sensor-Based Dynamic Assignment in Distributed Motion Planning. ICRA 2007: 3333-3338 - [c77]David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas:
Valet parking without a valet. IROS 2007: 572-577 - [c76]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
From structured english to robot motion. IROS 2007: 2717-2722 - 2006
- [j26]Paulo Tabuada, George J. Pappas:
Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Autom. 42(10): 1833 (2006) - [j25]Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j24]Ben Grocholsky, James Keller, Vijay Kumar, George J. Pappas:
Cooperative air and ground surveillance. IEEE Robotics Autom. Mag. 13(3): 16-25 (2006) - [j23]Paulo Tabuada, George J. Pappas:
Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. Autom. Control. 51(12): 1862-1877 (2006) - [c75]Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate simulation Relations for Hybrid Systems. ADHS 2006: 106-111 - [c74]A. Agung Julius, Antoine Girard, George J. Pappas:
Approximate bisimulation for a class of stochastic hybrid systems. ACC 2006: 1-6 - [c73]A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas:
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli. CDC 2006: 19-24 - [c72]Antoine Girard, George J. Pappas:
Hierarchical Control using Approximate Simulation Relations. CDC 2006: 264-269 - [c71]Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas:
Translating Temporal Logic to Controller Specifications. CDC 2006: 899-904 - [c70]A. Agung Julius, George J. Pappas:
Approximate equivalence and approximate synchronization of metric transition systems. CDC 2006: 905-910 - [c69]Michael M. Zavlanos, George J. Pappas:
A Dynamical Systems Approach to Weighted Graph Matching. CDC 2006: 3492-3497 - [c68]Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, George J. Pappas:
Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications. CDC 2006: 5293-5298 - [c67]Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas:
Approximate Reduction of Dynamical Systems. CDC 2006: 6408-6413 - [c66]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard:
Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11 - [c65]Georgios E. Fainekos, George J. Pappas:
Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192 - [c64]Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186 - [c63]Antoine Girard, George J. Pappas:
Verification Using Simulation. HSCC 2006: 272-286 - [c62]Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406 - [c61]Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar:
An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. ISER 2006: 491-500 - 2005
- [j22]Paulo Tabuada, George J. Pappas:
Hierarchical trajectory refinement for a class of nonlinear systems. Autom. 41(4): 701-708 (2005) - [j21]Paulo Tabuada, George J. Pappas:
Quotients of Fully Nonlinear Control Systems. SIAM J. Control. Optim. 43(5): 1844-1866 (2005) - [j20]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005) - [j19]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Motion feasibility of multi-agent formations. IEEE Trans. Robotics 21(3): 387-392 (2005) - [j18]Calin Belta, Volkan Isler, George J. Pappas:
Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Trans. Robotics 21(5): 864-874 (2005) - [c60]Gian Luca Mariottini, George J. Pappas, Domenico Prattichizzo, Kostas Daniilidis:
Vision-based Localization of Leader-Follower Formations. CDC/ECC 2005: 635-640 - [c59]Nicolò Giorgetti, George J. Pappas, Alberto Bemporad:
Bounded Model Checking of Hybrid Dynamical Systems. CDC/ECC 2005: 672-677 - [c58]Antoine Girard, George J. Pappas:
Approximate Bisimulations for Nonlinear Dynamical Systems. CDC/ECC 2005: 684-689 - [c57]Antoine Girard, George J. Pappas:
Approximate Bisimulations for Constrained Linear Systems. CDC/ECC 2005: 4700-4705 - [c56]Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas:
Hybrid Controllers for Path Planning: A Temporal Logic Approach. CDC/ECC 2005: 4885-4890 - [c55]Michael M. Zavlanos, George J. Pappas:
Controlling Connectivity of Dynamic Graphs. CDC/ECC 2005: 6388-6393 - [c54]Mohamed Babaali, George J. Pappas:
Observability of Switched Linear Systems in Continuous Time. HSCC 2005: 103-117 - [c53]Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas:
Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025 - [c52]Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, George J. Pappas:
Information Driven Coordinated Air-Ground Proactive Sensing. ICRA 2005: 2211-2216 - [c51]Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur:
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120 - 2004
- [j17]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Compositional Abstractions of Hybrid Control Systems. Discret. Event Dyn. Syst. 14(2): 203-238 (2004) - [j16]Paulo Tabuada, George J. Pappas:
Bisimilar control affine systems. Syst. Control. Lett. 52(1): 49-58 (2004) - [j15]Rajeev Alur, Salvatore La Torre, George J. Pappas:
Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004) - [j14]Herbert G. Tanner, George J. Pappas, Vijay Kumar:
Leader-to-formation stability. IEEE Trans. Robotics 20(3): 443-455 (2004) - [c50]Hakan Yazarel, George J. Pappas:
Geometric programming relaxations for linear system reachability. ACC 2004: 553-559 - [c49]Stephen Prajna, Ali Jadbabaie, George J. Pappas:
Stochastic safety verification using barrier certificates. CDC 2004: 929-934 - [c48]Selcuk Bayraktar, Georgios E. Fainekos, George J. Pappas:
Experimental cooperative control of fixed-wing unmanned aerial vehicles. CDC 2004: 4292-4298 - [c47]Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas:
Hybrid control for visibility-based pursuit-evasion games. IROS 2004: 1432-1437 - [c46]Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas:
Synergies in Feature Localization by Air-Ground Robot Teams. ISER 2004: 352-361 - [e1]Rajeev Alur, George J. Pappas:
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993, Springer 2004, ISBN 3-540-21259-0 [contents] - 2003
- [j13]Paulo Tabuada, George J. Pappas:
Abstractions of Hamiltonian control systems. Autom. 39(12): 2025-2033 (2003) - [j12]George J. Pappas:
Bisimilar linear systems. Autom. 39(12): 2035-2047 (2003) - [j11]Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91(1): 11-28 (2003) - [j10]Paulo Tabuada, George J. Pappas:
From nonlinear to Hamiltonian via feedback. IEEE Trans. Autom. Control. 48(8): 1439-1442 (2003) - [c45]Herbert G. Tanner, George J. Pappas:
Abstractions of constrained linear systems. ACC 2003: 3381-3386 - [c44]Paulo Tabuada, George J. Pappas:
Finite bisimulations of controllable linear systems. CDC 2003: 634-639 - [c43]Herbert G. Tanner, Ali Jadbabaie, George J. Pappas:
Stable flocking of mobile agents, part I: fixed topology. CDC 2003: 2010-2015 - [c42]Herbert G. Tanner, Ali Jadbabaie, George J. Pappas:
Stable flocking of mobile agents part I: dynamic topology. CDC 2003: 2016-2021 - [c41]Paulo Tabuada, George J. Pappas:
From discrete specifications to hybrid control. CDC 2003: 3366-3371 - [c40]Paulo Tabuada, George J. Pappas:
Hierarchical trajectory generation for a class of nonlinear systems. CDC 2003: 6090-6095 - [c39]Paulo Tabuada, George J. Pappas:
Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513 - 2002
- [j9]Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug:
Modeling and analyzing biomolecular networks. Comput. Sci. Eng. 4(1): 20-31 (2002) - [j8]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:
A Framework and Architecture for Multi-Robot Coordination. Int. J. Robotics Res. 21(10-11): 977-998 (2002) - [j7]George J. Pappas, Slobodan Simic:
Consistent abstractions of affine control systems. IEEE Trans. Autom. Control. 47(5): 745-756 (2002) - [c38]Pradyumna Mishra, George J. Pappas:
Flying hot potatoes [air traffic management]. ACC 2002: 754-759 - [c37]Paulo Tabuada, George J. Pappas:
Discrete synchronization of hybrid systems. CDC 2002: 22-27 - [c36]Paulo Tabuada, George J. Pappas:
From nonlinear to Hamiltonian via feedback. CDC 2002: 1515-1520 - [c35]Paulo Tabuada, George J. Pappas:
Bisimilar control affine systems. CDC 2002: 2373-2378 - [c34]Herbert G. Tanner, George J. Pappas, Vijay Kumar:
Input-to-state stability on formation graphs. CDC 2002: 2439-2444 - [c33]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450 - [c32]Herbert G. Tanner, Vijay Kumar, George J. Pappas:
The Effect of Feedback and Feedforward on Formation ISS. ICRA 2002: 3448-3453 - [c31]Benjamin Grocholsky, Rahul Swaminathan, Vijay Kumar, Camillo J. Taylor, George J. Pappas:
Coordinated perception by teams of aerial and ground robots. Mobile Robots 2002: 181-191 - [c30]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
Bisimulation Relations for Dynamical and Control Systems. CTCS 2002: 120-136 - 2001
- [j6]Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001) - [c29]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Feasible formations of multi-agent systems. ACC 2001: 56-61 - [c28]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Compositional abstractions of hybrid control systems. CDC 2001: 352-357 - [c27]Joel M. Esposito, Vijay Kumar, George J. Pappas:
Multi-agent hybrid system simulation. CDC 2001: 780-785 - [c26]Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap:
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC 2001: 869-874 - [c25]Tak-John Koo, George J. Pappas, Shankar Sastry:
Multi-modal control of systems with constraints. CDC 2001: 2075-2080 - [c24]George J. Pappas, Gerardo Lafferriere:
Hierarchies of stabilizability preserving linear systems. CDC 2001: 2081-2086 - [c23]Paulo Tabuada, George J. Pappas:
Abstractions of Hamiltonian control systems. CDC 2001: 3394-3399 - [c22]Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31 - [c21]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Cyclic directed formations of multi-agent systems. ECC 2001: 539-544 - [c20]Maria Prandini, João P. Hespanha, George J. Pappas:
Greedy control for hybrid pursuit games. ECC 2001: 2621-2626 - [c19]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Hybrid abstractions: A search and rescue case study. ECC 2001: 3864-3869 - [c18]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:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c17]Rajeev Alur, Salvatore La Torre, George J. Pappas:
Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62 - [c16]Joel M. Esposito, Vijay Kumar, George J. Pappas:
Accurate Event Detection for Simulating Hybrid Systems. HSCC 2001: 204-217 - [c15]Tak-John Koo, George J. Pappas, Shankar Sastry:
Mode Switching Synthesis for Reachability Specifications. HSCC 2001: 333-346 - [c14]Omid Shakernia, George J. Pappas, Shankar Sastry:
Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC 2001: 487-500 - [c13]Paulo Tabuada, George J. Pappas:
Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514 - 2000
- [j5]Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
O-Minimal Hybrid Systems. Math. Control. Signals Syst. 13(1): 1-21 (2000) - [j4]Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas:
Discrete abstractions of hybrid systems. Proc. IEEE 88(7): 971-984 (2000) - [j3]George J. Pappas, Gerardo Lafferriere, Shankar Sastry:
Hierarchically consistent control systems. IEEE Trans. Autom. Control. 45(6): 1144-1160 (2000) - [c12]Omid Shakernia, George J. Pappas, Shankar Sastry:
Semidecidable controller synthesis for classes of linear hybrid systems. CDC 2000: 1834-1839 - [c11]George J. Pappas, Wanquan N. Simic:
Consistent hierarchies of nonlinear abstractions. CDC 2000: 4379-4384 - [c10]Omid Shakernia, Shankar Sastry, George J. Pappas:
Decidable Controller Synthesis for Classes of Linear Systems. HSCC 2000: 407-420 - [c9]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:
A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312
1990 – 1999
- 1999
- [c8]Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151 - 1998
- [j2]Claire J. Tomlin, George J. Pappas, Shankar Sastry:
Conflict resolution for air traffic management: a study in multiagent hybrid systems. IEEE Trans. Autom. Control. 43(4): 509-521 (1998) - [c7]Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
Subanalytic Stratifications and Bisimulations. HSCC 1998: 205-220 - [c6]John Lygeros, George J. Pappas, Shankar Sastry:
An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304 - 1997
- [c5]Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
Hybrid Systems with Finite Bisimulations. Hybrid Systems 1997: 186-203 - [c4]Jana Kosecka, Claire J. Tomlin, George J. Pappas, Shankar Sastry:
Generation of conflict resolution manoeuvres for air traffic management. IROS 1997: 1598-1603 - [c3]Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire J. Tomlin:
SmartATMS: A Simulator for Air Traffic Management Systems. WSC 1997: 1199-1205 - 1996
- [c2]George J. Pappas, Shankar Sastry:
Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems 1996: 329-341 - [c1]Claire J. Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry:
Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404 - 1993
- [j1]George J. Pappas, Diederich Hinrichsen:
Robust stability of linear systems described by higher-order dynamic equations. IEEE Trans. Autom. Control. 38(9): 1430-1435 (1993)
Coauthor Index
Nikolay Atanasov 0001
aka: Nikolay A. Atanasov
aka: Nikolay A. Atanasov
Georgios Fainekos
aka: Georgios E. Fainekos
aka: Georgios E. Fainekos
Seyed Hamed Hassani
aka: Hamed Hassani
aka: Hamed Hassani
[i203] [i202] [i200] [i199] [j141] [j140] [c390] [c382] [c381] [c374] [c373] [i196] [i195] [i192] [i191] [i188] [i185] [i184] [i176] [i175] [c354] [c351] [i172] [i170] [i158] [i150] [i149] [i148] [c348] [c347] [c341] [c340] [c336] [c335] [i145] [i143] [i142] [i140] [i138] [i133] [i131] [i130] [j114] [c330] [c327] [c319] [c311] [c310] [c309] [c307] [i116] [i115] [i104] [i102] [i93] [i91] [c277] [c276] [i76] [i71] [i68] [i49]
[j126] [j113] [c312] [e5] [e4] [j96] [i72] [c273] [c262] [i61] [i59] [i58] [i55] [c254] [c245] [c244] [i46] [i41] [i39] [j74] [c234] [c228] [c225] [i34] [i33] [i32] [c208] [c195] [c190] [i30] [i28] [i27] [i21] [j65] [c185] [i12] [i11] [c164] [i8] [i5] [c132] [c130] [c122] [i2] [j45] [c109] [c106] [c104] [j29] [j28] [c93] [c91] [c68] [c61] [c49] [c43] [c42]
A. Agung Julius
aka: Agung Julius
aka: Agung Julius
Dionysios S. Kalogerias
aka: Dionysis Kalogerias
aka: Dionysis Kalogerias
[i199] [i179] [i176] [c371] [c370] [c360] [c359] [c352] [i160] [i156] [i152] [c338] [i137] [i128] [i127] [j116] [j108] [c321] [i117] [c296] [c295] [c294] [i83] [c283] [i77] [j87] [c271] [c270] [i60] [j82] [c236] [c215] [c213] [c212] [j70] [c173] [j54] [c136] [j50] [c121] [c110] [e2] [j35] [c104] [c102] [c98] [c96] [c94] [c93] [c81] [j24] [c73] [c68] [c61] [c52] [j14] [c46] [j11] [j9] [j8] [c34] [c32] [c31] [c27] [c26] [c22] [c16] [c9]
Truong Nghiem
aka: Truong X. Nghiem
aka: Truong X. Nghiem
Sérgio Daniel Pequito
aka: Sérgio Pequito
aka: Sérgio Pequito
[j142] [c370] [c359] [c352] [i160] [i156] [i152] [j115] [c333] [c313] [c310] [i102] [i101] [j100] [c305] [c301] [c299] [c298] [i97] [i92] [j92] [c283] [i77] [i73] [i65] [i64] [i63] [j90] [c272] [c261] [c257] [c248] [c229] [c224] [c218] [j72] [c202] [j67] [c182] [c177] [j62] [c169] [c166] [j59] [c155] [c145] [c142] [c126]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-17 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
