Publications - George J. Pappas
Publications
Journal Articles
Federated TD Learning with Linear Function Approximation under Environmental Heterogeneity
, Han Wang, Aritra Mitra, Hamed Hassani, George J. Pappas, James Anderson,Transactions on Machine Learning Research,2835-8856,2024 (2024)
DOI
Control for Societal-Scale Challenges: Road Map 2030
. A. M. Annaswamy, K. H. Johansson and G. Pappas, in IEEE Control Systems Magazine, vol. 44, no. 3, pp. 30-32 (2024)
DOI
Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning,
Aritra Mitra, George J. Pappas, Hamed Hassani, Transactions on Machine Learning Research (2024)
DOI
Linear quadratic control with risk constraints
. Anastasios Tsiamis, Dionysios Kalogerias, Alejandro Ribeiro, George J. Pappas. Automatica. Under revision (2024)
DOI
Macroscopic resting-state brain dynamics are best described by linear models
. Erfan Nozari, Maxwell Bertolero, Eli Cornblath, Arun Mahadevan, Lorenzo Caciagli, Xiaosong He, George J. Pappas, and Danielle Bassett, Nature. Biomedical. Engineering 8, 68–84. (2024)
DOI
Statistical Learning Theory for Control: A Finite-Sample Perspective
. A. Tsiamis, I. Ziemann, N. Matni and G. J. Pappas, in IEEE Control Systems Magazine, vol. 43, no. 6, pp. 67-97. (2023)
DOI
Safe Planning in Dynamic Environments Using Conformal Prediction
. L. Lindemann, M. Cleaveland, G. Shim and G. J. Pappas, in IEEE Robotics and Automation Letters, vol. 8, no. 8, pp. 5116-5123, (2023)
DOI
Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams
. Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J Pappas, Jonathan P How, in IEEE Transactions on Robotics, vol. 39, no. 4, pp. 2585-2602. (2023)
DOI
Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling
. N. Dal Fabbro, A. Mitra and G. J. Pappas, in IEEE Control Systems Letters, vol. 7, pp. 2461-2466. (2023)
DOI
Online learning for the Kalman filter with logarithmic regret
. Anastasios Tsiamis, George J. Pappas, IEEE Transactions on Automatic Control, Special Issue on Learning and Control, 68(5):2774-2789. (2023)
DOI
Risk of Stochastic Systems for Temporal Logic Specifications
. Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas. ACM Transactions on Embedded Computing Systems, 22(1):1-31. (2023)
DOI
eRoute: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems under Disruptive Events
. Yukun Yan, Desheng Zhang, Fei Miao, John Stankovic, Tian He, George J. Pappas, Shan Lin. IEEE Transactions on Mobile Computing. vol. 22, no. 2, pp. 906-922, 1. (2023)
DOI
Combined Left and Right Temporal Robustness for Control under STL specifications
. Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas. IEEE Control Systems Letters, 7:619-624. (2023)
DOI
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
. Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas, ACM Transactions on Embedded Computing Systems, 22(1):1-44. (2023)
DOI
Risk verification of stochastic systems with neural network controllers
. Matthew Cleveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas, Artificial Intelligence Journal, vol 313, article 103782. (2022)
DOI
Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints
. Sean Bowman, Kostas Daniilidis, George J. Pappas, Journal of Field Robotics, 2:513-524. (2022)
DOI
Reactive and Risk-Aware Control for Signal Temporal Logic
. Lars Lindemann, George J. Pappas, Dimos Dimarogonas. IEEE Transactions on Automatic Control. 67(10):5262-5277. (2022)
DOI
Distributed Attack-Robust Submodular Maximization for Multi-Robot Planningv.
Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar, IEEE Transactions on Robotics. 38(5):3097-3112. (2022)
DOI
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
. Y. Kantaros, S. Kalluraya, Q. Jin and G. J. Pappas, in IEEE Transactions on Robotics, vol. 38, no. 4, pp. 2536-2556. (2022)
DOI
Learning operators with coupled attention
. Georgios Kissas, Jaco Seidman, Leonardo F. Guilhoto, Victor Preciado, George J. Pappas, Paris Perdikaris. Journal of Machine Learning Research, 23(215):1-63. (2022)
DOI
Private Weighted Sum Aggregation
. Andreea Alexandru, George J. Pappas. IEEE Transactions on Control of Network Systems. 9(1):219-230. (2022)
DOI
Resilient Active Information Acquisition with Teams of Robots
. Brent Schlotfeldt, Vasileios Tzoumas, and George J. Pappas, IEEE Transactions on Robotics, 38(1):244-261. (2022)
DOI
Online learning-based trajectory tracking for underactuated vehicles with uncertain dynamics
. Thomas Beckers, Leonardo Colombo, Sandra Hirche, George J. Pappas, IEEE Control System Letters, volume 6, pages 2090-2095. (2022)
DOI
Robust and Adaptive Sequential Submodular Optimization
. Vasileios Tzoumas, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control. 67(1):89-104. (2022)
DOI
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
. Mahyar Fazlyab, Manfred Morari, George J. Pappas. IEEE Transactions on Automatic Control. 67(1):1-15. (2022)
DOI
On the Structural Target Controllability of Undirected Networks
. Jingqi Li, Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. IEEE Transactions on Automatic Control. 66(10):4836-4843. (2021)
DOI
Sampling-based Planning for Non-myopic Multi-Robot Information Gathering
. Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas. Autonomous Robots. (2021)
DOI
Stochastic Motion Planning under Partial Observability for Mobile Robots with Continuous Range Measurements
. Ke Sun, Brent Schlotfeldt, George J. Pappas, Vijay Kumar, IEEE Transactions on Robotics, 37(3):979-995, (2021)
DOI
Encrypted control for networked systems - An illustrative introduction and current challenges
. Moritz Schulze Darup, Andreea B. Alexandru, Daniel E. Quevedo, and George J. Pappas, IEEE Control Systems Magazine. 41(3):58-78. (2021)
DOI
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
. Andreea Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit Seshia, Paulo Tabuada, George J. Pappas, IEEE Transactions on Automatic Control, 66(5):2357-2364. (2021)
DOI
Fair Robust Assignment using Redundancy
. Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok, IEEE Robotics and Automation Letters, 6(2):4217-4224. (2021)
DOI
Teaching Recurrent Neural Networks to Infer Global Temporal Structure from Local Examples
. Jason Kim, Zhixin Lu, Erfan Nozari, George J. Pappas, and Danielle Bassett. Nature Machine Intelligence, 3:316-323. (2021)
DOI
LQG Control and Sensing Co-Design
. Vasilleios Tzoumas, Luca Carlone, George J. Pappas, and Ali Jadbabaie. IEEE Transactions on Automatic Control. 66(4):1468-1483. (2021)
DOI
Latency-Reliability Tradeoffs for State Estimation
. Konstantinos Gatsis, Hamed Hassani, and George J. Pappas. IEEE Transactions on Automatic Control. 66(3):1009-1023. (2021)
DOI
Statistical Learning for Analysis of Networked Control Systems over Unknown Channels
. Konstantinos Gatsis, and George J. Pappas, Automatica. 125:109386,. (2021)
DOI
Data-Driven Distributionally Robust Optimization For Vehicle Balancing of Autonomous Mobility-on-Demand Systems
. F. Miao, S. He, L. Pepin, S. Han, A. Hendawi, M.E. Khalefa, J. Stankovic, G. J. Pappas, ACM Transactions on Cyber-physical Systems, 5(2):1-27. (2021)
DOI
Approximate submodularity of Kalman Filter Sensor Selection
. Luiz Fernando de Oliveira Chamon. George J. Pappas, and Alejandro Ribeiro. IEEE Transactions on Automatic Control. 66(1):49-63. (2021)
DOI
Verifying the Safety of Autonomous Systems with Neural Network Controllers
. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee, ACM Transactions on Embedded Computing Systems. 20(1):1539-9087. (2020)
DOI
Models of communication and control for brain networks: distinctions, convergence, and future outlook
. Pragya Srivastava, Erfan Nozari, Jason Z. Kim, Harang Ju, Dale Zhou, Cassiano Becker, Fabio Pasqualetti, George J. Pappas and Danielle S. Bassett, Network Neuroscience. 4(4):1122-1159. (2020)
DOI
Model-Free Learning of Optimal Ergodic Policies in Wireless Systems
. Dionysios S. Kalogerias, Mark Eisen, Luiz Chamon, George J. Pappas, and Alejandro Ribeiro. IEEE Transactions on Signal Processing. 68:6272-6286. (2020)
DOI
Network Design for Controllability Metrics.
Cassiano Becker, Sergio Pequito, George J. Pappas, Victor M. Preciado. IEEE Transactions on Control of Network Systems. 7(3):1404 - 1415. (2020)
DOI
Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback
. Vasileios Vasilopoulos, Georgios Pavlakos, Sean L. Bowman, J. Diego Caporale, Kostas Daniilidis, George J. Pappas, Daniel E. Koditschek, IEEE Robotics and Automation Letters, 5(3):4455-4462. (2020)
DOI
Consensus of multi-agent systems via asynchronous cloud communication
. Sean Bowman, Cameron Nowzari, George J. Pappas. IEEE Transactions on Control of Network Systems, 7(2):627-637. (2020)
DOI
State-Secrecy Codes for Networked Linear Systems
. Anastasios Tsiamis, Konstantinos Gatsis, and George J. Pappas. IEEE Transactions on Automatic Control, 65(5):2001-2015. (2020)
DOI
Finite-dimensional control of linear discrete-time fractional order systems
. Andrea Alessandretti, Sergio Pequito, George J. Pappas, A. Pedro Aguiar. Automatica, 115:108112. (2020)
DOI
Model-based design for seizure control by stimulationv
. Arian Ashourvan, Sergio Pequito, Ankit N Khambhati, Fadi Mikhail, Steven N Baldassano, Kathryn A Davis, Timothy H Lucas, Jean M Vettel, Brian Litt, George J Pappas and Danielle S Bassett, Journal of Neural Engineering, 17(2):026009. (2020)
DOI
Robust Economic Model Predictive Control of Continuous-time Epidemic Processes
. Nicholas Watkins, Cameron Nowzari, and George J. Pappas. IEEE Transactions on Automatic Control. 65(3):1116-1131. (2020)
DOI
A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting
. Jacob Seidman, Mahyar Fazlyab, Victor Preciado, George J. Pappas. IEEE Control Systems Letters. 4(1):199-204. (2020)
DOI
Analysis and Design of Actuation-Sensing-Communication Interconnection Structures towards Secured/Resilient LTI Closed-loop Systems
. Sergio Pequito, Farshad Khorrami, Prashanth Krishnamurthy, George J. Pappas. IEEE Transactions on Control of Network Systems, 6(2):667-678. (2019)
PDF
Control of Generalized Discrete-time SIS Epidemics via Submodular Function Minimization
. Nicholas Watkins, Cameron Nowzari, and George J. Pappas. IEEE Control Systems Letters, 3(2):314-319. (2019)
PDF
Minimal Edge Addition for Network Controllability
. Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. IEEE Transactions on Control of Network Systems. 6(1):312 - 323. (2019)
PDF
Learning in Wireless Control Systems over Non-Stationary Channels
. Mark Eisen, Konstantinos Gatsis, George J. Pappas and Alejandro Ribeiro. IEEE Transactions on Signal Processing. 67(5):1123-1137. (2019)
PDF
Minimal reachability is hard to approximate
. Ali Jadbabaie, Alex Olshevsky, George J. Pappas, and Vassilis Tzoumas. IEEE Transactions on Automatic Control, 64(2):783-789. (2019)
PDF
Continuous Estimation Using Context-Dependent Discrete Measurements
. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, and Insup Lee, IEEE Transactions on Automatic Control, 64(1):238-253. (2019)
PDF
Resilient Active Target Tracking with Multiple Robots
. Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar. IEEE Robotics and Automation Letters. 4(1):129-136. (2019)
PDF
Data-Driven Robust Taxi Dispatch under Demand Uncertainties
. Fei Miao, Shuo Han, Shan Lin, Qian Wang, John A. Stankovic, Abdeltawab Hendawi, Desheng Zhang, Tian He, and George J. Pappas. IEEE Transactions on Control Systems Technology, 27(1):175-191. (2019)
PDF
SMC: Satisfiability modulo convex programming
. Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada. Proceedings of IEEE, 106(9):1655-1679. (2018)
PDF
Diffusing private data over networks
. Fragkiskos Koufogiannis, and George J. Pappas. IEEE Transactions on Control of Network Systems, 5(3):1027-1037. (2018)
PDF
A hybrid stochastic game for secure control of cyber-physical systems
. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas. Automatica. 93(2018):55-63. (2018)
PDF
Selecting Sensors in Biological Fractional-Order Systems
. Vasileios Tzoumas, Yuankun Xue, Sergio Pequito, Paul Bogdan, George J. Pappas. IEEE Transactions on Control of Network Systems, Special issue on Approaches to Control Biological and Biologically Inspired Networks, 5(2):709 - 721. (2018)
PDF
Privacy in control and dynamical systems
. Shuo Han and George J. Pappas. Annual Reviews in Control, Robotics, and Autonomous Systems. 1:309-32. (2018)
PDF
Random access design for wireless control systems
. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. Automatica. 91:1-9. (2018)
PDF
Anytime planning for decentralized multi-robot active information gathering
. Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, George J. Pappas. IEEE Robotics and Automation Letters. 3(2):1025-1032. (2018)
PDF
Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks
. Watkins, Cameron Nowzari, Victor Preciado, and George J. Pappas. IEEE Transactions on Control of Network Systems, 5(1):298-307. (2018)
PDF
Spectral mapping of brain functional connectivity from diffusion imaging
. O. Becker, Sergio Pequito, George J. Pappas, Michael B. Miller, Scott T. Grafton, Danielle S. Bassett, and Victor M. Preciado. Nature Scientific Reports. Scientific Reports 8, Article number: 1411. (2018)
PDF
Optimal resource allocation of networked epidemic models
. Cameron Nowzari Victor Preciado, and George J. Pappas., IEEE Transactions on Control of Network Systems. 4(2):159-169. (2017)
PDF
Design and implementation of attack-resilient cyber-physical systems
. Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George J. Pappas, Insup Lee. IEEE Control Systems Magazine. 37(2):66-81. (2017)
PDF
Resilient Flocking for Mobile Robot Teams
. Kelsey Saulnier, David Saldana, Amanda Prorok, George J. Pappas, and Vijay Kumar, IEEE Robotics and Automation Letters. 2(2):1039-1046. (2017)
PDF
Structural Minimum Controllability Problem for Switched Linear Continuous-Time Systems
. Sergio Pequito and George J. Pappas. Automatica. 78:216-222. (2017)
PDF
Attack-resilient state estimation for noisy dynamical systems
. Miroslav Pajic, Insup Lee, George J. Pappas. IEEE Transactions on Control of Network Systems, Special issue on Cyber- physical systems security, 4(1):82-92. (2017)
PDF
Coding schemes for securing cyber-physical systems against stealthy data injection attacks
. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas. IEEE Transactions on Control of Network Systems, Special issue on Cyber-physical systems security, 4(1):106-117. (2017)
PDF
Gradual Release of Sensitive Data under Differential Privacy
. Fragkiskos Koufogiannis, Shuo Han, George J. Pappas. Journal of Privacy and Condentiality. 7(2), Article 3. (2017)
PDF
Trade-offs between driving nodes and time-to-control in complex networks
. Sergio Pequito, Victor Preciado, Albert Laslo Barabasi, and George J. Pappas. Nature Scientic Reports 7, Article number: 39978. (2017)
PDF
Differentially-private distributed constrained optimization
. Shou Han, Ufuk Topcu, and George J. Pappas. IEEE Transactions on Automatic Control. 62(1):50-64. (2017)
PDF
Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: a Receding Horizon Control Approach
. Fei Miao, Shuo Han, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas. IEEE Transactions on Automation Science and Engineering, 13(2), pages 463 - 478. (2016)
PDF
Minimal Actuator Placement with Bounds on Control Effort
. V. Tzoumas, M. A. Rahimian, G. J. Pappas, and A. Jadbabaie. IEEE Transactions on Control of Network Systems. 3(1), pages 67-78. (2016)
PDF
Adaptive Transmission Power Control for Wireless Sensor Networks
. Shan Lin, Fei Miao, Jingbin Zhang, Gang Zhou, Lin Gu, Tian He, John Stankovic, Sang Song, and George J. Pappas. ATPC: ACM Transactions on Sensor Networks. 12(1), pages 6:1-6:31. (2016)
PDF
Analysis and control of epidemics: A survey of spreading processes on complex networks
. Cameron Nowzari, Victor Preciado, and George J. Pappas. IEEE Control Systems Magazine. 36(1):26-46. (2016)
PDF
Localization from Semantic Observations via the Matrix Permanent
. Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, and George J. Pappas. International Journal of Robotics Research. 35(1-3):73-99. (2016)
PDF
Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks
. Shuo Han, Victor Preciado, Cameron Nowzari, and George J. Pappas. IEEE Transactions on Network Science. 2(4):127-138, October. (2015)
PDF
Opportunistic control over shared wireless channels
. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control, 60(12):3140-3155 (2015)
PDF
Distributed algorithms for stochastic source seeking with mobile robot networks
. Nikolay Atanasov, Jerome Le Ny, and George J. Pappas. ASME Journal on Dynamic Systems, Measurement, and Control. 137(3). (2015)
PDF
Nonmyopic view planning for active object classification and pose estimation
. Nikolay Atanasov, Bharath Sankaran, George J. Pappas, and Kostas Daniilidis. IEEE Transactions in Robotics. 30(5):1078-1090. (2014)
PDF
The Swarm at the Edge of the Cloud
. Edward Lee, Jan Rabaye, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Doug Jones, John Kubiatowicz, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Carl M Sechen, Sanjit A. Seshia,Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel. IEEE Design and Test of Computers on Cloud Computing for Embedded Systems. 31(3):8-20. (2014)
PDF
Optimal power management for wireless control systems
. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control. 59(6):1495-1510. (2014)
PDF
Optimal Resource Allocation for Network Protection: A Geometric Programming Approach
. Victor Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Control of Network Systems. 1(1):99-108. (2014)
PDF
Differentially private filtering
. Jerome Le Ny, and George J. Pappas. IEEE Transactions on Automatic Contro, 59(2):341-354. (2014)
PDF
Topological conditions for in-network stabilization of dynamical systems
. Miroslav Pajic, Shreyas Sundharam, Rahul Mangharam, and George J. Pappas. IEEE Transactions in Selected Areas of Communications. 31(4):794-807. (2013)
PDF
Adaptive deployment of mobile robotic networks
. Jerome Le Ny, and George J. Pappas. IEEE Transactions on Automatic Control. 58(3):654-666. (2013)
PDF
Network integrity in mobile robotic networks
. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control. 58(1):3-18. (2013)
PDF
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks
. Shreyas Sundharam, Shai Revzen, and George J. Pappas. Automatica. 48(11):2894- 2901. (2012)
PDF
Stochastic Source Seeking by Mobile Robots
. Shunichi Azuma, Mahmut Selman Sakar, and George J. Pappas. IEEE Transactions on Automatic Control. 57(9):2308-2311. (2012)
PDF
Time-triggered implementations of dynamic controllers
. Truong Nghiem, George J. Pappas, Rajeev Alur, and Antoine Girard. ACM Transactions on Embedded Computing Systems. 11(S2), Article 58. (2012)
PDF
Adaptive communication-constrained deployment of unmanned vehicle systems
. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Selected Areas of Communications. 30(5):923-934. (2012)
PDF
Approximate bisimulation: a bridge between computer science and control theory
. Antoine Girard, and George J. Pappas. European Journal of Control. 5-6:568–578. (2012)
PDF
The wireless control network: a new approach for control over networks
. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam. IEEE Transactions on Automatic Control. 56(10):2305-2318. (2011)
PDF
Compositional modeling and analysis of multi-hop control networks
. Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas, and Gera Weiss. IEEE Transactions on Automatic Control. 56(10):2345-2357. (2011)
PDF
Joint metering and conflict resolution in air traffic control
. Jerome Le Ny, and George J. Pappas. AIAA Journal on Guidance, Control, and Navigation. 34(5):1507-1518, September. (2011)
PDF
Graph theoretic connectivity control of mobile robot networks
. Michael Zavlanos, Magnus Egerstedt, and George J. Pappas. Proceedings of the IEEE. 99(9):1525-1540. (2011)
PDF
Inferring stable genetic networks from steady-state data
. Michael Zavlanos, A. Agung Julius, Stephen Boyd, and George J. Pappas. Automatica, 47(6): 1113-1122. (2011)
PDF
Modeling, control and experimental characterization of microbiorobots
. M. S. Sakar, E. B. Steager, D. H. Kim, A. A. Julius, M. J. Kim, V. Kumar, and G. J. Pappas. International Journal of Robotics Research, 30(6):647-658. (2011)
PDF
Electrokinetic and optical control of bacterial microrobots
. E. B. Steager, M.S. Sakar, D. H. Kim, V. Kumar, and G. J. Pappas. Journal of Micromechanics and Microengineering, 21(3). (2011)
PDF
Single cell manipulation using ferromagnetic composite microtransporters
. M. S. Sakar, E. B. Steager, D. H. Kim, M. J. Kim, G. J. Pappas, and V. Kumar. Applied Physics Letters, 96:043705 (2010)
PDF
Temporal-logic-based reactive mission and motion planning
. Hadas Kress-Gazit, Georgios Fainekos, and George J. Pappas. IEEE Transactions on Robotics, 25(6):1370-1381. (2009)
PDF
Vision-based localization for leader-follower formation control
. G. L. Mariottini, F. Morbidi, D. Prattichizzo, N. V. Valk, N. Michael, G. J. Pappas, K. Daniilidis. IEEE Transactions on Robotics, 25(6):1431-1438. (2009)
PDF
Hybrid control for connectivity preserving flocking
. Michael Zavlanos, Herbert Tanner, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control, 54(12):2869-2875. (2009)
PDF
Robustness of temporal logic specifications for continuous-time signals
. Georgios Fainekos and George J. Pappas. Theoretical Computer Science, 410(42):4262-4291. (2009)
PDF
Approximations of stochastic hybrid systems
. A. Agung Julius and George J. Pappas. IEEE Transactions on Automatic Control, 54(6):1193-1203. (2009)
PDF
Genetic network identification using convex optimization
. A. Agung Julius, Michael Zavlanos, Stephen P. Boyd, and George J. Pappas. IET Systems Biology, 3(3):155-166. (2009)
Hierarchical control system design using approximate simulation
. Antoine Girard and George J. Pappas. Automatica, 45(2):566-571. (2009)
PDF
Temporal logic planning for dynamic robots
. Georgios Fainekos, Antoine Girard, Hadas Kress Gazit, and George J. Pappas. Automatica, 45(2):343-352. (2009)
PDF
Approximate equivalence and synchronization of metric transition systems
. A. Agung Julius, Alessandro D'Innocenzo, Maria D. Di Benedetto, and George J. Pappas. Systems and Control Letters, 58(2):94-101. (2009)
PDF
Distributed connectivity control of mobile networks
. Michael Zavlanos and George J. Pappas. IEEE Transactions in Robotics, 24(6):1416-1428. (2008)
PDF
Translating structured english to robot controllers
. Hadas Kress-Gazit, Georgios E. Fainekos, and George J. Pappas. Advanced Robotics, 22(12):1343-1359. (2008)
PDF
A dynamical systems approach to weighted graph matching
. Michael Zavlanos and George J. Pappas. Automatica, 44(11):2817-2824. (2008)
PDF
Approximate reduction of dynamical systems
. Paulo Tabuada, Aaron Ames, A. Agung Julius, and George J. Pappas. Systems and Control Letters, 57(7):538-545. (2008)
PDF
Approximate simulation relations for hybrid systems
. Antoine Girard, A. Agung Julius, and George J. Pappas. Discrete event dynamic systems, 18(2):163-179. (2008)
PDF
Courteous cars: decentralized multi-agent traffic coordination
. Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, and George J. Pappas. IEEE Robotics and Automation Magazine, 15(1):30-38. (2008)
PDF
Dyamic assignment in distributed motion planning with local coordination
. Michael Zavlanos and George J. Pappas. IEEE Transactions on Robotics, 24(1):232-242. (2008)
PDF
Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli
. A. A. Julius, A. Halasz, M. S. Sakar, H. Rubin, V.Kumar, and G. J. Pappas. IEEE Transactions on Automatic Control, 53(1):51-65. (2008)
PDF
A framework for worst-case and stochastic safety verification using barrier certificates
. Stephen Prajna, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control, 52(8):1415-1428. (2007)
PDF
Potential fields for maintaining connectivity of mobile networks
. Michael Zavlanos and George J. Pappas. IEEE Transactions on Robotics, 23(4):812-816. (2007)
PDF
Approximate bisimulation relations for constrained linear systems
. Antoine Girard and George J. Pappas. Automatica, 43(8):1307-1317. (2007)
PDF
Approximation metrics for discrete and continuous systems
(George S. Axelby Outstanding Paper Award). Antoine Girard and George J. Pappas. IEEE Transactions on Automatic Control, 52(5):782-798. (2007)
PDF
Flocking in fixed and switching networks
. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control, 52(5):863-868. (2007)
PDF
Symbolic planning and control of robot motion: state of the art and grand challenges
. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G.J. Pappas. IEEE Robotics and Automation Magazine, 14(1):61-70. (2007)
PDF
Linear temporal logic control of discrete-time linear systems
. Paulo Tabuada and George J. Pappas. IEEE Transactions on Automatic Control, 51(12):1862-1877. (2006)
PDF
Cooperative air and ground surveillance
. Ben Grocholsky, James Keller, Vijay Kumar, and George J. Pappas. IEEE Robotics and Automation Magazine, 13(3):16-25. (2006)
PDF
High-confidence medical device software and systems
. I. Lee, G. J. Pappas, R. Cleveland, J. Hatchcliff, B. Krogh, P. Lee, H. Rubin, L. Sha . IEEE Computer, 39(4):33-38. (2006)
PDF
Discrete abstractions for robot motion planning and control in polygonal environments
. Calin Belta, Volkan Isler, and George J. Pappas. IEEE Transactions on Robotics, 21(5):864- 874. (2005)
PDF
Bisimulation relations for dynamical, control, and hybrid systems
. Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Theoretical Computer Science, 342(2-3):229-261. (2005)
PDF
Motion feasibility of multi-agent formations
. Paulo Tabuada, George J. Pappas, and Pedro Lima. IEEE Transactions on Robotics, 21(3):387-392. (2005)
PDF
Quotients of fully nonlinear control systems
. Paulo Tabuada and George J. Pappas. SIAM Journal of Control and Optimization, 43(5):1844-1866. (2005)
PDF
Hierarchical trajectory generation for a class of nonlinear systems
. Paulo Tabuada and George J. Pappas. Automatica, 41(4):701-708. (2005)
PDF
Leader to formation stability
. Herbert Tanner, George J. Pappas, and Vijay Kumar. IEEE Transactions on Robotics and Automation, 20(3):443-455. (2004)
PDF
Optimal paths in weighted timed automata
. Rajeev Alur, Salvatorre La Torre, and George J. Pappas. Theoretical Computer Science, 318(3):297-322. (2004)
PDF
Bisimilar control affine systems
. Paulo Tabuada and George J. Pappas. Systems & Control Letters, 52(1):49-58. (2004)
PDF
Compositional abstractions of hybrid control systems
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Discrete Event Dynamic Systems, 14(2):203-238. (2004)
PDF
Bisimilar linear systems
. George J. Pappas. Automatica, 39(12):2035-2047. (2003)
PDF
Abstractions of Hamiltonian control systems
. Paulo Tabuada and George J. Pappas. Automatica, 39(12):2025-2033. (2003)
PDF
From nonlinear to hamiltonian via feedback
. Paulo Tabuada and George J. Pappas. IEEE Transactions on Automatic Control, 48(8):1439- 1442. (2003)
PDF
Hierarchical modeling and analysis of embedded systems
. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Proceedings of the IEEE, 91(1):11-28. (2003)
PDF
A framework and architecture for multirobot coordination
. R. Fierro, A. Das, J. Spletzer, J. Esposito, V. Kumar, J. Ostrowski, G. Pappas, CJ Taylor, Y. Hur, R. Alur, I. Lee, G. Grudic, and B. Southall. International Journal of Robotics Research, 21(10-11):977-995 October. (2002)
PDF
Consistent abstractions of affine control systems
. George J. Pappas, and Slobodan Simic. IEEE Transactions on Automatic Control, 47(5):745-756. (2002)
PDF
Modeling and analyzing biomolecular networks
. R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug. Computing in Science and Engineering, 4(1):20-31. (2002)
PDF
Symbolic reachability computations for families of linear vector fields
. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Journal of Symbolic Computation, 32(3):231-253. (2001)
PDF
Discrete abstractions of hybrid systems
. Rajeev Alur, Tom Henzinger, Gerardo Lafferriere, and George J. Pappas. Proccedings of the IEEE, 88(2):971-984. (2000)
PDF
Hierarchically consistent control systems
. George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. IEEE Transactions on Automatic Control, 45(6):1144-1160. (2000)
PDF
O-minimal hybrid systems
. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Mathematics of Control, Signals, and Systems, 13(1):1-21. (2000)
PDF
Straightening out rectangular differential inclusions
. George J. Pappas, and Shankar Sastry. Systems & Control Letters, 35(2):79-85. (1998)
PDF
Conflict resolution for air traffic management: a study in multi-agent hybrid systems
. Claire Tomlin, George J. Pappas, and Shankar Sastry. IEEE Transactions on Automatic Control, 43(4):509-521. (1998)
PDF
Stabilization of nonholonomic vehicles under kinematic constraints
. George J. Pappas, and Kostas J. Kyriakopoulos. International Journal of Control, 61(4):933-947. (1995)
Conference Proceedings
Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss
. Ingvar Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni. In
Proceedings of the International Conference on Machine Learning
, Vienna, Austria. (2024)
DOI
PubMed
Conformal Prediction with Learned Features
. Shayan Kiyani, George J. Pappas, Hamed Hassani. In
Proceedings of the International Conference on Machine Learning
, Vienna, Austria (2024)
DOI
Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples
. Thomas Zhang, Bruce D Lee, Ingvar Ziemann, George J. Pappas, Nikolai Matni. In
Proceedings of the International Conference on Machine Learning
, Vienna, Austria. (2024)
PubMed
Finite-Time Analysis of Asynchronous Multi-Agent TD Learning
. Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas. In
Proceedings of the 2024 American Control Conference
, Toronto. (2024)
Structural Risk Minimization for Learning Nonlinear Dynamics
. Charalampia Stamouli, Evangelos Chatzipantazis, George J. Pappas. In
Proceedings of the 2024 American Control Conference
, Toronto. (
Best Student Paper Award
) (2024)
Adversarial Training Should Be Cast as a Non-Zero-Sum Game
. Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher. In
Proceedings of the 12th International Conference on Learning Representations (ICLR)
, Vienna, Austria. (2024)
DOI
Optimal Scene Graph Planning with Large Language Model Guidance
. Zhirui Dai, Arash Asgharivaskasi, Thai Duong, Shusen Lin, Mariliza Tzes, George J. Pappas, Nikolay Atanasov. In
Proceedings of International Conference on Robotics and Automation
Yokohama, Japan. (2024)
DOI
Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling
. Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev Kulkarni, H. Vince Poor, George J. Pappas, Hamed Hassani, Aritra Mitra. In
Proceedings of the Artificial Intelligence and Statistics (AISTATS)
, Valencia, Spain. (2024)
DOI
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming
. Matthew Cleaveland; Insup Lee; George J. Pappas; Lars Lindemann. In
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence
, Vancouver, Canada. (2024)
PDF
A Tutorial on the Non-Asymptotic Theory of System Identification
. I. Ziemann, A. Tsiamis, B. Lee, Y. Jedra, N. Matni and G. J. Pappas. In
Proceedings of the 62nd IEEE Conference on Decision and Control
, Singapore. (2023)
DOI
Navigation with shadow prices to optimize multi commodity flow rates
. Ignacio Boero, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro. In
Proceedings of the 62nd IEEE Conference on Decision and Control
, Singapore. (2023)
DOI
Safety Filter Design for Neural Network Systems via Convex Optimization
. Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas. In
Proceedings of the 62nd IEEE Conference on Decision and Control
, Singapore. (2023)
DOI
Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction
. Kong Yao Chee, M. Ani Hsieh, George J. Pappas. In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore (2023)
DOI
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction
. Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann. In
Proceedings of the 62nd IEEE Conference on Decision and Control
, Singapore. (2023)
DOI
Resilient Temporal Logic Planning in the Presence of Robot Failures
. Samarth Kalluraya, George J. Pappas, Yiannis Kantaros. In
Proceedings of the 62nd IEEE Conference on Decision and Control
, Singapore. (2023)
DOI
The noise level in linear regression with dependent data
. Ingvar Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni. In
Proceedings of the 37th Conference on Neural Information Processing Systems (NeurIPS)
. (2023)
DOI
Enhancing Sample Efficiency and Uncertainty Compensation in Learning-based Model Predictive Control for Aerial Robots
. Kong Yao Chee, Thales Costa Silva, M. Ani Hsieh, George J. Pappas. In
Proceedings of the 2023 International Conference on Intelligent Robots and Systems (IROS)
. (2023)
DOI
Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles
. Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar. In
Proceedings of the 2023 International Conference on Intelligent Robots and Systems (IROS)
. (2023)
DOI
Active Collaborative Localization in Heterogeneous Robot Teams
. Igor Spasojevic, Xu Liu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar. In
Proceedings of Robotics Science and Systems (RSS)
. (2023)
DOI
Variational Autoencoding Neural Operators
. Jacob H Seidman, Georgios Kissas, George J. Pappas, Paris Perdikaris. In
Proceedings of the International Conference on Machine Learning
. (2023)
DOI
Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification
. Thomas Beckers, Tom Zhang Jiahao, George J. Pappas. In
Proceedings of the International Federation of Automatic Control (IFAC) World Congress
. (2023)
DOI
Linear Stochastic Bandits over a Bit-Constrained Channel
. Aritra Mitra, George J. Pappas, Hamed Hassani. In
Proceedings of the Learning for Dynamics and Control (L4DC)
. (
Oral Spotlight
). (2023)
DOI
Physics-enhanced Gaussian Process Variational Autoencoder
. Thomas Beckers, Qirui Wu, George J. Pappas. In
Proceedings of the Learning for Dynamics and Control (L4DC)
. (2023)
DOI
Certified Invertibility in Neural Networks via Mixed-Integer Programming
. Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis Kevrekidis, Mahyar Fazlyab. In
Proceedings of the Learning for Dynamics and Control (L4DC)
. (2023)
DOI
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
. Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick. In
Proceedings of the Learning for Dynamics and Control (L4DC)
. (2023)
DOI
Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information
. Austin Ku Chen, Bryce L. Ferguson, Daigo Shishika, Michael Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar. In
Proceedings of the American Control Conference
. (2023)
DOI
Conformal Prediction for STL Runtime Verification
. Lars Lindemann, Xin Qin, Jyotirmoy Deshmukh, George J Pappas. In
Proceedings of 14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
. (2023)
DOI
Graph Neural Networks for Multi-Robot Active Information Acquisition
. Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J Pappas. In
Proceedings of International Conference on Robotics and Automation
. (
Outstanding Multi-Robot Systems Paper
). (2023)
DOI
Multi-robot Mission Planning in Dynamic Semantic Environments
. Samarth Kalluraya, George J Pappas, Yiannis Kantaros. In
Proceedings of International Conference on Robotics and Automation
. (2023)
DOI
Socially Fair Coverage Control
. Matthew Malencia, George J. Pappas, Vijay Kumar. In
Proceedings of International Conference on Robotics and Automation
. (2023)
DOI
Toward Certified Robustness Against Real-World Distribution Shifts
. Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, Hamed Hassani, George J. Pappas, Corina Pasareanu, Clark Barrett. In
Proceedings of 1st IEEE Conference on Secure and Trustworthy Machine Learning
. (2023)
DOI
Learning-based balancing of model-based and feedback control for second order mechanical systems
. Thomas Beckers, Leonardo Colombo, Manfred Morari, George J. Pappas. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
Learning Rigidity-Based Flocking Control Using Gaussian Processes with Probabilistic Stability Guarantees
. Thomas Beckers, George J. Pappas, Leonardo J. Colombo. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
. Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior
. Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
Secure State Estimation Over Markov Wireless Communication Channels
. Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents
. Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
ODE Discretization Schemes As Optimization Algorithms
. Orlando Romero, Mouhacine Benosman, George J. Pappas. In
Proceedings of the 61st IEEE Conference on Decision and Control
, Cancun, Mexico. (2022)
DOI
NOMAD: Nonlinear Manifold Decoders for Operator Learning
. Jacob H Seidman, Georgios Kissas, Paris Perdikaris, George J Pappas. In
Proceedings of 36th Conference on Neural Information Processing Systems
. (2022)
DOI
Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds
. Aritra Mitra, Arman Adibi, George J Pappas, Hamed Hassani. In
Proceedings of 36th Conference on Neural Information Processing Systems
. (2022)
DOI
Probable domain generalization via quantile risk minimization
. Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J Pappas, Bernhard Schölkopf. In
Proceedings of 36th Conference on Neural Information Processing Systems
. (2022)
DOI
Adaptive Sampling of Latent Phenomena Using Heterogeneous Robot Teams
. Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar. In
Proceedings of the 2022 International Conference on Intelligent Robots and Systems (IROS)
. (2022)
DOI
Probabilistically Robust Learning: Balancing Average- and Worst-case Performance
. Alexander Robey, Luiz F.O. Chamon, George J. Pappas, Hamed Hassani. In
2022 International Conference on Machine Learning (ICML)
, Baltimore, MD. (2022)
DOI
Learning to control linear systems can be hard
. Anastasios Tsiamis, Ingvar M Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas. In
Conference on Learning Theory (COLT)
, pages 3820-3857, London. (2022)
DOI
Adaptive Stochastic MPC under Unknown Noise Distribution
. Charis Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas. In
Proceedings of the 4th Conference on Learning for Dynamics and Control (L4DC)
, pages 596-607, Stanford, CA. (2022)
DOI
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty
. Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas. In
Proceedings of International Conference on Robotics and Automation
. (2022)
DOI
Do deep networks transfer invariances across classes?
Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn. In
Proceedings of 35th Conference on International Conference on Learning Representations (ICLR)
. (2022)
PDF
Temporal robustness of stochastic signals
. Lars Lindemann, Alena Rodionova, George J. Pappas. In
Proceedings of 25th ACM Conference on Hybrid Systems: Computation and Control
. (2022)
DOI
Adversarial Robustness with Semi-Infinite Constrained Learning
. Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro, Hamed Hassani. In
Proceedings of 35th Conference on Neural Information Processing Systems
. (2021)
DOI
Model-Based Domain Generalization
. Alexander Robey, Hamed Hassani, George J. Pappas. In
Proceedings of 35th Conference on Neural Information Processing Systems
. (2021)
DOI
Safe Pontryagin Differentiable Programming
. Wanxin Jin, Shaoshuai Mou, George J. Pappas. In
Proceedings of 35th Conference on Neural Information Processing Systems
. (2021)
DOI
Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients
. Aritra Mitra, Rayana Jaafar, George J. Pappas, Hamed Hassani. In
Proceedings of 35th Conference on Neural Information Processing Systems
. (2021)
DOI
Linear Systems can be Hard to Learn
. Anastasios Tsiamis, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
. Austin, Texas. (2021)
DOI
Online Federated Learning
. Aritra Mitra, Hamed Hassani, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
Time-Robust Control for STL Specifications
. Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (
Best Student Paper Award
). (2021)
DOI
STL Robustness Risk over Discrete-Time Stochastic Processes
. Lars Lindemann, Nikolai Matni, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
Encrypted Distributed Lasso for Sparse Data Predictive Control
. Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
Robust Motion Planning in the Presence of Estimation Uncertainty
. Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
Federated Learning with Incrementally Aggregated Gradients
. Rayana Jaafar, Aritra Mitra, George J. Pappas, Hamed Hassani. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
An Introduction to Neural Network Analysis via Semidefinite Programming
. Mahyar Fazlyab, Manfred Morari, George J. Pappas. In
Proceedings of the 60th IEEE Conference on Decision and Control
, Austin, Texas. (2021)
DOI
Scalable Reinforcement Learning Policies for Multi-Agent Control
. Christopher Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari. In
Proceedings of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
, Prague, Czech Republic. (2021)
Distributed Sampling-based Planning for Non-Myopic Active Information Gathering
. Maria-Elisabeth Tzes, Yiannis Kantaros, George J. Pappas. In
Proceedings of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
, Prague, Czech Republic. (2021)
Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space.
Harshat Kumar, Dionysios S Kalogerias, George J Pappas, Alejandro Ribeiro. In Proceedings of 2021 IEEE International Symposium on Information Theory. (2021)
A Temporal Logic-Based Hierarchical Network Connectivity Controller.
Hans Riess, Ioannis Kantaros, George J. Pappas, Robert Ghrist. In Proceedings of SIAM Conference on Control and Its Applications. (2021)
Verification of Neural Network Controllers Using Taylor Model Preconditioning.
Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas and Insup Lee, In Proceedings of the 33rd Conference on Computer Aided-Verification (CAV), Los Angeles, CA. (2021)
Distributed Active Information Acquisition for Multi-Robot Systems.
Yiannis Kantaros, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Xian. (2021)
Deep Reinforcement Learning for Active Target Tracking.
Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel Lee, George J. Pappas In Proceedings of the IEEE Conference on Robotics and Automation, Xian. (2021)
Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.
Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel Koditschek, In Proceedings of the IEEE Conference on Robotics and Automation, Xian. (2021)
Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams.
Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How, In Proceedings of the IEEE Conference on Robotics and Automation, Xian. (2021)
Optimal Multi-robot Perimeter Defense using Flow Networks.
Austin K. Chen, Douglas G. Macharet, Daigo Shishika, George J. Pappas and Vijay Kumar. In Proceedings of the 15th International Symposium on Distributed Autonomous Robotic Systems. (2021)
Source Seeking in Unknown Environments with Convex Obstacles.
Bruno Angelico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas, In Proceedings of the American Control Conference, New Orleans, LA. (2021)
Actor-only deterministic policy gradient via zeroth-order gradient oracles in action space.
Harshat Kumar, Dionysios Kalogerias, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Toronto, Canada. (2021)
Learning Lyapunov Functions for Hybrid Systems.
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas and Victor M. Preciado. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC). (2021)
Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems.
Dionysios Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 28th European Signal Processing Conference (EUSIPCO), pages 1727-1731, Amsterdam, Netherlands. (2021)
Towards Private Data-driven Control.
Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea. (2020)
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.
Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea. (2020)
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications.
Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea. (2020)
Risk-Constrained Linear Quadratic Regulators.
Anastasios Tsiamis, Dionysios Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea. (2020)
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
Pushpak Jagtap, George J. Pappas, Majid Zamani, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea. (2020)
Adaptive Partitioning for Cooperative Multi-agent Perimeter Defense.
Douglas Guimares Macharet, Austin Ku Chen, Daigo Shishika, George J. Pappas, Vijay Kumar, In Proceedings of the 2020 International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV. (2020)
Actor-only deterministic policy gradient via zeroth-order gradient oracles in action space.
Harshat Kumar, Dionysios Kalogerias, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Toronto, Canada. (2020)
PDF
Learning to Control over Unknown Wireless Channels.
Konstantinos Gatsis and George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany. (2020)
Private Weighted Sum Aggregation for Distributed Control Systems.
Andreea Alexandru and George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany. (2020)
Non-Cooperative Distributed MPC with Iterative Learning.
Haimin Hu, Konstantinos Gatsis, Manfred Morari, George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany. (2020)
Sample Complexity of Kalman Filtering for Unknown Systems.
Anastasios Tsiamis, Nikolai Matni, George J. Pappas, In Proceedings of the 2nd Learning for Dynamics and Control (L4DC), Berkeley, CA. (Oral Spotlight). (2020)
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees.
Jacob Seidman, Mahyar Fazlyab, Victor Preciado, George J. Pappas. In Proceedings of the 2nd Learning for Dynamics and Control (L4DC), Berkeley, CA. (2020)
Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments.
Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas, In Proceedings of the IEEE Conference on Robotics and Automation, Paris. (2020)
Information Theoretic Active Exploration in Signed Distance Fields.
Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar, In Proceedings of the IEEE Conference on Robotics and Automation, Paris. (2020)
Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.
Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar, In Proceedings of the IEEE Conference on Robotics and Automation, Paris. (2020)
Better safe than sorry: Risk-aware nonlinear Bayesian estimation.
Dionysios Kalogerias, Luiz Chamon, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain. (
Best Paper Award
). (2020)
A zeroth-order learning algorithm for ergodic optimization of wireless systems with no models and no gradients.
Dionysios Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain. (2020)
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks.
Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari and George J. Pappas, In Proceedings of Neural Information Processing Systems (NeurIPS), pages 11423--11434, (
Oral Spotlight
). (2019)
DOI
Finite Sample Analysis of Stochastic System Identification
. Anastasios Tsiamis and George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France. (2019)
PDF
Encrypted Cooperative Control Revisited.
Andreea B. Alexandru, Moritz Schulze Darup, George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France. (2019)
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
Hossein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel kroening, George J. Pappas, Insup Lee, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France. (2019)
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.
Mahyar Fazlyab, Manfred Morari, George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France, (2019)
Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps.
Yiannis Kantaros, and George J. Pappas. In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong. (2019)
Maximum Information Bounds for Active Sensing.
Brent Schlotfeldt, Nikolay Atanasov, and George J. Pappas. In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong. (2019)
Learning Q-network for Active Information Acquisition.
Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel Lee, and George J. Pappas.
In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong. (2019)
Tuning Communication Latency for Distributed Model Predictive Control
. Haimin Hu, Konstantinos Gatsis, Manfred Morari, George J. Pappas. In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, IL. (2019)
PDF
Assumed Density Filtering Q-learning
. Heejin Jeong, Clark Zhang, George J. Pappas, and Daniel Lee. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), Macau, China. (2019)
PDF
Motion Planning with Secrecy
. Anastasios Tsiamis, Andreea B. Alexandru, George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA,
Finalist, Best Student Paper Award
. (2019)
PDF
N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement
. Pedro P. V. Tecchio, Nikolay Atanasov, Shahin Shahrampour, George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA. (2019)
PDF
Optimal Reset Strategies for Mitigating Malware Epidemics
. Nicholas J. Watkins, and George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA. (2019)
PDF
Resilient Structural Stabilizability of Undirected Networks
. Jingqi Li, Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. In Proceedings of the American Control Conference, Philadelphia, PA. (2019)
PDF
Asymptotically Optimal Planning for Non-myopic Multi-Robot Information Gathering
. Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, and George J. Pappas. In Proceedings of the 2019 Robotics: Science and Systems (RSS), Freiburg, Germany. (2019)
PDF
Encrypted LQG using labeled homomorphic encryption
. Andreea Alexandru and George J. Pappas. In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Montreal, Canada.
Finalist, Best Paper Award
. (2019)
PDF
Verisig: verifying safety properties of hybrid systems with neural network controllers
. Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada. (2019)
PDF
Sample Complexity of Networked Control Systems over Unknown Channels.
Konstantinos Gatsis, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
Cloud-based MPC with Encrypted Data
. Andreea B. Alexandru, Manfred Morari, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
Resilient Monotone Sequential Maximization
. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization
. Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
An Information Matrix Approach for State Secrecy
. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
A Robust Moment Closure for General Continuous-time Epidemic Processes
. Nicholas J. Watkins, Cameron Nowzari, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
Structural Target Controllability of Undirected Networks
. Jingqi Li, Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL. (2018)
PDF
Resilient Active Information Gathering with Mobile Robots
. Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, and George J. Pappas. In Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain. (2018)
PDF
A Unifying View of Geometry, Semantics, and Data Association in SLAM
. Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas. In Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden. (2018)
PDF
State-Secrecy Codes for Stable Systems
. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Sensing-Constrained LQG Control
. Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Scenario-Based Model Predictive Control for Energy Harvesting Actuators
. Nicholas J. Watkins, Konstantinos Gatsis, Manfred Morari, George J. Pappas. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Dense 3-D Mapping with Spatial Correlation Via Gaussian Filtering
. Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Learning in Non-Stationary Wireless Control Systems Via Newton's Method
. Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Approximating Explicit Model Predictive Control Using Constrained Neural Networks
. Steven Chen, Kelsey Saulnier, Nikolay Atanasov, Daniel D. Lee, Vijay Kumar, George J. Pappas, Manfred Morari. In Proceedings of the American Control Conference, Milwaukee, WI. (2018)
PDF
Optimization of Switched Linear Systems Over NonStationary Wireless Channels
. Mark Eisen, Konstantinos Gatsis, George J. Pappas and Alejandro Ribeiro. In Proceedings of 19th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Kalamata, Greece. (2018)
PDF
Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events
. Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian Hez, George Pappas and Shan Lin. In Proceedings of the 2018 International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal. (2018)
PDF
Learning statistically accurate resource allocations in non-stationary wireless systems
. Mark Eisen, Konstantinos Gatsis, George J. Pappas and Alejandro Ribeiro, In Proceedings of the 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Alberta, Canada. (2018)
PDF
Resilient Monotone Submodular Function Maximization
. Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia.
Finalist, Best Student Paper Award
. (2017)
PDF
State Estimation Codes for Perfect Secrecy
. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
The Mean Square Error in Kalman Filtering Sensor Selection is Approximately Supermodular
. Luiz Fernando de Oliveira Chamon, George J. Pappas, Alejandro Ribeiro, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
On the Limited Communication Analysis and Design for Decentralized Estimation
. Andreea B. Alexandru, Sergio Pequito, Ali Jadbabaie, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Differential Privacy for Dynamical Sensitive Data
. Fragkiskos Koufogiannis, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Battery Management for Control Systems with Energy Harvesting Sensors
. Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Network Design for Controllability Metrics
. Cassiano Becker, Sergio Pequito, George J. Pappas, Victor M. Preciado, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming
. Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada. In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Hierarchical Data-Driven Vehicle Dispatch and Ride-sharing
. Ximing Chen, Fei Miao, George J. Pappas, Victor M. Preciado, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia. (2017)
PDF
Privacy preserving Cloud-based Quadratic Optimization
. Andreea Alexandru, Konstantinos Gatsis, George J. Pappas. In Proceedings of the 55th Allerton Conference on Communications, Control, and Computing, Allerton, IL. (2017)
PDF
Distributed Leader Selection in Switching Networks of High-Order Integrators
. Anastasios Tsiamis, Sergio Pequito, George Pappas. In Proceedings of the 55th Allerton Conference on Communications, Control, and Computing, Allerton, IL. (2017)
PDF
State estimation with secrecy against eavesdroppers
. Anastasios Tsiamis, Konstantinos Gatsis, and George J. Pappas. In IFAC World Congress, Toulouse, France,
Finalist, Best Young Author Prize
. (2017)
PDF
Probabilistic Data Association for Semantic SLAM
. Sean Bowman, Nikolay Atanasov, Kostas Daniilidis, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Singapore.
Best Conference Paper Award
. (2017)
PDF
Quantification on the Efficiency Gain of Automated Ridesharing Services
. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA. (2017)
PDF
Scheduling Nonlinear Sensors for Stochastic Process Estimation
. Vasileios Tzoumas, Nikolay Atanasov, Ali Jadbabaie, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA. (2017)
PDF
Inference, Prediction and Control of Networked Epidemics
. Nicholas J. Watkins, Cameron Nowzari, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA. (2017)
PDF
Discrete-time Fractional-order Multiple Scenario-based Sensor Selection
. Sergio Pequito, Andrew Clark, and George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA. (2017)
PDF
Spectral Control of Cortical Activity
. Sergio Pequito, Arian Ashourvan, Danielle Bassett, Brian Litt, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA. (2017)
PDF
Calibration-Free Network Localization using Non-Line-of-Sight Ultra-Wideband Measurements.
C. di Franco, A. Prorok, N. Atanasov, B. Kempke, P. Dutta, V. Kumar, G. J. Pappas, In Proceedings of ACM/IEEE Information Processing in Sensor Networks (IPSN), Pittsburgh, PA. (2017)
PDF
SMC: Satisfiability Modulo Convex Optimization
. Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada. In Proceedings of Hybrid Systems: Computation and Control (HSCC), Pittsburgh, PA. (2017)
PDF
Data-driven distributionally robust vehicle balancing with dynamic region partition
. Fei Miao, Shuo Han, Abdeltawab Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Pittsburgh, PA, (2017)
PDF
Differential privacy in control and network systems
. Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas, In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption
. Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia, Mani Srivastava, Paulo Tabuada. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Scalable Motion Planning Using Lazy SMT-Based Solving
. Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits
. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
State-Based Communication Design for Wireless Control Systems
. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Location-dependent Privacy
. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Multi-Input Multi-Output Privacy
. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Decentralized Observability with Limited Communication between Sensors
. Andreea Beatrice Alexandru, Sergio Pequito, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Coordination of multi-agent systems via asynchronous cloud communication
. Sean L. Bowman, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
Self-Triggered Time-Varying Convex Optimization
. Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV. (2016)
PDF
A Column Generation Approach for Optimized Routing and Coordination of a UAV Fleet.
Julia Zillies, Stephan Westphal, Vijay Kumar, Dinesh Thakur, George J. Pappas, David Scheidt. In 2016 IEEE International Symposium on Safety, Security and Rescue Robotics, Lausanne, Switzerland. (2016)
Online Planning for Energy-efficient and Disturbance-aware UAV Operations
. Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas. In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Korea. (2016)
PDF
Minimum Number of Sensors to Ensure Observability of Physiological Systems: a Case Study.
Yuankun Xue, Sergio Pequito, Joana Maria Rosado Coelho, Paul Bogdan, George J. Pappas. In Proceedings of the 54th Allerton Conference on Communications, Control, and Computing, Allerton, IL. (2016)
Event-Based Information-Theoretic Privacy
. In Proceedings of the American Control Conference. Shuo Han, Ufuk Topcu, George J. Pappas. Boston, MA. (2016)
PDF
Multi-agent coordination with asynchronous cloud access
. Cameron Nowzari and George J. Pappas. In Proceedings of the American Control Conference, Boston, MA. (2016)
PDF
Structural Analysis and Design of Dynamic-Flow Networks: Implications into the Brain Dynamics.
Sergio Pequito, Ankit Khambhati, George J. Pappas, Dragoslav D. Siljak, Danielle Bassett, Brian Litt. In Proceedings of the American Control Conference, Boston, MA. (2016)
PDF
Diffusing Private Data over Networks
. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the American Control Conference, Boston, MA. (2016)
PDF
Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms
. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the American Control Conference, Boston, MA. (2016)
PDF
Optimal Temporal Logic Planning in Probabilistic Semantic Maps
. Jie Fu, Nikolay Atanasov,Ufuk Topcu, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Stockholm, Sweden. (2016)
PDF
Control-aware Random Access Communication
. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria. (2016)
PDF
Estimation of Blood Oxygen Content Using Context-Aware Filtering
. R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G.J. Pappas, I. Lee. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria (2016)
PDF
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems
. Indranil Saha, Rattanachai Ramaitithima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria (2016)
PDF
Distributed leader selection
. Sergio Pequito, Victor Preciado, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Minimal reachability problems
. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Periodic Event-Triggered Average Consensus over Directed Graphs
. Xiang Meng, Lihua Xie, Yeng Chai Soh, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Taxi Dispatch under Model Uncertainties
. Fei Miao, Shuo Han, Shan Lin, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Control with Random Access Wireless Sensors
. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
A general class of spreading processes with non-Markovian dynamics
. Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Minimum Number of Probes for Brain Dynamics Observability
. Sergio Pequito, Paul Bogdan, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Static Output Feedback: On Essential Feasible Information Patterns
. Joao Carvalho, Sergio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems
. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Attack-Resilient State Estimation in the Presence of Noise
. Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas, In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Self-triggered Pursuit and Evasion
. Saad A. Aleem, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan. (2015)
PDF
Optimal resource allocation for containing epidemics on time-varying networks
. Cameron Nowzari, Masaki Ogura, Victor M. Preciado, and George J. Pappas. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, (2015)
PDF
Robust Estimation Using Context-Aware Filtering.
Radoslav Ivanov, Nikolay Asenov Atanasov, Miroslav Pajic, George Pappas, Insup Lee. In Proceedings of the 53rd Allerton Conference on Communications, Control, and Computing, Allerton, IL. (2015)
Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.
Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar, In Proceedings of the IEEE Conference on Robotics and Automation, Paris. (2015)
PDF
Decentralized Channel Access for Wireless Control Systems
. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA, (2015)
PDF
Sparsest Minimum Multiple-Cost Structural Leader Selection
. Pequito, James Svacha, George J. Pappas, Vijay Kumar. In Proceedings of the 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA. (2015)
PDF
Minimal Actuator Placement with Optimal Control Constraints
Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie. In Proceedings of the American Control Conference, Chicago, IL. (2015)
PDF
Team-triggered coordination of robotic networks for optimal deployment.
Cameron Nowzari, Jorge Cortes, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL. (2015)
PDF
Approximately Truthful Mechanism for Electric Vehicle Charging via Joint Differential Privacy
. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL. (2015)
PDF
Value of forecasts in planning under uncertainty
. Konstantinos Gatsis, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL. (2015)
PDF
Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach.
Sergio Pequito, Soummya Kar, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL.
2016 O Hugo Schuk Best Paper Award
. (2015)
PDF
Optimal resource allocation for competing epidemics over arbitrary networks
. Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL. (2015)
PDF
Decentralized Active Information Acquisition: Theory and Application to Multi-Robot SLAM
. Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Seattle, WA. (2015)
PDF
Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas- a Receding Horizon Control Approach
. Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Seattle, WA.
Finalist, Best Paper Award
. (2015)
PDF
Stability analysis of generalized epidemic models over directed networks
Cameron Nowzari, Victor M. Preciado, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA. (2014)
PDF
Coding Sensor Outputs for Injection Attacks Detection
. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA. (2014)
PDF
Opportunistic sensor scheduling in wireless control systems
Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA. (2014)
PDF
Joint Estimation and Localization in Sensor Networks
. Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas. In
Proceedings of the 53rd IEEE Conference on Decision and Control
, Los Angeles, CA. (2014)
PDF
Differentially private convex optimization with piecewise affine objectives
. Shuo Han, Ufuk Topcu, George J. Pappas. In
Proceedings of the 53rd IEEE Conference on Decision and Control
, Los Angeles, CA. (2014)
PDF
On the Controllability of Locally Bounded Infinite Networks
. Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA. (2014)
PDF
Computation of privacy-preserving prices in smart grids
. Fragkiskos Koufogiannis, Shuo Han, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA. (2014)
PDF
Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specications
. Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL. (2014)
PDF
Attack resilient state estimation for autonomous robotic systems
. Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL. (2014)
PDF
Active deformable part models inference
. Menglong Zhu, Nikolay, Atanasov, Kostas Daniilidis, and George J. Pappas. In Proceedings of European Conference on Computer Vision, Zurich, Switzerland. (2014)
PDF
Semantic localization via the matrix permanent
. Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, and George J. Pappas. In Proceedings of Robotics: Science and Systems, Berkeley, CA. (2014)
PDF
Information Acquisition with Sensing Robots: Algorithms and Error Bounds
. Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Hong Kong, China. (2014)
PDF
Real-time privacy-preserving model-based estimation of traffic flows
. Jerome Le Ny, Ahmed Touati, and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany. (2014)
PDF
Opportunistic Scheduling of Control Tasks over Shared Wireless Channels
. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany.
Finalist, Best Paper Award
. (2014)
PDF
Robustness of attack-resilient estimators
. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany.
Best Paper Award
. (2014)
PDF
Stabilizability over Deterministic Relay Networks
. Miroslav Pajic, Shreyas Sundaram, and George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy. (2013)
PDF
Stochastic Game Approach for Replay Attack Detection
. Fei Miao, George J. Pappas, Miroslav Pajic. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy. (2013)
PDF
Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks
. Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy. (2013)
PDF
Power-aware communication for wireless sensor-actuator systems
. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy. (2013)
PDF
Optimal Power Management in Wireless Control Systems
Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Washington, DC,
2013 Best Student Paper Award, 2014 O Hugo Schuk Best Paper Award
. (2013)
PDF
Event-Based Green Scheduling of Radiant Systems in Buildings
. In American Control Conference. Truong X. Nghiem, George J. Pappas, and Rahul Mangharam. Washington, DC, (2013)
PDF
Networked Realization of Discrete-Time Controllers
. Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas. In American Control Conference. Washington, DC, (2013)
PDF
Hypothesis Testing Framework for Active Object Detection
. N. Atanasov, B. Sankaran, J. Le Ny, T. Koletschka, G. J. Pappas, and K. Daniilidis. In Proceedings of the IEEE Conference on Robotics and Automation, Karlshrue, Germany. (2013)
PDF
Towards synthesis of platform-aware attack-resilient control systems
. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA. (2013)
PDF
Privacy-preserving release of aggregate dynamic models
. Jerome Le Ny and George Pappas. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA. (2013)
PDF
Bio-inspired strategy for control of viral spreading in networks
. Chinwendu Enyioha, Victor Preciado, and George Pappas. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA. (2013)
PDF
Differentially private filtering
. Jerome Le Ny, and George J. Pappas. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, (2012)
PDF
Green Scheduling for Radiant Systems in Buildings
. Truong Nghiem, Madhur Behl, George J. Pappas, and Rahul Mangharam. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, (2012)
PDF
On the existence of compositional barrier certificates
. Christoffer Sloth, Rafael Wisniewski, and George J. Pappas. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, (2012)
PDF
Differentially private Kalman filtering
. Jerome Le Ny, and George J. Pappas. In Proceedings of the 50th Allerton Conference on Communications, Control, and Computing, Allerton, IL. (2012)
PDF
Adaptive communication-constrained deployment of mobile robotic networks
. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Montreal, Canada. (2012)
PDF
Scalable scheduling of building control systems for peak demand reduction
. Truong X. Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas. In American Control Conference. Montreal, Canada. (2012)
PDF
Robust composition of motion specifications
. Jerome Le Ny, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Minnesota, MN. (2012)
PDF
Stochastic source seeking in complex environments
. Nikolay Atanasov, Jerome Le Ny, Nathan Michael, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Minnesota, MN. (2012)
PDF
Closing the Loop: A simple distributed method for control over wireless networks
. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam. In Proceedings of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Beijing, China, (2012)
PDF
HMM-based characterization of channel behavior for networked control systems
. Jian Chang, Krishna K Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee. In Proceedings of High Confidence Networked Systems (HiCONS), Beijing, China, (2012)
PDF
Compositional safety analysis using barrier certificates
. Christoffer Sloth, George J. Pappas, and Rafael Wisniewski. In Proceedings of Hybrid Systems: Computation and Control (HSCC), Beijing, China, (2012)
PDF
Robot Deployment with End-to- End Wireless Communication Constraints
. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL. (2011)
PDF
Green Scheduling of Control Systems for Peak Demand Reduction
. Truong Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL. (2011)
PDF
Topological Conditions for Wireless Control Networks
. Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL. (2011)
PDF
On the feasibility of linear discrete-time systems of the discrete scheduling problem
. Z. Li, P.C. Huang, A. Mok, T. Nghiem, M. Behl, G.J. Pappas, and R. Magharam. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, Vienna, Austria. (2011)
PDF
Network Synthesis for Dynamical System Stabilization
. Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers. Pacific Grove, CA. (2011)
PDF
A framework for integrating mobility and routing in mobile communication networks
. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers. Pacific Grove, CA. (2011)
PDF
Green scheduling: Scheduling of control systems for peak power reduction
. Truong Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam. In Proceedings of the 2nd International Green Computing Conference, Orlando, FL. (2011)
PDF
Receding-horizon Supervisory Control of Green Buildings
. Truong Nghiem and George J. Pappas, In
American Control Conference
. San Francisco, CA. (2011)
PDF
Distributed Control of Mobility & Routing in Networks of Robots
. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 12th IEEE International Workshop on Signal Processing Advances in Wireless Communications. San Francisco, CA. (2011)
PDF
Distributed Control of mobility and routing in networks of robots
. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 12th IEEE International Workshop on Signal Processing Advances in Wireless Communications. San Francisco, CA. (2011)
PDF
Wireless Manipulation of Single Cells using Magnetic Microtransporters
(Finalist, Best Manipulation Paper)
. Mahmut Selman Sakar, Edward Steager, Anthony Crowley, Vijay Kumar, George J. Pappas. In
Proceedings of the IEEE International Conference on Robotics and Automation
, Shanghai, China, (2011)
PDF
Reputation-based Networked Control with Data-Corrupting Channels
. S. Sundaram, J. Chang, K. K. Venkatasubramanian, C. Eniyoha, I. Lee, and G. Pappas, In
Proceedings of Hybrid Systems: Computation and Control (HSCC)
, Chicago, IL. (2011)
PDF
Resource-constrained LQR control under Fast Sampling
Jerome Le Ny, Eric Ferone, and George J. Pappas, In
Proceedings of Hybrid Systems: Computation and Control (HSCC)
, Chicago, IL. (2011)
PDF
The Wireless Control Network: synthesis and robustness
. M. Pajic, S. Sundaram, J. Le Ny, G. J. Pappas, R. Mangharam.. IEEE Conference on Decision and Control, Atlanta, GA, (2010)
PDF
The Wireless Control Network: monitoring for malicious behavior
. S. Sundaram, M. Pajic, C. Hadjicostis, R. Mangharam, G. J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, (2010)
PDF
Sensor based robot deployment algorithms
. Jerome Le Ny, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, (2010)
PDF
Mobility and routing control in networks of robots
. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, (2010)
PDF
Nonholonomic source seeking in switching random fields
. Shun-ichi Azuma, Mahmut Selman Sakar, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, (2010)
PDF
Discrete abstraction of stochastic nonlinear systems: a bisimulation function approach.
. Shun-ichi Azuma, and George J. Pappas.. American Control Conference, Baltimore, MD, (2010)
PDF
Mechanism design for en route conflict resolution in air traffic control
. Jerome Le Ny, and George J. Pappas.. American Control Conference, Baltimore, MD, (2010)
PDF
Distributed control of the Laplacian spectral moments of a network
. Victor Preciado, Michael Zavlanos, Ali Jadbabaie, and George J. Pappas.. American Control Conference, Baltimore, MD, (2010)
PDF
Path planning for multiple robots: An alternative duality approach
. Nader Motee, Ali Jadbabaie, and George J. Pappas.. American Control Conference, Baltimore, MD, (2010)
PDF
Automatic synthesis of robot controllers for tasks with locative prepositions
. Hadas Kress Gazit and George J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, (2010)
PDF
Biosensing and Actuation for Microbiorobots
. M. S. Sakar, E. Steager, A. Julius, M. Kim, V. Kumar, G. J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, (2010)
PDF
A Duality Approach to Path Planning for multiple robots
. Nader Motee, Ali Jadbabaie, George J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, (2010)
PDF
Monte-Carlo falsification of temporal properties of non-linear hybrid systems.
. T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. J. Pappas.. Hybrid Systems: Computation and Control, Stockholm, Sweden, (2010)
PDF
Robustness analysis for the certification of digital controller implementations
. Jerome Le Ny and George J. Pappas. International Conference on Cyber-Physical Systems, Stockholm, Sweden, (2010)
PDF
On trajectory optimization for active sensing in gaussian processes
. Jerome Le Ny and George J. Pappas. IEEE Conference on Decision and Control, Shanghai, China, (2009)
PDF
Resource allocation for signal detection with active sensors
. Jerome Le Ny, Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, Shanghai, China, (2009)
PDF
Robust stability of multi-hop control networks
. R. Alur, A. D’Innocenzo, K. H. Johansson, G. J. Pappas, G. Weiss. IEEE Conference on Decision and Control, Shanghai, China, (2009)
PDF
Scalable scheduling algorithms for wireless networked control systems
. A. D'Innocenzo, G. Weiss, R. Alur, A. J. Isaksson, K. H. Johansson, G. J. Pappas. IEEE Conference on on Automation Science and Engineering, Bangalore, India, (2009)
PDF
A distributed algorithm for fastest mixing markov chains
. Michael Zavlanos, Daniel E. Koditschek, and George J. Pappas. American Control Conference, St. Louis, MI, (2009)
PDF
MTL robust testing and verification for LPV systems
. Georgios Fainekos, and George J. Pappas. American Control Conference, St. Louis, MI, (2009)
PDF
Harnessing bacterial power for micro scale manipulation and locomotion
. A. Julius, S. Sakar, E. Steagery, U. Cheangy, M. Kim, V. Kumar, and G. J. Pappas. IEEE International Conference on Robotics and Automation, Kobe, Japan. (2009)
PDF
Multi-vehicle path planning in dynamically changing environments
. Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie and George J. Pappas. IEEE International Conference on Robotics and Automation, Kobe, Japan. (2009)
PDF
Modeling and analysis of multi-hop control networks
. Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas, and Gera Weiss. IEEE Real-Time Applications Symposium, San Francisco, CA. (2009)
PDF
Metabolic network analysis using convex optimization
. Agung Julius, Marcin Imielinski, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico. (2008)
PDF
Probabilistic testing for stochastic hybrid systems
. Agung Julius and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico. (2008)
PDF
A distributed auction algorithm for the assignment problem
. Michael Zavlanos, Leonid Spesivtsev, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico. (2008)
PDF
Automatically Synthesizing Planning and Control for the DARPA Urban Challenge
. Hadas Kress Gazit and George J. Pappas. IEEE Conference on on Automation Science and Engineering, Washington DC, (2008)
PDF
Recycling controllers
. Hadas Kress Gazit, Nora Ayanian, George J. Pappas and Vijay Kumar. IEEE Conference on on Automation Science and Engineering, Washington DC, (2008)
PDF
Identification of stable genetic networks using convex programming
. Michael M. Zavlanos, Agung Julius, Stephen P. Boyd, and George J. Pappas. American Control Conference, Seattle, WA. (2008)
PDF
Distributed topology control of dynamic networks
. Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas. American Control Conference, Seattle, WA. (2008)
PDF
Elastic multi-particle systems for bounded-curvature path planning
. Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar. American Control Conference, Seattle, WA. (2008)
PDF
Distributed connectivity control of mobile networks
. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Flocking while preserving connectivity
. Michael Zavlanos, Ali Jadbabaie, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Distributed formation control with permutation symmetries
. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Hybrid model predictive control of induction of Escherichia coli
. Agung Julius, Selman Sakar, Alberto Bemporad, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Approximate hierarchies of linear control systems
. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Stable multi-particle systems and application in multi-vehicle path planning and coverage
. Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Approximate timed abstractions of hybrid automata
. Alessandro D'Innocenzo, Agung Julius, M. Domenica Di Benedetto, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Verification of temporal properties on hybrid automata by simulation relations
. Alessandro D'Innocenzo, Agung Julius, George J. Pappas, M. Domenica Di Benedetto, and Stefano Di Gennaro. IEEE Conference on Decision and Control, New Orleans, LA, (2007)
PDF
Valet parking without a valet
(Finalist, Best Paper)
. David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred Rizzi, and George J. Pappas. IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA. (2007)
PDF
From structured english to robot motion
. Hadas Kress-Gazit, Georgios Fainekos, and George J. Pappas. IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA. (2007)
PDF
Dynamic assignment in distributed motion planning with local information
. Michael Zavlanos and George J. Pappas. American Control Conference, New York, NY, (2007)
PDF
Controlling biological systems : the lactose regulation systems of Escherichia Coli
. A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas. American Control Conference, New York, NY, (2007)
PDF
Dynamic coverage using receeding horizon control
. Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, and George J. Pappas. European Control Conference, Kos, Greece, (2007)
PDF
Where's Waldo? Sensor-based temporal logic motion planning
(Finalist, Best Student Paper)
. Hadas Kress Gazit, Georgios Fainekos, and George J. Pappas. IEEE Conference on Robotics and Automation, Rome, Italy. (2007)
PDF
Sensor-based dynamic assignment in distributed motion planning
. Michael Zavlanos and George J. Pappas. IEEE Conference on Robotics and Automation, Rome, Italy. (2007)
PDF
Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control
. G. Mariottini, F. Morbidi, D. Prattichizzo, G. J. Pappas, and K. Daniilidis. International Conference on Robotics and Automation, Rome, Italy. (2007)
PDF
Decidability of Motion Planning with Differential Constraints
. Peng Cheng, George J. Pappas, and Vijay Kumar. International Conference on Robotics and Automation, Rome, Italy. (2007)
PDF
A dynamical systems approach to weighted graph matching
(Finalist, Best Student Paper Award)
. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Approximate equivalence and approximate synchronization of metric transition systems
. A. Agung Julius and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Translating temporal logic to controller specifications
. George Fainekos, Savvas Loizou, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Finite state abstraction of a stochastic model of the lactose regulation system in Eschrichia coli
. A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Hierarchical control using approximate simulation relations
. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Multi-UAV Deployment for Coverage with Spatio-Temporal Specifications
. Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Approximate reduction of dynamical systems
. Paulo Tabuada, Aaron Ames, A. Agung Julus, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA. (2006)
PDF
Time-triggered implementations of dynamic controllers
. Truong Nghiem, George J. Pappas, Antoine Girard, and Rajeev Alur. Embedded Software (EMSOFT), Seoul, Korea. (2006)
PDF
Unit and Dynamic Type Checking in Hybrid Systems Modeling in Charon
. Madhukar Anand, Insup Lee, Oleg Sokolsky, and George J. Pappas. IEEE Symposium on Computer Aided Control Systems Design, Munich, Germany. (2006)
An optimization-based approach to time-critical cooperative surveillance and coverage with unmanned aerial vehicles
. Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar. International Symposium on Experimental Robotics, Rio de Janeiro, Brazil. (2006)
PDF
Approximate simulation relations for hybrid systems
. Antoine Girard, A. Agung Julius, and George J. Pappas. IFAC Analysis and Design of Hybrid Systems, Alghero, Italy. (2006)
PDF
Approximate bisimulation for a class of stochastic hybrid systems
. Agung Julius, Antoine Girard, and George J. Pappas. American Control Conference, Minneapolis, MN. (2006)
PDF
Quantifying the gap between embedded control models and time-triggered implementations
. Hakan Yazarel, Antoine Girard, George J. Pappas, and Rajeev Alur. IEEE Real Time Systems Symposium (RTSS), Miami, FL. (2005)
PDF
Controlling connectivity of dynamic graphs
. Michael M. Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Approximate bisimulations for constrained linear systems
. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Approximate bisimulations for nonlinear dynamical systems
. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Bounded model checking for hybrid dynamical systems
. Nicolo Giorgetti, George J. Pappas, and Alberto Bemporad. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Hybrid controllers for path planning : a temporal logic approach
. George Fainekos, Hadas Kress-Gazit, and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Vision-based localization of leader-follower formations
. Gianluca Mariottini, George J. Pappas, Domenico Prattichizzo, and Kostas Daniilidis.. IEEE Conference on Decision and Control, Seville, Spain. (2005)
PDF
Temporal logic planning for mobile robots
. George Fainekos, Hadas Kress Gazit, and George J. Pappas. IEEE Conference on Robotics and Automation, Barcelona, Spain. (2005)
PDF
Information driven coordinated air-ground proactive sensing
. Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, and George J. Pappas.. IEEE Conference on Robotics and Automation, Barcelona, Spain. (2005)
PDF
S.O.S. for safety
. Hakan Yazarel, Stephen Prajna, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas. (2004)
PDF
Stochastic safety verification using barrier certificates
(Finalist, Best Student Paper Award)
. Stephen Prajna, Ali Jadbabaie, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas. (2004)
PDF
Experimental cooperative control of unmanned aerial vehicles
. Selcuk Bayraktar, Georgios Fainekos, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas. (2004)
PDF
Hybrid control for visibility-based pursuit evasion games
. Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas. Proceedins of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan. (2004)
PDF
Synergies in Feature Localization by Air-Ground Robot Teams
. Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, and George J. Pappas. Proceedings of the 9th International Symposium on Experimental Robotics 2004, Singapore. (2004)
PDF
Geometric programming relaxations for linear system reachability
(Finalist, Best Student Paper Award)
. Hakan Yazarel and George J. Pappas. Proceedings of the 2004 American Control Conference, Boston, MA, (2004)
PDF
Finite bisimulations of controllable linear systems
. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii. (2003)
PDF
From discrete specifications to hybrid control
. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii. (2003)
PDF
Hierarchical trajectory generation for a class of nonlinear systems
. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, (2003)
PDF
Stable flocking of mobile agents, Part II : Dynamic Topology
. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii. (2003)
PDF
Stable flocking of mobile agents, Part I : Fixed Topology
. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii. (2003)
PDF
Abstractions of constrained linear systems
. Herbert Tanner, and George J. Pappas. Proceedings of the 2003 American Control Conference, Denver, CO. (2003)
Coordination of multiple autonomous vehicles
. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 11th IEEE Mediterranean Conference on Control and Automation, Rhodes, Greece, (2003)
PDF
Bisimulation relations for dynamical and control systems
. Esfandiar Hagverdi, Paulo Tabuada, and George J. Pappas. In Category Theory and Computer Science (CTCS), Electronic Notes in Theoretical Computer Science, Ottawa. (2003)
PDF
Discrete synchronization of hybrid systems
. Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV. (2002)
PDF
Bisimilar control affine systems
. Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV. (2002)
PDF
From nonlinear to hamiltonian via feedback
. Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV. (2002)
PDF
Input-state-stability on formation graphs
. Herbert Tanner, George J. Pappas, and Vijay Kumar. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV. (2002)
PDF
Quotients of fully nonlinear control systems
. Paulo Tabuada and George J. Pappas. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN. (2002)
PDF
Unifying bisimulation relations for discrete and continuous systems
. Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN. (2002)
PDF
Stability properties of interconnected vehicles
. Herbert Tanner, George J. Pappas, and Vijay Kumar. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN. (2002)
PDF
Simulation relations for discrete-time linear systems
. Herbert Tanner and George J. Pappas. Proceedings of the 15th International Federation on Automatic Control World Congress, Barcelona, Spain. (2002)
PDF
Formation input-to-state stability
. Herbert Tanner and George J. Pappas. Proceedings of the 15th International Federation on Automatic Control World Congress, Barcelona, Spain. (2002)
PDF
Decentralizing formations of multi-agent systems
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the 10th Mediterranean Conference on Control and Automation, Lisbon, Portugal. (2002)
Flying Hot Potatoes
. Pradyumna Mishra and George J. Pappas. Proceedings of the 2002 American Control Conference, pages 754-759, Anchorage, Alaska. (2002)
PDF
The effect of feedback and feedforward on formation ISS
. Herbert Tanner, Vijay Kumar, and George J. Pappas. Proceedings of the 2002 International Conference on Robotics and Automation,pages 3448-3453, Arlington, VA, (2002)
PDF
Hierarchies of Stabilizability Preserving Linear Systems
. George J. Pappas and Gerardo Lafferriere. Proceedings of the 40th IEEE Conference on Decision and Control, pages 2081-2086, Orlando, FL. (2001)
PDF
Abstractions of Hamiltonian Control Systems (Finalist, Best Student Paper Award)
. Paulo Tabuada and George J. Pappas. Proceedings of the 40th IEEE Conference on Decision and Control, pages 3394-3399, Orlando, FL. (2001)
PDF
Compositional Abstractions of Hybrid Control Systems
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the 40th IEEE Conference on Decision and Control, pages 352-357, Orlando, FL. (2001)
PDF
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri
. Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Paul Dunlop. Proceedings of the 40th IEEE Conference on Decision and Control, pages 869-874, Orlando, FL. (2001)
PDF
Multi-modal control of systems with constraints
. T. John Koo, George J. Pappas, and Shankar Sastry. Proceedings of the 40th IEEE Conference on Decision and Control, pages 2075-2080, Orlando, FL. (2001)
PDF
Multi-agent hybrid simulation
. Joel Esposito, Vijay Kumar, and George J. Pappas. Proceedings of the 40th IEEE Conference on Decision and Control, pages 780-785, Orlando, FL. (2001)
PDF
Hybrid abstractions : A search and rescue case study
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the European Control Conference, pages 3864-3869, Porto, Portugal. (2001)
PDF
Greedy control for hybrid pursuit-evasion games
. Joao P. Hespanha, George J. Pappas, and Maria Prandini. Proceedings of the European Control Conference, pages 2621-2626, Porto, Portugal. (2001)
PDF
Cyclic directed formations of multi-agent systems
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the European Control Conference, pages 539-544, Porto, Portugal. (2001)
PDF
Feasible formations of multi-agent systems (Finalist, Best Student Paper Award)
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the American Control Conference, pages 56-61, Arlington, VA, (2001)
PDF
Consistent hierarchies of nonlinear abstractions
. George J. Pappas and Slobodan Simic. Proceedings of the 39th IEEE Conference on Decision and Control, pages 4379-4384, Sydney, Australia. (2000)
PDF
Semidecidable controller synthesis for classes of linear hybrid systems
. Omid Shakernia, George J. Pappas, and Shankar Sastry. Proceedings of the 39th IEEE Conference on Decision and Control, pages 1834-1839, Sydney, Australia. (2000)
PDF
Parameter synthesis in robot motion planning using symbolic reachability computation
. Gerardo Lafferriere, George J. Pappas, Gerardo Schneider, and Sergio Yovine. Proceedings of the 8the IEEE Mediterranean Conference on Control and Automation, Rio, Greece, (2000)
An introduction to hybrid system modeling, analysis, and control
. John Lygeros, George J. Pappas, and Shankar Sastry. Preprints of the First Nonlinear Control Network Pedagogical School, pages 307-329, Athens, Greece. (1999)
PDF
Reach set computation for linear vector fields using quantifier elimination
. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Electronic Proceedings of the IMAC Conference on Applications of Computer Algebra, El Escorial, Spain. (1999)
Reachability computation for linear hybrid systems
. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Proceedings of the 14th IFAC World Congress, volume E, pages 7-12, Beijing. (1999)
PDF
Reachability analysis of hybrid systems using bisimulations
. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 1623-1628, Tampa, FL. (1999)
PDF
Hierarchically consistent control systems (Finalist, Best Student Paper Award)
. George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 4336-4341, Tampa, FL. (1999)
PDF
2 1/2D conflict resolution maneuvers for ATMS
. Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 2650-2655, Tampa, FL. (1999)
Large scale system issues in automated highway and air traffic management systems
. John Lygeros, George J. Pappas, and Shankar Sastry. Proceedings of the 8th IFAC Symposium on Large Scale Systems, pages 722-727, Rio, Greece. (1999)
Decentralized ATMS : Performance and robustness
. Antonio Bicchi, Alesia Marigo, George J. Pappas, M. Pardini, Shankar Sastry, and Claire Tomlin. Proceedings of IFAC Workshop on Motion Control, pages 279-284, Grenoble. (1999)
SmartATMS : A simulator for air traffic management
. T. John Koo, Yi Ma, George J. Pappas, and Claire Tomlin. Proceedings of the 1997 Winter Simulation Conference, pages 1199-1205, Atlanta, GA. (1997)
PDF
A next generation architecture for air traffic management systems
. George J. Pappas, Claire Tomlin, John Lygeros, Datta N. Godbole, and Shankar Sastry. Proceedings of the 36th IEEE Conference on Decision and Control, pages 2405-2410, San Diego, CA. (1997)
PDF
Noncooperative conflict resolution
. Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 36th IEEE Conference on Decision and Control, pages 1816-1821, San Diego, CA. (1997)
PDF
Generation of conflict resolution maneuvers for air traffic management
. Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 10th IEEE International Conference on Intelligent Robots and Systems, pages 1598-1603, Grenoble. (1997)
PDF
Conflict resolution in multi-agent hybrid systems
. George J. Pappas, Claire Tomlin, and Shankar Sastry. Proceedings of the 35th IEEE Conference on Decision and Control, pages 1184-1189, Kobe, Japan. (1997)
Avoiding saturation by trajectory reparameterization
. George J. Pappas. Proceedings of the 35th IEEE Conference on Decision and Control, pages 76-81, Kobe, Japan. (1997)
PDF
Hybrid control in air traffic management
. Claire Tomlin, George J. Pappas, John Lygeros, Datta Godbole, Shankar Sastry, and George Meyer. Proceedings of the 13th IFAC World Congress, volume L, pages 127-132, San Francisco. (1997)
Stabilization and tracking of feedback linearizable systems under input constraints
. George J. Pappas, Datta N. Godbole, and John Lygeros. Proceedings of the 34th IEEE Conference on Decision and Control, pages 596-601, New Orleans. (1997)
Hierarchical trajectory generation for a class of nonlinear systems
. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii. (1997)
PDF
Dynamic modeling and tracking control of nonholonomic vehicles
. George J. Pappas, and Kostas J. Kyriakopoulos. Proceedings of the 12th IFAC World Congress, pages 61-64, Sydney, Australia. (1997)
Modeling and feedback control of nonholonomic vehicles
. George J. Pappas, and Kostas J. Kyriakopoulos. Proceedings of the 31st IEEE Conference on Decision and Control, pages 2680-2685, Tuscon, AZ. (1997)
Books
Control for Societal-scale Challenges: Road Map 2030
Control for Societal-scale Challenges: Road Map 2030
, Eds. A. M. Annaswamy, K. H. Johansson, and G. J. Pappas, IEEE Control Systems Society Publication, 2023
Robotics in the AI era: A vision for a Hellenic Robotics Initiative
Robotics in the AI era: A vision for a Hellenic Robotics Initiative
. Kostas Daniilidis, Leonidas Guibas, Lydia Kavraki, Petros Koumoutsakos, Kostas Kyriakopoulos, John Lygeros, George J. Pappas, Michael Triantafyllou and Panagiotis Tsiotras, Foundations and Trends in Robotics: 9(3):201-265, December 2021
A 21st Century Cyber-Physical Systems Education
National Academies Press, December 2016, IBSN 978-0-309-45163-5
Hybrid Systems: Computation and Control
Rajeev Alur and George J. Pappas, editors. Proceedings of the 7th International Workshop, HSCC 2004, volume 2993 in Lecture Notes in Computer Science Series, 674 pages, Springer-Verlag, March 2004. ISBN: 978-3-642-00195-6
Experimental Robotics
Oussama Khatib, Vijay Kumar, and George J. Pappas, editors. Proceedings of the 11th International Symposium on Experimental Robotics, ISER 2008, volume 54 in Springer Tracts in Advanced Robotics, 580 pages, Springer-Verlag, April 2009. ISBN: 3-540-21259-0
Books Chapters
Secure multi-party computation for cloud-based control
. Andreea Alexandru and George J. Pappas. In: Farokhi F. (eds), Privacy in Dynamical Systems, pages 179-207, Springer. (2019)
PDF
Verification of hybrid systems
. Laurent Doyen, Goran Frehse, George J. Pappas, and Andre Platzer. In: Clarke E., Henzinger T., Veith H., Bloem R. (eds) Handbook of Model Checking. pages 1047-1110, Springer. (2018)
PDF
Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks In Principles of Cyber-Physical Systems
. Victor M. Preciado, Michael Zargham, Cameron Nowzari, Shuo Han, Masaki Ogura, George Pappas. Cambridge University Press. (2018)
Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots
. A. Agung Julius, Mahmut S. Sakar, E. B. Steager, George J. Pappas, Vijay Kumar. Microrobotics. (2012)
Trajectory based verification using local finite-time invariance
. A. Agung Julius, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, San Francisco, CA. (2009)
PDF
Maintaining Connectivity in Mobile Robot Networks
. Nathan Michael, Michael M. Zavlanos, Vijay Kumar and George J. Pappas. International Symposium on Experimental Robotics (ISER), Athens, Greece. (2008)
PDF
Robust sampling for MITL specifications
. Georgios Fainekos and George J. Pappas. Formal Nodeling and Analysis of Real-Time Systems (FORMATS), Lecture Notes in Computer Science, Salzburg, Austria. (2007)
PDF
Robust test generation and coverage for hybrid systems
. A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, Pisa, Italy. (2007)
PDF
Hierarchical synthesis of hybrid controllers from temporal logic specifications
. Georgios Fainekos, Antoine Girard, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, Pisa, Italy. (2007)
PDF
Temporal logic verification using simulation
. Georgios Fainekos, Antoine Girard, and George J. Pappas. Formal Nodeling and Analysis of Real-Time Systems, Lecture Notes in Computer Science, volume 4202, Paris, France. (2006)
PDF
Robustness of temporal logic specifications
. Georgios Fainekos and George J. Pappas. Formal Aproaches to Testing and Runtime Verification, Lecture Notes in Computer Science, volume 4262, Seattle, WA. (2006)
PDF
Verification using simulation
. Antoine Girard and George J. Pappas. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 3927, Santa Barbara, CA. (2006)
PDF
R- Charon : A modeling language for reconfigurable hybrid systems
. Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 3927, Santa Barbara, CA. (2006)
PDF
Observability of switched linear systems in continuous time
. Mohamed Babaali, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 3414, Zurich, Switzerland. (2005)
PDF
Model checking LTL over controllable linear systems is decidable
. Paulo Tabuada and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2623, Springer. (2003)
PDF
Composing abstractions of hybrid systems
. Paulo Tabuada, George J. Pappas, and Pedro Lima. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2289, Springer. (2002)
PDF
A framework and architecture for multirobot coordination
. R. Alur, A. Das, J. Esposito, R. Fierro, Y. Hur, G. Grudic, V. Kumar, I. Lee, J. P. Ostrowski, G. J. Pappas, J. Southall, J. Spletzer, and C. Taylor.. Experimental Robotics VII, Lecture Notes in Control and Information Sciences, volume 271, Springer. (2001)
Hierarchical hybrid modeling of embedded systems
. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky.. Embedded Software (EMSOFT), Lecture Notes in Computer Science, volume 2211, Springer. (2001)
PDF
Hybrid abstractions that preserve timed languages
. Paulo Tabuada and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Mode switching synthesis for reachability specifications
. T. John Koo, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Optimal paths in weighted timed automata
. Rajeev Alur, Salvatorre La Torre, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Hybrid modeling and simulation of biomolecular networks
. Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Semi-decidable synthesis for triangular hybrid systems
. Omid Shakernia, George J. Pappas, and Shankar Sastry. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Accurate event detection for simulating hybrid systems
. Joel Esposito, Vijay Kumar, and George J. Pappas. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer. (2001)
PDF
Decidable controller synthesis for classes of linear systems
. Omid Shakernia, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 1790, Springer. (2000)
PDF
A new class of decidable hybrid systems
. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science,volume 1569, Springer. (1999)
PDF
Hybrid systems with finite bisimulations
. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Hybrid Systems V, Lecture Notes in Computer Science, volume 1567, Springer. (1999)
PDF
Exterior differential systems in control and robotics
. George J. Pappas, John Lygeros, Dawn Tilbury, and Shankar Sastry. Essays on Mathematical Robotics, IMA Volume 104 in Mathematics and its Applications, Springer. (1998)
Subanalytic stratifications and bisimulations
. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science,volume 1386, Springer, (1998)
An approach to the verification of the Center-TRACON Automation System
. John Lygeros, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science,volume 1386, Springer. (1998)
Towards continuous abstractions of dynamical and control systems
. George J. Pappas, and Shankar Sastry. Hybrid Systems IV, Lecture Notes in Computer Science, volume 1273, Springer (1997)
Hybrid control models of next generation air traffic management
. Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, and Shankar Sastry. Hybrid Systems IV, Lecture Notes in Computer Science, volume 1273, Springer. (1997)
Advanced air traffic automation: a case study in distributed decentralized control
. Claire Tomlin, George J. Pappas, Jana Kosecka, John Lygeros, and Shankar Sastry. Control Problems in Robotics and Automation, Lecture Notes in Control and Information Sciences, volume 230, Springer. (1997)
Contact
George Pappas, PhD
UPS Foundation Professor
Department of Electrical and Systems Engineering
Amy Gutmann Hall, Room 538C
University of Pennsylvania
3333 Chestnut Street
Philadelphia, PA 19104
(215) 898-9780
ude.nnepu.saes@gsappap
Scroll to top