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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [DOI]
- Private Weighted Sum Aggregation. Andreea Alexandru, George J. Pappas. IEEE Transactions on Control of Network Systems. 9(1):219-230. (2022) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [DOI]
- Sampling-based Planning for Non-myopic Multi-Robot Information Gathering. Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas. Autonomous Robots. (2021) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [DOI]
- Statistical Learning for Analysis of Networked Control Systems over Unknown Channels. Konstantinos Gatsis, and George J. Pappas, Automatica. 125:109386,. (2021) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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) [PDF] [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
Books
Books Chapters