161. 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, December 2013.

160. 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, December 2013.

159. 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, December 2013.

158. 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, December 2013.

157. Optimal Power Management in Wireless Control Systems. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Washington, DC, June 2013. Finalist, Best Student Paper Award.

156. Event-Based Green Scheduling of Radiant Systems in Buildings. Truong X. Nghiem, George J. Pappas, and Rahul Mangharam. In American Control Conference. Washington, DC, June 2013.

155. Networked Realization of Discrete-Time Controllers. Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas. In American Control Conference. Washington, DC, June 2013.

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

153. Privacy-preserving release of aggregate dynamic models. Jerome Le Ny and George Pappas. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA, April 2013.

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

151. Differentially private filtering. Jerome Le Ny, and George J. Pappas. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, December 2012.

150. 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, December 2012.

149. 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, December 2012.

148. 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, October 2012.

147. Adaptive communication-constrained deployment of mobile robotic networks. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Montreal, Canada. June 2012.

146. 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. June 2012.

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

144. Robust composition of motion specifications. Jerome Le Ny, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Minnesota, MN. May 2012.

143. 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, April 2012.

142. 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, April 2012.

141. 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, April 2012.

140. 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, December 2011.

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

138. 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, December 2011.

137. 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, December 2011.

136. 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, November 2011.

135. 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, November 2011.

134. 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, June 2011

133. 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, July 2011.

132. 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, June 2011.

131. Receding-horizon Supervisory Control of Green Buildings. Truong Nghiem and George J. Pappas, In American Control Conference. San Francisco, CA, July 2011.

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

129. 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, April 2011.

128. 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, April 2011.

127. 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, December 2010.

126. 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, December 2010.

125. Sensor based robot deployment algorithms. Jerome Le Ny, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

124. Mobility and routing control in networks of robots. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

123. 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, December 2010.

122. Discrete abstraction of stochastic nonlinear systems: a bisimulation function approach.. Shun-ichi Azuma, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

121. Mechanism design for en route conflict resolution in air traffic control.. Jerome Le Ny, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

120. 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, June 2010.

119. Path planning for multiple robots: An alternative duality approach. Nader Motee, Ali Jadbabaie, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

118. 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, May 2010.

117. 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, May 2010.

116. 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, May 2010.

115.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, April 2010.

114.Robustness analysis for the certification of digital controller implementations . Jerome Le Ny and George J. Pappas. International Conference on Cyber-Physical Systems, Stockholm, Sweden, April 2010.

113.On trajectory optimization for active sensing in gaussian processes. Jerome Le Ny and George J. Pappas. IEEE Conference on Decision and Control, Shanghai, China, December 2009.

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

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

110. 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, August 2009.

109. A distributed algorithm for fastest mixing markov chains. Michael Zavlanos, Daniel E. Koditschek, and George J. Pappas. American Control Conference, St. Louis, MI, June 2009.

108. MTL robust testing and verification for LPV systems. Georgios Fainekos, and George J. Pappas. American Control Conference, St. Louis, MI, June 2009.

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

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

105. 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, April 2009.

104. Metabolic network analysis using convex optimization. Agung Julius, Marcin Imielinski, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

103. Probabilistic testing for stochastic hybrid systems. Agung Julius and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

102. A distributed auction algorithm for the assignment problem. Michael Zavlanos, Leonid Spesivtsev, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

101. 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, August 2008.

100. Recycling controllers. Hadas Kress Gazit, Nora Ayanian, George J. Pappas and Vijay Kumar. IEEE Conference on on Automation Science and Engineering, Washington DC, August 2008.

99. 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, June 2008.

98. Distributed topology control of dynamic networks. Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas. American Control Conference, Seattle, WA, June 2008.

97. Elastic multi-particle systems for bounded-curvature path planning. Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar. American Control Conference, Seattle, WA, June 2008.

96. Distributed connectivity control of mobile networks. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

95. Flocking while preserving connectivity. Michael Zavlanos, Ali Jadbabaie, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

94. Distributed formation control with permutation symmetries. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

93. 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, December 2007.

92. Approximate hierarchies of linear control systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

91. 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, December 2007.

90. 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, December 2007.

89. 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, December 2007.

88. 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, October 2007.

87. 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, October 2007.

86. Dynamic assignment in distributed motion planning with local information. Michael Zavlanos and George J. Pappas. American Control Conference, New York, NY, July 2007.

85. 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, July 2007.

84. Dynamic coverage using receeding horizon control. Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, and George J. Pappas. European Control Conference, Kos, Greece, July 2007.

83. 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, April 2007.

82. Sensor-based dynamic assignment in distributed motion planning . Michael Zavlanos and George J. Pappas. IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.

81. 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, April 2007.

80. Decidability of Motion Planning with Differential Constraints. Peng Cheng, George J. Pappas, and Vijay Kumar. International Conference on Robotics and Automation, Rome, Italy, April 2007.

79. 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, December 2006.

78. 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, December 2006.

77. Translating temporal logic to controller specifications. George Fainekos, Savvas Loizou, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

76. 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, December 2006.

75. Hierarchical control using approximate simulation relations. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

74. 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, December 2006. To appear.

73. 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, December 2006.

72. Time-triggered implementations of dynamic controllers. Truong Nghiem, George J. Pappas, Antoine Girard, and Rajeev Alur. Embedded Software (EMSOFT), Seoul, Korea, October 2006.

71. 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, October 2006.

70. 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, July 2006.

69. Approximate simulation relations for hybrid systems. Antoine Girard, A. Agung Julius, and George J. Pappas. IFAC Analysis and Design of Hybrid Systems, Alghero, Italy, June 2006.

68. Approximate bisimulation for a class of stochastic hybrid systems. Agung Julius, Antoine Girard, and George J. Pappas. American Control Conference, Minneapolis, MN, June 2006.

67. 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, December 2005.

66. Controlling connectivity of dynamic graphs. Michael M. Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

65. Approximate bisimulations for constrained linear systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

64. Approximate bisimulations for nonlinear dynamical systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

63. Bounded model checking for hybrid dynamical systems. Nicolo Giorgetti, George J. Pappas, and Alberto Bemporad. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

62. 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, December 2005.

61. 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, December 2005.

60. Temporal logic planning for mobile robots. George Fainekos, Hadas Kress Gazit, and George J. Pappas. IEEE Conference on Robotics and Automation, Barcelona, Spain, Apri 2005.

59. 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, Apri 2005.

58. S.O.S. for safety. Hakan Yazarel, Stephen Prajna, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

57. 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, December 2004

56. 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, December 2004

55. 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, September 2004.

54. 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, June 2004.

53. 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, June 2004

52. Finite bisimulations of controllable linear systems. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

51. From discrete specifications to hybrid control. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

50. 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, December 2003

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

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

47. Abstractions of constrained linear systems . Herbert Tanner, and George J. Pappas. Proceedings of the 2003 American Control Conference, Denver, CO, June 2003

46. 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, June 2003

45. 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, February 2003.

44. Discrete synchronization of hybrid systems . Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

43. Bisimilar control affine systems . Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

42. 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, December 2002

41. 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, December 2002

40. Quotients of fully nonlinear control systems . Paulo Tabuada and George J. Pappas. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN, August 2002.

39. 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, August 2002.

38. 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, August 2002.

37. 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, July 2002

36. Formation input-to-state stability . Herbert Tanner and George J. Pappas. Proceedings of the 15th International Federation on Automatic Control World Congress, Barcelona, Spain, July 2002

35. 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, July 2002.

34. Flying Hot Potatoes . Pradyumna Mishra and George J. Pappas. Proceedings of the 2002 American Control Conference, pages 754-759, Anchorage, Alaska, May 2002

33. 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, May 2002

32. 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, December 2001

31. 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, December 2001

30. 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, December 2001

29. 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, December 2001

28. 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, December 2001

27. 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, December 2001

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

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

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

23. 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, June 2001

22. 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, December 2000

21. 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, December 2000

20. 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, July 2000

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

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

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

16. 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, 1998

15. 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, 1998

14. 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, 1998

13. 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, 1998

12. 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, 1998

11. 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, 1997

10. 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, 1997

9. 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, 1997

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

7. 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, 1996

6. Avoiding saturation by trajectory reparameterization. George J. Pappas. Proceedings of the 35th IEEE Conference on Decision and Control, pages 76-81, Kobe, Japan, 1996

5. 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, 1996

4. 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, 1995

3. Hybrid control in air traffic management . Shankar Sastry, George Meyer, Claire Tomlin, John Lygeros, Datta Godbole, and George J. Pappas. Proceedings of the 34th IEEE Conference on Decision and Control, pages 1478-1483, New Orleans, 1995

2. 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, 1993

1. 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, 1992 .