150. Linear quadratic control with risk constraints., Anastasios Tsiamis, Dionysios Kalogerias, Alejandro Ribeiro, George J. Pappas. Automatica, Under Revision.

149. 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).

148. 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, December 2023.

147. 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, August 2023.

146. 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, August 2023.

145. 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.

144. 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, May 2023.

143. 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, May 2023.

142. Yukun Yan, Desheng Zhang, Fei Miao, John Stankovic, Tian He, George J. Pappas, Shan Lin. eRoute: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems under Disruptive Events. IEEE Transactions on Mobile Computing. vol. 22, no. 2, pp. 906-922, 1 February 2023.

141. 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, January 2023.

140. 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.

139. 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, December 2022.

138. Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints., Sean Bowman, Kostas Daniilidis, George J. Pappas, Journal Field Robotics, 2:513-524, October 2022.

137. 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, October 2022.

136. Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning, Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar, IEEE Transactions on Robotics. 38(5):3097-3112, October 2022.

135. 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, Aug. 2022.

134. 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, July 2022.

133. Private Weighted Sum Aggregation, Andreea Alexandru, George J. Pappas. IEEE Transactions on Control of Network Systems. 9(1):219-230, March 2022.

132. Resilient Active Information Acquisition with Teams of Robots, Brent Schlotfeldt, Vasileios Tzoumas, and George J. Pappas, IEEE Transactions on Robotics, 38(1):244-261, February 2022.

131. 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.

130. Robust and Adaptive Sequential Submodular Optimization, Vasileios Tzoumas, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control. 67(1):89-104, January 2022

129. 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, January 2022.

128. 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

127. 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, October 2021.

126. Sampling-based Planning for Non-myopic Multi-Robot Information Gathering. Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas. Autonomous Robots, June 2021.

125. 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, June 2021

124. 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, May 2021.

123. 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, May 2021.

122. 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, April 2021.

121. Fair Robust Assignment using Redundancy. Matthew Malencia, Vijay Kumar, George J. Pappas, Amanda Prorok, IEEE Robotics and Automation Letters, 6(2):4217-4224, April 2021.

120. 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, April 2021

119. Latency-Reliability Tradeoffs for State Estimation. Konstantinos Gatsis, Hamed Hassani, and George J. Pappas. IEEE Transactions on Automatic Control. 66(3):1009-1023, March 2021

118. Statistical Learning for Analysis of Networked Control Systems over Unknown Channels, Konstantinos Gatsis, and George J. Pappas, Automatica. 125:109386, March 2021

117. 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, January 2021.

116. 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, January 2021.

115. 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, December 2020.

114. 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, November 2020.

113. 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, October 2020.

112. 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, September 2020.

111. 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, July 2020.

110. 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, June 2020.

109. State-Secrecy Codes for Networked Linear Systems, Anastasios Tsiamis, Konstantinos Gatsis, and George J. Pappas. IEEE Transactions on Automatic Control, 65(5):2001-2015, May 2020.

108. Finite-dimensional control of linear discrete-time fractional order systems, Andrea Alessandretti, Sergio Pequito, George J. Pappas, A. Pedro Aguiar. Automatica, 115:108112, May 2020.

107. Model-based design for seizure control by stimulation, Arian Ashourvan, SeŽrgio 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, March 2020.

106. 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, March 2020.

105. 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, January 2020

104. 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, June 2019.

103. 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, April 2019

102. 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, March 2019.

101. 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, March 2019.

100. 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, February 2019.

99. 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, January 2019.

98. 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, January 2019.

97. 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, January 2019.

96. 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, September 2018

95. Diffusing private data over networks. Fragkiskos Koufogiannis, and George J. Pappas. IEEE Transactions on Control of Network Systems, 5(3):1027-1037, September 2018.

94. 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, July 2018.

93. 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, June 2018.

92. Privacy in control and dynamical systems. Shuo Han and George J. Pappas. Annual Reviews in Control, Robotics, and Autonomous Systems. 1:309-32, May 2018.

91. Random access design for wireless control systems. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. Automatica. 91:1-9, May 2018

90. 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, April 2018

89. 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, March 2018.

88. 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, January 2018.

87. 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, June 2017.

86. 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, April 2017.

85. 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, April 2017.

84. Structural Minimum Controllability Problem for Switched Linear Continuous-Time Systems. Sergio Pequito and George J. Pappas. Automatica. 78:216-222, April 2017.

83. 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, March 2017.

82. Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas.  IEEE Transactions on Con- trol of Network Systems, Special issue on Cyber-physical systems security, 4(1):106-117, March 2017.

81. Gradual Release of Sensitive Data under Differential Privacy. Fragkiskos Koufogiannis, Shuo Han, George J. Pappas. Journal of Privacy and Condentiality. 7(2), Article 3, January 2017.

80. 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, January 2017.

79. Differentially-private distributed constrained optimization. Shou Han, Ufuk Topcu, and George J. Pappas. IEEE Transactions on Automatic Control. 62(1):50-64, January 2017.

78. 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, April 2016.

77. 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, March 2016.

76. 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, March 2016.

75. 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, February 2016.

74. 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, January 2016.

73. 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-December 2015.

72. 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, December 2015.

71. 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), March 2015.

70. 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, October 2014.

69. 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, June 2014.

68. Optimal power management for wireless control systems. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control. 59(6):1495-1510, June 2014.

67. 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, March 2014.

66. Differentially private filtering. Jerome Le Ny, and George J. Pappas. IEEE Transactions on Automatic Contro, 59(2):341-354, February 2014.

65. 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, April 2013.

64. Adaptive deployment of mobile robotic networks. Jerome Le Ny, and George J. Pappas. IEEE Transactions on Automatic Control. 58(3):654-666, March 2013.

63. Network integrity in mobile robotic networks. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control. 58(1):3-18, January 2013.

62. 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, November 2012.

61. Stochastic Source Seeking by Mobile Robots. Shunichi Azuma, Mahmut Selman Sakar, and George J. Pappas. IEEE Transactions on Automatic Control. 57(9):2308-2311, September 2012.

60. 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, August 2012.

59. 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, June 2012.

58. Approximate bisimulation: a bridge between computer science and control theory. Antoine Girard, and George J. Pappas. European Journal of Control. 5-6:568–578, 2011.

57. 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, October 2011.

56. 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, October 2011.

55. 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-October 2011.

54. Graph theoretic connectivity control of mobile robot networks. Michael Zavlanos, Magnus Egerstedt, and George J. Pappas. Proceedings of the IEEE. 99(9):1525-1540, September 2011.

53. Inferring stable genetic networks from steady-state data. Michael Zavlanos, A. Agung Julius, Stephen Boyd, and George J. Pappas. Automatica, 47(6): 1113-1122, June 2011.

52. 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, May 2011.

51. 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), March 2011.

50. 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, January 2010.

49. 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, December 2009.

48. 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, December 2009.

47. 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, December 2009.

46. Robustness of temporal logic specifications for continuous-time signals . Georgios Fainekos and George J. Pappas. Theoretical Computer Science, 410(42):4262-4291, September 2009.

45. Approximations of stochastic hybrid systems. A. Agung Julius and George J. Pappas. IEEE Transactions on Automatic Control, 54(6):1193-1203, June 2009.

44. 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, May 2009.

43. Hierarchical control system design using approximate simulation. Antoine Girard and George J. Pappas. Automatica, 45(2):566-571, February 2009.

42. Temporal logic planning for dynamic robots. Georgios Fainekos, Antoine Girard, Hadas Kress Gazit, and George J. Pappas. Automatica, 45(2):343-352, February 2009.

41. 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, January 2009.

40. Distributed connectivity control of mobile networks. Michael Zavlanos and George J. Pappas. IEEE Transactions in Robotics, 24(6):1416-1428, December 2008.

39. Translating structured english to robot controllers. Hadas Kress-Gazit, Georgios E. Fainekos, and George J. Pappas. Advanced Robotics, 22(12):1343-1359, December 2008.

38. A dynamical systems approach to weighted graph matching. Michael Zavlanos and George J. Pappas. Automatica, 44(11):2817-2824, November 2008.

37. Approximate reduction of dynamical systems. Paulo Tabuada, Aaron Ames, A. Agung Julius, and George J. Pappas. Systems and Control Letters, 57(7):538-545, July 2008.

36. Approximate simulation relations for hybrid systems. Antoine Girard, A. Agung Julius, and George J. Pappas. Discrete event dynamic systems, 18(2):163-179, June 2008.

35. 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, March 2008.

34. Dyamic assignment in distributed motion planning with local coordination. Michael Zavlanos and George J. Pappas. IEEE Transactions on Robotics, 24(1):232-242, February 2008.

33. 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, January 2008.

32. 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, August 2007.

31. Potential fields for maintaining connectivity of mobile networks. Michael Zavlanos and George J. Pappas. IEEE Transactions on Robotics, 23(4):812-816, August 2007.

30. Approximate bisimulation relations for constrained linear systems. Antoine Girard and George J. Pappas. Automatica, 43(8):1307-1317, August 2007.

29. 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, May 2007.

28. Flocking in fixed and switching networks . Herbert Tanner, Ali Jadbabaie, and George J. Pappas. IEEE Transactions on Automatic Control, 52(5):863-868, May 2007.

27. 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, March 2007.

26. Linear temporal logic control of discrete-time linear systems . Paulo Tabuada and George J. Pappas. IEEE Transactions on Automatic Control, 51(12):1862-1877, December 2006.

25. Cooperative air and ground surveillance. Ben Grocholsky, James Keller, Vijay Kumar, and George J. Pappas. IEEE Robotics and Automation Magazine, 13(3):16-25, September 2006.

24. 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, April 2006.

23. 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, October 2005.

22. Bisimulation relations for dynamical, control, and hybrid systems . Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Theoretical Computer Science, 342(2-3):229-261, September 2005.

21. Motion feasibility of multi-agent formations . Paulo Tabuada, George J. Pappas, and Pedro Lima. IEEE Transactions on Robotics, 21(3):387-392, June 2005.

20. Quotients of fully nonlinear control systems . Paulo Tabuada and George J. Pappas. SIAM Journal of Control and Optimization, 43(5):1844-1866, 2005.

19. Hierarchical trajectory generation for a class of nonlinear systems . Paulo Tabuada and George J. Pappas. Automatica, 41(4):701-708, April 2005.

18. Leader to formation stability . Herbert Tanner, George J. Pappas, and Vijay Kumar. IEEE Transactions on Robotics and Automation, 20(3):443-455, June 2004.

17. Optimal paths in weighted timed automata. Rajeev Alur, Salvatorre La Torre, and George J. Pappas. Theoretical Computer Science, 318(3):297-322, June 2004.

16. Bisimilar control affine systems. Paulo Tabuada and George J. Pappas. Systems & Control Letters, 52(1):49-58, May 2004.

15. Compositional abstractions of hybrid control systems . Paulo Tabuada, George J. Pappas, and Pedro Lima. Discrete Event Dynamic Systems, 14(2):203-238, April 2004.

14. Bisimilar linear systems . George J. Pappas. Automatica, 39(12):2035-2047, December 2003.

13. Abstractions of Hamiltonian control systems . Paulo Tabuada and George J. Pappas. Automatica, 39(12):2025-2033, December 2003.

12. From nonlinear to hamiltonian via feedback . Paulo Tabuada and George J. Pappas. IEEE Transactions on Automatic Control, 48(8):1439- 1442, August 2003.

11. 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, January 2003.

10. 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-November 2002.

9. Consistent abstractions of affine control systems . George J. Pappas, and Slobodan Simic. IEEE Transactions on Automatic Control, 47(5):745-756, May 2002.

8. 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, January 2002.

7. 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, September 2001.

6. Discrete abstractions of hybrid systems . Rajeev Alur, Tom Henzinger, Gerardo Lafferriere, and George J. Pappas. Proccedings of the IEEE, 88(2):971-984, July 2000.

5. Hierarchically consistent control systems . George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. IEEE Transactions on Automatic Control, 45(6):1144-1160, June 2000.

4. O-minimal hybrid systems . Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Mathematics of Control, Signals, and Systems, 13(1):1-21, March 2000.

3. Straightening out rectangular differential inclusions . George J. Pappas, and Shankar Sastry. Systems & Control Letters, 35(2):79-85, September 1998.

2. 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, Arpil 1998.

1. Stabilization of nonholonomic vehicles under kinematic constraints. George J. Pappas, and Kostas J. Kyriakopoulos. International Journal of Control, 61(4):933-947, 1995.