Edit Profile Pappas, George J. Compute Distance To: Compute Author ID: pappas.george-j Published as: Pappas, G.; Pappas, G. J.; Pappas, George; Pappas, George J. Homepage: https://www.georgejpappas.org/ External Links: MGP · Wikidata · ORCID Documents Indexed: 96 Publications since 1995, including 2 Books all top 5 Co-Authors 1 single-authored 14 Tabuada, Paulo 9 Girard, Antoine 9 Lee, Insup 9 Sastry, Shankar S. 8 Alur, Rajeev 8 Julius, A. Agung 7 Fainekos, Georgios E. 7 Pajic, Miroslav 6 Jadbabaie, Ali 6 Pequito, Sérgio 5 Gatsis, Konstantinos 5 Lafferriere, Gerardo 5 Preciado, Victor M. 5 Ribeiro, Alejandro R. 4 Nowzari, Cameron 4 Weimer, James E. 4 Zavlanos, Michael M. 3 Ivanov, Radoslav 3 Le Ny, Jerome 3 Sokolsky, Oleg 3 Sundaram, Shreyas 3 Tzoumas, Vasileios 2 D’Innocenzo, Alessandro 2 Enyioha, Chinwendu 2 Esposito, Joel M. 2 Haghverdi, Esfandiar 2 Ivančić, Franjo 2 La Torre, Salvatore 2 Lima, Pedro U. 2 Miao, Fei 2 Sakar, Mahmut Selman 2 Shakernia, Omid 2 Tanner, Herbert G. 2 Watkins, Nicholas J. 2 Yovine, Sergio 2 Zhu, Quanyan 1 Aguiar, António Pedro 1 Alessandretti, Andrea 1 Ames, Aaron D. 1 Anand, Madhukar 1 Atanasov, Nikolay 1 Azuma, Shun-Ichi 1 Babaali, Mohamed 1 Becker, Cassiano O. 1 Bezzo, Nicola 1 Bogdan, Paul 1 Bowman, Sean L. 1 Boyd, Stephen Poythress 1 Carpenter, Taylor J. 1 Chang, Jian 1 Chen, Ximing 1 Dang, Thao 1 Di Benedetto, Maria Domenica 1 Doyen, Laurent 1 Eisen, Mark 1 Feron, Eric 1 Fierro, Ricardo D. 1 Frehse, Goran 1 Gupta, Aarti 1 Halász, Ádám M. 1 Han, Shuo 1 Hur, Yerang 1 Johansson, Karl Henrik 1 Khorrami, Farshad 1 Koo, T. John 1 Koufogiannis, Fragkiskos 1 Kratz, Fabian 1 Kress-Gazit, Hadas 1 Krishnamurthy, Prashanth 1 Kumar, Vijay P. 1 Kumar, Vijay R. 1 Kumar, Viraj 1 Kyriakopoulos, Kostas J. 1 Lygeros, John 1 Mangharam, Rahul 1 Mishra, Prakash Chandra 1 Nghiem, Truong 1 Nuzzo, Pierluigi 1 Olshevsky, Alexander 1 Platzer, André 1 Prajna, Stephen 1 Rahimian, Mohammad Amin 1 Revzen, Shai 1 Rubin, Harvey 1 Sangiovanni-Vincentelli, Alberto L. 1 Sankaranarayanan, Sriram 1 Seshia, Sanjit Arunkumar 1 Shoukry, Yasser 1 Simić, Slobodan N. 1 Sloth, Christoffer 1 Tilbury, Dawn M. 1 Tomlin, Claire J. 1 Topcu, Ufuk 1 Tsiamis, Anastasios 1 Venkatasubramanian, Krishna K. 1 Weiss, Gera 1 Wisniewski, Rafael 1 Xue, Yuankun 1 Zargham, Michael all top 5 Serials 24 IEEE Transactions on Automatic Control 13 Automatica 12 IEEE Transactions on Control of Network Systems 4 Systems & Control Letters 3 Theoretical Computer Science 2 Discrete Event Dynamic Systems 1 International Journal of Control 1 SIAM Journal on Control and Optimization 1 Journal of Symbolic Computation 1 MCSS. Mathematics of Control, Signals, and Systems 1 IEEE Transactions on Signal Processing 1 Formal Methods in System Design 1 European Journal of Control 1 Lecture Notes in Computer Science all top 5 Fields 78 Systems theory; control (93-XX) 32 Computer science (68-XX) 22 Operations research, mathematical programming (90-XX) 7 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 4 Ordinary differential equations (34-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Statistics (62-XX) 2 Mechanics of particles and systems (70-XX) 1 Real functions (26-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 80 Publications have been cited 1,109 times in 796 Documents Cited by ▼ Year ▼ Flocking in fixed and switching networks. Zbl 1366.93414Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J. 207 2007 Conflict resolution for air traffic management: A study in multiagent hybrid systems. Zbl 0904.90113Tomlin, Claire; Pappas, George J.; Sastry, Shankar 80 1998 Approximation metrics for discrete and continuous systems. Zbl 1366.93032Girard, Antoine; Pappas, George J. 52 2007 O-minimal hybrid systems. Zbl 1059.68073Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar 43 2000 Bisimilar linear systems. Zbl 1045.93033Pappas, George J. 42 2003 Optimal paths in weighted timed automata. Zbl 0991.93076Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 39 2002 A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711Prajna, Stephen; Jadbabaie, Ali; Pappas, George J. 32 2007 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 29 2001 Observability of switched linear systems in continuous time. Zbl 1078.93012Babaali, Mohamed; Pappas, George J. 27 2005 Linear time logic control of discrete-time linear systems. Zbl 1366.93413Tabuada, Paulo; Pappas, George J. 26 2006 Bisimulation relations for dynamical, control, and hybrid systems. Zbl 1077.68062Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J. 26 2005 Bisimilar control affine systems. Zbl 1157.93300Tabuada, Paulo; Pappas, George J. 24 2004 A new class of decidable hybrid systems. Zbl 0926.93036Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 24 1999 Temporal logic motion planning for dynamic robots. Zbl 1158.93369Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J. 23 2009 Hierarchically consistent control systems. Zbl 0971.93004Pappas, George J.; Lafferriere, Gerardo; Sastry, Shankar 23 2000 Hybrid control for connectivity preserving flocking. Zbl 1367.93379Zavlanos, Michael M.; Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J. 21 2009 Hierarchical control system design using approximate simulation. Zbl 1158.93301Girard, Antoine; Pappas, George J. 20 2009 Optimal resource allocation for network protection against spreading processes. Zbl 1370.90048Preciado, Victor M.; Zargham, Michael; Enyioha, Chinwendu; Jadbabaie, Ali; Pappas, George J. 18 2014 Approximations of stochastic hybrid systems. Zbl 1367.93618Julius, A. Agung; Pappas, George J. 16 2009 Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287Fainekos, Georgios E.; Pappas, George J. 16 2009 Robust test generation and coverage for hybrid systems. Zbl 1221.93076Julius, A. Agung; Fainekos, Georgios E.; Anand, Madhukar; Lee, Insup; Pappas, George J. 14 2007 Optimal paths in weighted timed automata. Zbl 1068.68080Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 14 2004 Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365Girard, Antoine; Pappas, George J. 13 2007 Differentially private filtering. Zbl 1360.93701Le Ny, Jerome; Pappas, George J. 12 2014 Optimal power management in wireless control systems. Zbl 1360.93776Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J. 12 2014 Approximate simulation relations for hybrid systems. Zbl 1395.93113Girard, Antoine; Julius, A. Agung; Pappas, George J. 12 2008 Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli. Zbl 1366.92044Julius, A. Agung; Halász, Ádám; Sakar, M. Selman; Rubin, Harvey; Kumar, Vijay; Pappas, George J. 11 2008 Quotients of fully nonlinear control systems. Zbl 1116.93024Tabuada, Paulo; Pappas, George J. 11 2005 Consistent abstractions of affine control systems. Zbl 1364.93324Pappas, George J.; Simić, Slobodan 11 2002 Accurate event detection for simulating hybrid systems. Zbl 0991.93525Esposito, Joel M.; Kumar, Vijay; Pappas, George J. 11 2002 Minimal actuator placement with bounds on control effort. Zbl 1370.93056Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A. 10 2016 The wireless control network: a new approach for control over networks. Zbl 1368.90024Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul 10 2011 Bisimulation relations for dynamical and control systems. Zbl 1270.68215Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George 9 2003 Stochastic source seeking by mobile robots. Zbl 1369.93729Azuma, Shun-ichi; Sakar, Mahmut Selman; Pappas, George J. 8 2012 Compositional safety analysis using barrier certificates. Zbl 1362.68185Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael 8 2012 Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241Girard, Antoine; Pappas, George J. 8 2011 Model checking LTL over controllable linear systems is decidable. Zbl 1032.68104Tabuada, Paulo; Pappas, George J. 8 2003 Verification using simulation. Zbl 1178.68344Girard, Antoine; Pappas, George J. 7 2006 Compositional abstractions of hybrid control systems. Zbl 1060.93070Tabuada, Paulo; Pappas, George J.; Lima, Pedro 7 2004 Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002Alur, Rajeev (ed.); Pappas, George J. (ed.) 7 2004 Decidable controller synthesis for classes of linear systems. Zbl 0944.93010Shakernia, Omid; Pappas, George J.; Sastry, Shankar 7 2000 Differentially private distributed constrained optimization. Zbl 1359.90167Han, Shuo; Topcu, Ufuk; Pappas, George J. 6 2017 Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera 6 2011 Hierarchical synthesis of hybrid controllers from temporal logic specifications. Zbl 1221.93071Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. 6 2007 Temporal logic verification using simulation. Zbl 1141.68463Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. 6 2006 Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101Tabuada, Paulo; Pappas, George J. 6 2005 Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562Miao, Fei; Zhu, Quanyan; Pajic, Miroslav; Pappas, George J. 5 2017 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 5 2010 Approximate equivalence and synchronization of metric transition systems. Zbl 1155.93336Julius, A. Agung; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Pappas, George J. 5 2009 Approximate reduction of dynamic systems. Zbl 1140.93017Tabuada, Paulo; Ames, Aaron D.; Julius, Agung; Pappas, George J. 5 2008 Adaptive deployment of mobile robotic networks. Zbl 1369.93419Le Ny, Jerome; Pappas, George J. 4 2013 Inferring stable genetic networks from steady-state data. Zbl 1235.93028Zavlanos, Michael M.; Julius, A. Agung; Boyd, Stephen P.; Pappas, George J. 4 2011 Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O. 4 2001 Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260Pajic, Miroslav; Lee, Insup; Pappas, George J. 3 2017 Opportunistic control over shared wireless channels. Zbl 1360.90064Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J. 3 2015 A dynamical systems approach to weighted graph matching. Zbl 1204.05084Zavlanos, Michael M.; Pappas, George J. 3 2008 Robust sampling for MITL specifications. Zbl 1141.68464Fainekos, Georgios E.; Pappas, George J. 3 2007 Abstractions of Hamiltonian control systems. Zbl 1045.93012Tabuada, Paulo; Pappas, George J. 3 2003 Mode switching synthesis for reachability specifications. Zbl 0996.93501Koo, T. John; Pappas, George J.; Sastry, Shankar 3 2002 Hybrid systems with finite bisimulations. Zbl 0942.93015Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar 3 1999 Verification of hybrid systems. Zbl 1392.68246Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André 2 2018 Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138Nowzari, Cameron; Preciado, Victor M.; Pappas, George J. 2 2017 SMC: satisfiability modulo convex optimization. Zbl 1366.68102Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo 2 2017 Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015Pequito, Sérgio; Pappas, George J. 2 2017 Network integrity in mobile robotic networks. Zbl 1369.93428Zavlanos, Michael M.; Ribeiro, Alejandro; Pappas, George J. 2 2013 Trajectory based verification using local finite-time invariance. Zbl 1237.93020Julius, A. Agung; Pappas, George J. 2 2009 Composing abstractions of hybrid systems. Zbl 1050.93043Tabuada, Paulo; Pappas, George J.; Lima, Pedro 2 2002 Exterior differential systems in control and robotics. Zbl 0931.93017Pappas, George J.; Lygeros, John; Tilbury, Dawn; Sastry, Shankar 2 1998 Analysis and design of actuation-sensing-communication interconnection structures toward secured/resilient LTI closed-loop systems. Zbl 07093929Pequito, Sérgio; Khorrami, Farshad; Krishnamurthy, Prashanth; Pappas, George J. 1 2019 Minimal reachability is hard to approximate. Zbl 07044230Jadbabaie, Ali; Olshevsky, Alexander; Pappas, George J.; Tzoumas, Vasileios 1 2019 Learning in wireless control systems over nonstationary channels. Zbl 1415.94388Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro 1 2019 Optimal resource allocation for competitive spreading processes on bilayer networks. Zbl 06995907Watkins, Nicholas J.; Nowzari, Cameron; Preciado, Victor M.; Pappas, George J. 1 2018 Selecting sensors in biological fractional-order systems. Zbl 06989030Tzoumas, Vasileios; Xue, Yuankun; Pequito, Sérgio; Bogdan, Paul; Pappas, George J. 1 2018 Random access design for wireless control systems. Zbl 1387.93142Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J. 1 2018 A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Zbl 1252.93011Sundaram, Shreyas; Revzen, Shai; Pappas, George 1 2012 Resource constrained LQR control under fast sampling. Zbl 1362.93098Le Ny, Jerome; Feron, Eric; Pappas, George J. 1 2011 R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 1 2006 From nonlinear to Hamiltonian via feedback. Zbl 1364.93305Tabuada, Paulo; Pappas, George J. 1 2003 Semi-decidable synthesis for triangular hybrid systems. Zbl 0991.93039Shakernia, Omid; Pappas, George J.; Sastry, Shankar 1 2002 Stabilization of non-holonomic vehicles under kinematic constraints. Zbl 0825.93495Pappas, George J.; Kyriakopoulos, Kostas J. 1 1995 Analysis and design of actuation-sensing-communication interconnection structures toward secured/resilient LTI closed-loop systems. Zbl 07093929Pequito, Sérgio; Khorrami, Farshad; Krishnamurthy, Prashanth; Pappas, George J. 1 2019 Minimal reachability is hard to approximate. Zbl 07044230Jadbabaie, Ali; Olshevsky, Alexander; Pappas, George J.; Tzoumas, Vasileios 1 2019 Learning in wireless control systems over nonstationary channels. Zbl 1415.94388Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro 1 2019 Verification of hybrid systems. Zbl 1392.68246Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André 2 2018 Optimal resource allocation for competitive spreading processes on bilayer networks. Zbl 06995907Watkins, Nicholas J.; Nowzari, Cameron; Preciado, Victor M.; Pappas, George J. 1 2018 Selecting sensors in biological fractional-order systems. Zbl 06989030Tzoumas, Vasileios; Xue, Yuankun; Pequito, Sérgio; Bogdan, Paul; Pappas, George J. 1 2018 Random access design for wireless control systems. Zbl 1387.93142Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J. 1 2018 Differentially private distributed constrained optimization. Zbl 1359.90167Han, Shuo; Topcu, Ufuk; Pappas, George J. 6 2017 Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562Miao, Fei; Zhu, Quanyan; Pajic, Miroslav; Pappas, George J. 5 2017 Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260Pajic, Miroslav; Lee, Insup; Pappas, George J. 3 2017 Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138Nowzari, Cameron; Preciado, Victor M.; Pappas, George J. 2 2017 SMC: satisfiability modulo convex optimization. Zbl 1366.68102Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo 2 2017 Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015Pequito, Sérgio; Pappas, George J. 2 2017 Minimal actuator placement with bounds on control effort. Zbl 1370.93056Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A. 10 2016 Opportunistic control over shared wireless channels. Zbl 1360.90064Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J. 3 2015 Optimal resource allocation for network protection against spreading processes. Zbl 1370.90048Preciado, Victor M.; Zargham, Michael; Enyioha, Chinwendu; Jadbabaie, Ali; Pappas, George J. 18 2014 Differentially private filtering. Zbl 1360.93701Le Ny, Jerome; Pappas, George J. 12 2014 Optimal power management in wireless control systems. Zbl 1360.93776Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J. 12 2014 Adaptive deployment of mobile robotic networks. Zbl 1369.93419Le Ny, Jerome; Pappas, George J. 4 2013 Network integrity in mobile robotic networks. Zbl 1369.93428Zavlanos, Michael M.; Ribeiro, Alejandro; Pappas, George J. 2 2013 Stochastic source seeking by mobile robots. Zbl 1369.93729Azuma, Shun-ichi; Sakar, Mahmut Selman; Pappas, George J. 8 2012 Compositional safety analysis using barrier certificates. Zbl 1362.68185Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael 8 2012 A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Zbl 1252.93011Sundaram, Shreyas; Revzen, Shai; Pappas, George 1 2012 The wireless control network: a new approach for control over networks. Zbl 1368.90024Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul 10 2011 Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241Girard, Antoine; Pappas, George J. 8 2011 Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera 6 2011 Inferring stable genetic networks from steady-state data. Zbl 1235.93028Zavlanos, Michael M.; Julius, A. Agung; Boyd, Stephen P.; Pappas, George J. 4 2011 Resource constrained LQR control under fast sampling. Zbl 1362.93098Le Ny, Jerome; Feron, Eric; Pappas, George J. 1 2011 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 5 2010 Temporal logic motion planning for dynamic robots. Zbl 1158.93369Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J. 23 2009 Hybrid control for connectivity preserving flocking. Zbl 1367.93379Zavlanos, Michael M.; Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J. 21 2009 Hierarchical control system design using approximate simulation. Zbl 1158.93301Girard, Antoine; Pappas, George J. 20 2009 Approximations of stochastic hybrid systems. Zbl 1367.93618Julius, A. Agung; Pappas, George J. 16 2009 Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287Fainekos, Georgios E.; Pappas, George J. 16 2009 Approximate equivalence and synchronization of metric transition systems. Zbl 1155.93336Julius, A. Agung; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Pappas, George J. 5 2009 Trajectory based verification using local finite-time invariance. Zbl 1237.93020Julius, A. Agung; Pappas, George J. 2 2009 Approximate simulation relations for hybrid systems. Zbl 1395.93113Girard, Antoine; Julius, A. Agung; Pappas, George J. 12 2008 Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli. Zbl 1366.92044Julius, A. Agung; Halász, Ádám; Sakar, M. Selman; Rubin, Harvey; Kumar, Vijay; Pappas, George J. 11 2008 Approximate reduction of dynamic systems. Zbl 1140.93017Tabuada, Paulo; Ames, Aaron D.; Julius, Agung; Pappas, George J. 5 2008 A dynamical systems approach to weighted graph matching. Zbl 1204.05084Zavlanos, Michael M.; Pappas, George J. 3 2008 Flocking in fixed and switching networks. Zbl 1366.93414Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J. 207 2007 Approximation metrics for discrete and continuous systems. Zbl 1366.93032Girard, Antoine; Pappas, George J. 52 2007 A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711Prajna, Stephen; Jadbabaie, Ali; Pappas, George J. 32 2007 Robust test generation and coverage for hybrid systems. Zbl 1221.93076Julius, A. Agung; Fainekos, Georgios E.; Anand, Madhukar; Lee, Insup; Pappas, George J. 14 2007 Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365Girard, Antoine; Pappas, George J. 13 2007 Hierarchical synthesis of hybrid controllers from temporal logic specifications. Zbl 1221.93071Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. 6 2007 Robust sampling for MITL specifications. Zbl 1141.68464Fainekos, Georgios E.; Pappas, George J. 3 2007 Linear time logic control of discrete-time linear systems. Zbl 1366.93413Tabuada, Paulo; Pappas, George J. 26 2006 Verification using simulation. Zbl 1178.68344Girard, Antoine; Pappas, George J. 7 2006 Temporal logic verification using simulation. Zbl 1141.68463Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. 6 2006 R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 1 2006 Observability of switched linear systems in continuous time. Zbl 1078.93012Babaali, Mohamed; Pappas, George J. 27 2005 Bisimulation relations for dynamical, control, and hybrid systems. Zbl 1077.68062Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J. 26 2005 Quotients of fully nonlinear control systems. Zbl 1116.93024Tabuada, Paulo; Pappas, George J. 11 2005 Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101Tabuada, Paulo; Pappas, George J. 6 2005 Bisimilar control affine systems. Zbl 1157.93300Tabuada, Paulo; Pappas, George J. 24 2004 Optimal paths in weighted timed automata. Zbl 1068.68080Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 14 2004 Compositional abstractions of hybrid control systems. Zbl 1060.93070Tabuada, Paulo; Pappas, George J.; Lima, Pedro 7 2004 Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002Alur, Rajeev (ed.); Pappas, George J. (ed.) 7 2004 Bisimilar linear systems. Zbl 1045.93033Pappas, George J. 42 2003 Bisimulation relations for dynamical and control systems. Zbl 1270.68215Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George 9 2003 Model checking LTL over controllable linear systems is decidable. Zbl 1032.68104Tabuada, Paulo; Pappas, George J. 8 2003 Abstractions of Hamiltonian control systems. Zbl 1045.93012Tabuada, Paulo; Pappas, George J. 3 2003 From nonlinear to Hamiltonian via feedback. Zbl 1364.93305Tabuada, Paulo; Pappas, George J. 1 2003 Optimal paths in weighted timed automata. Zbl 0991.93076Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 39 2002 Consistent abstractions of affine control systems. Zbl 1364.93324Pappas, George J.; Simić, Slobodan 11 2002 Accurate event detection for simulating hybrid systems. Zbl 0991.93525Esposito, Joel M.; Kumar, Vijay; Pappas, George J. 11 2002 Mode switching synthesis for reachability specifications. Zbl 0996.93501Koo, T. John; Pappas, George J.; Sastry, Shankar 3 2002 Composing abstractions of hybrid systems. Zbl 1050.93043Tabuada, Paulo; Pappas, George J.; Lima, Pedro 2 2002 Semi-decidable synthesis for triangular hybrid systems. Zbl 0991.93039Shakernia, Omid; Pappas, George J.; Sastry, Shankar 1 2002 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 29 2001 Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O. 4 2001 O-minimal hybrid systems. Zbl 1059.68073Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar 43 2000 Hierarchically consistent control systems. Zbl 0971.93004Pappas, George J.; Lafferriere, Gerardo; Sastry, Shankar 23 2000 Decidable controller synthesis for classes of linear systems. Zbl 0944.93010Shakernia, Omid; Pappas, George J.; Sastry, Shankar 7 2000 A new class of decidable hybrid systems. Zbl 0926.93036Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 24 1999 Hybrid systems with finite bisimulations. Zbl 0942.93015Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar 3 1999 Conflict resolution for air traffic management: A study in multiagent hybrid systems. Zbl 0904.90113Tomlin, Claire; Pappas, George J.; Sastry, Shankar 80 1998 Exterior differential systems in control and robotics. Zbl 0931.93017Pappas, George J.; Lygeros, John; Tilbury, Dawn; Sastry, Shankar 2 1998 Stabilization of non-holonomic vehicles under kinematic constraints. Zbl 0825.93495Pappas, George J.; Kyriakopoulos, Kostas J. 1 1995 all cited Publications top 5 cited Publications all top 5 Cited by 1,460 Authors 21 Pappas, George J. 14 Girard, Antoine 14 Tabuada, Paulo 13 Di Benedetto, Maria Domenica 13 Larsen, Kim Guldstrand 13 Wang, Long 12 Dimarogonas, Dimos V. 11 Johansson, Karl Henrik 11 Zamani, Majid 10 Abate, Alessandro 10 Ren, Wei 9 Lygeros, John 9 Pola, Giordano 8 Chen, Guanrong 8 Chen, Zengqiang 8 Piazza, Carla 8 Wang, Xiaofan 7 De Santis, Elena 7 Fahrenberg, Uli 7 Lin, Hai 7 Platzer, André 7 Xiang, Zhengrong 6 Brihaye, Thomas 6 Damm, Werner 6 Egerstedt, Magnus B. 6 Feng, Gang 6 Grasse, Kevin A. 6 Meng, Ziyang 5 Aghdam, Amir G. 5 Arcak, Murat 5 Asarin, Eugene 5 Azuma, Shun-Ichi 5 Bouyer, Patricia 5 Casagrande, Alberto 5 Dong, XiWang 5 Duan, Zhisheng 5 Fan, Yuan 5 Julius, A. Agung 5 Khorasani, Khashayar 5 Liu, Huiyang 5 Mardare, Radu 5 Norman, Gethin 5 Quaas, Karin 5 Shi, Guodong 5 Su, Housheng 5 van der Schaft, Arjan J. 5 Xie, Guangming 5 Yang, Xiaofan 5 Yang, Zhengquan 5 Zhan, Naijun 5 Zhang, Qing 4 Ajorlou, Amir 4 Anderson, Brian David Outram 4 Bartocci, Ezio 4 Belta, Calin 4 Bortolussi, Luca 4 Cao, Yongcan 4 Chen, Michael Z. Q. 4 Chen, Qingwei 4 Chu, Tianguang 4 Dang, Thao 4 Fränzle, Martin 4 Gómez-Gutiérrez, David 4 Grosu, Radu 4 Hu, Cheng 4 Hui, Qing 4 Imura, Jun’ichi 4 Jiang, Haijun 4 Jiang, Zhong-Ping 4 Jungers, Raphaël M. 4 Legay, Axel 4 Li, Yuzhe 4 Li, Zhongkui 4 Majumdar, Rupak 4 Mitra, Sayan 4 Ramdani, Nacim 4 Sankaranarayanan, Sriram 4 Sastry, Shankar S. 4 Schneider, Gerardo 4 Shi, Ling 4 Soudjani, Sadegh 4 Spathopoulos, Michael P. 4 Sugie, Toshiharu 4 Wang, Ronghao 4 Wang, Wei 4 Wang, Yong 4 Wu, Junfeng 4 Xu, Ming 4 Yang, Luxing 4 Zheng, Wei Xing 4 Zhong, Yisheng 3 Ahn, Hyo-Sung 3 Alur, Rajeev 3 Bakolas, Efstathios 3 Barbosa, Luís Soares 3 Boskos, Dimitris 3 Boukhobza, Taha 3 Chen, Ben M. 3 Chen, Tongwen 3 D’Innocenzo, Alessandro ...and 1,360 more Authors all top 5 Cited in 111 Serials 159 Automatica 67 Systems & Control Letters 56 International Journal of Control 40 Nonlinear Analysis. Hybrid Systems 33 Journal of the Franklin Institute 31 Theoretical Computer Science 27 International Journal of Robust and Nonlinear Control 20 Discrete Event Dynamic Systems 20 Formal Methods in System Design 16 Asian Journal of Control 14 Mathematical Problems in Engineering 12 European Journal of Control 10 SIAM Journal on Control and Optimization 9 Information Sciences 8 Journal of Systems Science and Complexity 8 International Journal of Systems Science. Principles and Applications of Systems and Integration 7 International Journal of Systems Science 7 The Journal of Logic and Algebraic Programming 6 Applied Mathematics and Computation 6 Information and Computation 6 Abstract and Applied Analysis 5 Journal of Optimization Theory and Applications 5 MCSS. Mathematics of Control, Signals, and Systems 5 International Journal of Adaptive Control and Signal Processing 5 Nonlinear Dynamics 5 Journal of Logical and Algebraic Methods in Programming 4 Journal of Automated Reasoning 4 Automation and Remote Control 4 Complexity 4 Chaos 4 Mathematics in Computer Science 3 Acta Informatica 3 Physica A 3 Journal of Computer and System Sciences 3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Optimal Control Applications & Methods 3 Journal of Symbolic Computation 3 International Journal of Approximate Reasoning 3 Formal Aspects of Computing 3 International Journal of Applied Mathematics and Computer Science 3 Science China. Information Sciences 2 Journal of Mathematical Biology 2 Journal of Geometry and Physics 2 Journal of Computational and Applied Mathematics 2 Journal of Differential Equations 2 Kybernetika 2 Circuits, Systems, and Signal Processing 2 Physica D 2 Neural Networks 2 Real-Time Systems 2 MSCS. Mathematical Structures in Computer Science 2 Theory of Computing Systems 2 Optimization Methods & Software 2 Discrete Dynamics in Nature and Society 2 Communications in Nonlinear Science and Numerical Simulation 2 Nonlinear Analysis. Real World Applications 2 Advances in Complex Systems 2 Optimization Letters 2 Logical Methods in Computer Science 2 Journal of Control Science and Engineering 1 International Journal of General Systems 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Journal of Statistical Physics 1 Mathematical Methods in the Applied Sciences 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Geometriae Dedicata 1 Operations Research 1 Cybernetics and Systems 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Acta Mathematicae Applicatae Sinica. English Series 1 Journal of Complexity 1 Journal of Parallel and Distributed Computing 1 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences 1 Applied Mathematical Modelling 1 Linear Algebra and its Applications 1 Pattern Recognition 1 SIAM Journal on Applied Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Nonlinear Science 1 SIAM Journal on Scientific Computing 1 Advances in Computational Mathematics 1 Theory and Applications of Categories 1 Discrete and Continuous Dynamical Systems 1 Multibody System Dynamics 1 Soft Computing 1 Journal of the ACM 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Mathematical and Computer Modelling of Dynamical Systems 1 RAIRO. Theoretical Informatics and Applications 1 Miscelánea Matemática 1 Journal of Applied Mathematics 1 SIAM Journal on Applied Dynamical Systems 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Mediterranean Journal of Mathematics 1 Advances in Difference Equations ...and 11 more Serials all top 5 Cited in 34 Fields 585 Systems theory; control (93-XX) 321 Computer science (68-XX) 72 Operations research, mathematical programming (90-XX) 53 Mathematical logic and foundations (03-XX) 44 Biology and other natural sciences (92-XX) 43 Information and communication theory, circuits (94-XX) 35 Calculus of variations and optimal control; optimization (49-XX) 33 Ordinary differential equations (34-XX) 31 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Combinatorics (05-XX) 22 Dynamical systems and ergodic theory (37-XX) 19 Numerical analysis (65-XX) 19 Mechanics of particles and systems (70-XX) 18 Probability theory and stochastic processes (60-XX) 7 Category theory; homological algebra (18-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Partial differential equations (35-XX) 3 Algebraic geometry (14-XX) 3 Differential geometry (53-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Statistics (62-XX) 2 Real functions (26-XX) 2 Difference and functional equations (39-XX) 2 Operator theory (47-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Mechanics of deformable solids (74-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.