67. Optimal power management for wireless control systems. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. IEEE Transactions on Automatic Control. October 2012. Submitted.

66. Differentially private filtering. Jerome Le Ny, and George J. Pappas. IEEE Transactions on Automatic Control. August 2012. Submitted.

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.