×

zbMATH — the first resource for mathematics

Pappas, George J.

Compute Distance To:
Author ID: pappas.george-j Recent zbMATH articles by "Pappas, George J."
Published as: Pappas, George J.; Pappas, George; Pappas, G. J.; Pappas, G.
Homepage: https://www.georgejpappas.org/
External Links: MGP · ORCID
Documents Indexed: 101 Publications since 1995, including 2 Books
all top 5

Co-Authors

1 single-authored
15 Tabuada, Paulo
9 Girard, Antoine
9 Lee, Insup
9 Sastry, Shankar S.
8 Alur, Rajeev
8 Gatsis, Konstantinos
8 Julius, A. Agung
7 Fainekos, Georgios E.
7 Jadbabaie, Ali
7 Pajic, Miroslav
6 Pequito, Sérgio
6 Ribeiro, Alejandro R.
5 Lafferriere, Gerardo
5 Preciado, Victor M.
4 Nowzari, Cameron
4 Tzoumas, Vasileios
4 Weimer, James E.
4 Zavlanos, Michael M.
3 Ivanov, Radoslav
3 Le Ny, Jerome
3 Sokolsky, Oleg
3 Sundaram, Shreyas
2 D’Innocenzo, Alessandro
2 Enyioha, Chinwendu
2 Esposito, Joel M.
2 Haghverdi, Esfandiar
2 Ivančić, Franjo
2 La Torre, Salvatore
2 Miao, Fei
2 Sakar, Mahmut Selman
2 Seshia, Sanjit Arunkumar
2 Shakernia, Omid
2 Shoukry, Yasser
2 Tanner, Herbert G.
2 Watkins, Nicholas J.
2 Yovine, Sergio
2 Zhu, Quanyan
1 Aguiar, António Pedro
1 Alessandretti, Andrea
1 Alexandru, Andreea B.
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 Carlone, Luca
1 Carpenter, Taylor J.
1 Chamon, Luiz F. O.
1 Chang, Jian
1 Chen, Ximing
1 Dang, Thao
1 Di Benedetto, Maria Domenica
1 Doyen, Laurent
1 Eisen, Mark
1 Feron, Eric
1 Frehse, Goran
1 Gupta, Aarti
1 Halász, Ádám M.
1 Han, Shuo
1 Hassani, Hamed
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, Viraj
1 Kyriakopoulos, Kostas J.
1 Lygeros, John
1 Mangharam, Rahul
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 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

Publications by Year

Citations contained in zbMATH Open

84 Publications have been cited 1,155 times in 833 Documents Cited by Year
Flocking in fixed and switching networks. Zbl 1366.93414
Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
210
2007
Conflict resolution for air traffic management: A study in multiagent hybrid systems. Zbl 0904.90113
Tomlin, Claire; Pappas, George J.; Sastry, Shankar
77
1998
Approximation metrics for discrete and continuous systems. Zbl 1366.93032
Girard, Antoine; Pappas, George J.
54
2007
Bisimilar linear systems. Zbl 1045.93033
Pappas, George J.
44
2003
O-minimal hybrid systems. Zbl 1059.68073
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
43
2000
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
40
2002
A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711
Prajna, Stephen; Jadbabaie, Ali; Pappas, George J.
37
2007
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
30
2001
Bisimilar control affine systems. Zbl 1157.93300
Tabuada, Paulo; Pappas, George J.
27
2004
Observability of switched linear systems in continuous time. Zbl 1078.93012
Babaali, Mohamed; Pappas, George J.
27
2005
Bisimulation relations for dynamical, control, and hybrid systems. Zbl 1077.68062
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J.
26
2005
Linear time logic control of discrete-time linear systems. Zbl 1366.93413
Tabuada, Paulo; Pappas, George J.
26
2006
Temporal logic motion planning for dynamic robots. Zbl 1158.93369
Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.
24
2009
Optimal resource allocation for network protection against spreading processes. Zbl 1370.90048
Preciado, Victor M.; Zargham, Michael; Enyioha, Chinwendu; Jadbabaie, Ali; Pappas, George J.
23
2014
A new class of decidable hybrid systems. Zbl 0926.93036
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
23
1999
Hierarchically consistent control systems. Zbl 0971.93004
Pappas, George J.; Lafferriere, Gerardo; Sastry, Shankar
23
2000
Hybrid control for connectivity preserving flocking. Zbl 1367.93379
Zavlanos, Michael M.; Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
22
2009
Hierarchical control system design using approximate simulation. Zbl 1158.93301
Girard, Antoine; Pappas, George J.
20
2009
Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287
Fainekos, Georgios E.; Pappas, George J.
19
2009
Approximations of stochastic hybrid systems. Zbl 1367.93618
Julius, A. Agung; Pappas, George J.
16
2009
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
15
2004
Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365
Girard, Antoine; Pappas, George J.
14
2007
Differentially private filtering. Zbl 1360.93701
Le Ny, Jerome; Pappas, George J.
14
2014
Robust test generation and coverage for hybrid systems. Zbl 1221.93076
Julius, A. Agung; Fainekos, Georgios E.; Anand, Madhukar; Lee, Insup; Pappas, George J.
14
2007
Optimal power management in wireless control systems. Zbl 1360.93776
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
13
2014
Quotients of fully nonlinear control systems. Zbl 1116.93024
Tabuada, Paulo; Pappas, George J.
12
2005
Consistent abstractions of affine control systems. Zbl 1364.93324
Pappas, George J.; Simić, Slobodan
12
2002
The wireless control network: a new approach for control over networks. Zbl 1368.90024
Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul
12
2011
Approximate simulation relations for hybrid systems. Zbl 1395.93113
Girard, Antoine; Julius, A. Agung; Pappas, George J.
12
2008
Accurate event detection for simulating hybrid systems. Zbl 0991.93525
Esposito, Joel M.; Kumar, Vijay; Pappas, George J.
11
2002
Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli. Zbl 1366.92044
Julius, A. Agung; Halász, Ádám; Sakar, M. Selman; Rubin, Harvey; Kumar, Vijay; Pappas, George J.
11
2008
Minimal actuator placement with bounds on control effort. Zbl 1370.93056
Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A.
9
2016
Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562
Miao, Fei; Zhu, Quanyan; Pajic, Miroslav; Pappas, George J.
9
2017
Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241
Girard, Antoine; Pappas, George J.
9
2011
Bisimulation relations for dynamical and control systems. Zbl 1270.68215
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George
9
2003
Model checking LTL over controllable linear systems is decidable. Zbl 1032.68104
Tabuada, Paulo; Pappas, George J.
8
2003
Stochastic source seeking by mobile robots. Zbl 1369.93729
Azuma, Shun-ichi; Sakar, Mahmut Selman; Pappas, George J.
8
2012
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
7
2017
Compositional safety analysis using barrier certificates. Zbl 1362.68185
Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael
7
2012
Compositional abstractions of hybrid control systems. Zbl 1060.93070
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
7
2004
Decidable controller synthesis for classes of linear systems. Zbl 0944.93010
Shakernia, Omid; Pappas, George J.; Sastry, Shankar
7
2000
Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002
Alur, Rajeev (ed.); Pappas, George J. (ed.)
7
2004
Temporal logic verification using simulation. Zbl 1141.68463
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2006
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
6
2010
Hierarchical synthesis of hybrid controllers from temporal logic specifications. Zbl 1221.93071
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2007
Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031
Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera
6
2011
Verification using simulation. Zbl 1178.68344
Girard, Antoine; Pappas, George J.
5
2006
Approximate reduction of dynamic systems. Zbl 1140.93017
Tabuada, Paulo; Ames, Aaron D.; Julius, Agung; Pappas, George J.
5
2008
Opportunistic control over shared wireless channels. Zbl 1360.90064
Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J.
5
2015
Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101
Tabuada, Paulo; Pappas, George J.
5
2005
Approximate equivalence and synchronization of metric transition systems. Zbl 1155.93336
Julius, A. Agung; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Pappas, George J.
5
2009
Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260
Pajic, Miroslav; Lee, Insup; Pappas, George J.
4
2017
Optimal resource allocation for competitive spreading processes on bilayer networks. Zbl 06995907
Watkins, Nicholas J.; Nowzari, Cameron; Preciado, Victor M.; Pappas, George J.
4
2018
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
4
2018
Inferring stable genetic networks from steady-state data. Zbl 1235.93028
Zavlanos, Michael M.; Julius, A. Agung; Boyd, Stephen P.; Pappas, George J.
4
2011
Adaptive deployment of mobile robotic networks. Zbl 1369.93419
Le Ny, Jerome; Pappas, George J.
4
2013
Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138
Nowzari, Cameron; Preciado, Victor M.; Pappas, George J.
3
2017
Robust sampling for MITL specifications. Zbl 1141.68464
Fainekos, Georgios E.; Pappas, George J.
3
2007
Hybrid systems with finite bisimulations. Zbl 0942.93015
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
3
1999
Abstractions of Hamiltonian control systems. Zbl 1045.93012
Tabuada, Paulo; Pappas, George J.
3
2003
A dynamical systems approach to weighted graph matching. Zbl 1204.05084
Zavlanos, Michael M.; Pappas, George J.
3
2008
Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015
Pequito, Sérgio; Pappas, George J.
2
2017
Exterior differential systems in control and robotics. Zbl 0931.93017
Pappas, George J.; Lygeros, John; Tilbury, Dawn; Sastry, Shankar
2
1998
Mode switching synthesis for reachability specifications. Zbl 0996.93501
Koo, T. John; Pappas, George J.; Sastry, Shankar
2
2002
Composing abstractions of hybrid systems. Zbl 1050.93043
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
2
2002
Minimal edge addition for network controllability. Zbl 07093900
Chen, Ximing; Pequito, Sérgio; Pappas, George J.; Preciado, Victor M.
2
2019
Verisig: verifying safety properties of hybrid systems with neural network controllers. Zbl 07120152
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
2
2019
Learning in wireless control systems over nonstationary channels. Zbl 1415.94388
Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro
2
2019
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
2
2017
Network integrity in mobile robotic networks. Zbl 1369.93428
Zavlanos, Michael M.; Ribeiro, Alejandro; Pappas, George J.
2
2013
Trajectory based verification using local finite-time invariance. Zbl 1237.93020
Julius, A. Agung; Pappas, George J.
2
2009
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Zbl 1252.93011
Sundaram, Shreyas; Revzen, Shai; Pappas, George
1
2012
R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074
Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup
1
2006
Resource constrained LQR control under fast sampling. Zbl 1362.93098
Le Ny, Jerome; Feron, Eric; Pappas, George J.
1
2011
Semi-decidable synthesis for triangular hybrid systems. Zbl 0991.93039
Shakernia, Omid; Pappas, George J.; Sastry, Shankar
1
2002
Stabilization of non-holonomic vehicles under kinematic constraints. Zbl 0825.93495
Pappas, George J.; Kyriakopoulos, Kostas J.
1
1995
Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O.
1
2001
Selecting sensors in biological fractional-order systems. Zbl 06989030
Tzoumas, Vasileios; Xue, Yuankun; Pequito, Sérgio; Bogdan, Paul; Pappas, George J.
1
2018
Analysis and design of actuation-sensing-communication interconnection structures toward secured/resilient LTI closed-loop systems. Zbl 07093929
Pequito, Sérgio; Khorrami, Farshad; Krishnamurthy, Prashanth; Pappas, George J.
1
2019
Random access design for wireless control systems. Zbl 1387.93142
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
1
2018
State-secrecy codes for networked linear systems. Zbl 07256320
Tsiamis, Anastasios; Gatsis, Konstantinos; Pappas, George J.
1
2020
Minimal reachability is hard to approximate. Zbl 07044230
Jadbabaie, Ali; Olshevsky, Alexander; Pappas, George J.; Tzoumas, Vasileios
1
2019
From nonlinear to Hamiltonian via feedback. Zbl 1364.93305
Tabuada, Paulo; Pappas, George J.
1
2003
Case study: Verifying the safety of an autonomous racing car with a neural network controller. Zbl 07300869
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
1
2020
State-secrecy codes for networked linear systems. Zbl 07256320
Tsiamis, Anastasios; Gatsis, Konstantinos; Pappas, George J.
1
2020
Case study: Verifying the safety of an autonomous racing car with a neural network controller. Zbl 07300869
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
1
2020
Minimal edge addition for network controllability. Zbl 07093900
Chen, Ximing; Pequito, Sérgio; Pappas, George J.; Preciado, Victor M.
2
2019
Verisig: verifying safety properties of hybrid systems with neural network controllers. Zbl 07120152
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
2
2019
Learning in wireless control systems over nonstationary channels. Zbl 1415.94388
Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro
2
2019
Analysis and design of actuation-sensing-communication interconnection structures toward secured/resilient LTI closed-loop systems. Zbl 07093929
Pequito, Sérgio; Khorrami, Farshad; Krishnamurthy, Prashanth; Pappas, George J.
1
2019
Minimal reachability is hard to approximate. Zbl 07044230
Jadbabaie, Ali; Olshevsky, Alexander; Pappas, George J.; Tzoumas, Vasileios
1
2019
Optimal resource allocation for competitive spreading processes on bilayer networks. Zbl 06995907
Watkins, Nicholas J.; Nowzari, Cameron; Preciado, Victor M.; Pappas, George J.
4
2018
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
4
2018
Selecting sensors in biological fractional-order systems. Zbl 06989030
Tzoumas, Vasileios; Xue, Yuankun; Pequito, Sérgio; Bogdan, Paul; Pappas, George J.
1
2018
Random access design for wireless control systems. Zbl 1387.93142
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
1
2018
Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562
Miao, Fei; Zhu, Quanyan; Pajic, Miroslav; Pappas, George J.
9
2017
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
7
2017
Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260
Pajic, Miroslav; Lee, Insup; Pappas, George J.
4
2017
Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138
Nowzari, Cameron; Preciado, Victor M.; Pappas, George J.
3
2017
Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015
Pequito, Sérgio; Pappas, George J.
2
2017
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
2
2017
Minimal actuator placement with bounds on control effort. Zbl 1370.93056
Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A.
9
2016
Opportunistic control over shared wireless channels. Zbl 1360.90064
Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J.
5
2015
Optimal resource allocation for network protection against spreading processes. Zbl 1370.90048
Preciado, Victor M.; Zargham, Michael; Enyioha, Chinwendu; Jadbabaie, Ali; Pappas, George J.
23
2014
Differentially private filtering. Zbl 1360.93701
Le Ny, Jerome; Pappas, George J.
14
2014
Optimal power management in wireless control systems. Zbl 1360.93776
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
13
2014
Adaptive deployment of mobile robotic networks. Zbl 1369.93419
Le Ny, Jerome; Pappas, George J.
4
2013
Network integrity in mobile robotic networks. Zbl 1369.93428
Zavlanos, Michael M.; Ribeiro, Alejandro; Pappas, George J.
2
2013
Stochastic source seeking by mobile robots. Zbl 1369.93729
Azuma, Shun-ichi; Sakar, Mahmut Selman; Pappas, George J.
8
2012
Compositional safety analysis using barrier certificates. Zbl 1362.68185
Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael
7
2012
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Zbl 1252.93011
Sundaram, Shreyas; Revzen, Shai; Pappas, George
1
2012
The wireless control network: a new approach for control over networks. Zbl 1368.90024
Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul
12
2011
Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241
Girard, Antoine; Pappas, George J.
9
2011
Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031
Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera
6
2011
Inferring stable genetic networks from steady-state data. Zbl 1235.93028
Zavlanos, Michael M.; Julius, A. Agung; Boyd, Stephen P.; Pappas, George J.
4
2011
Resource constrained LQR control under fast sampling. Zbl 1362.93098
Le Ny, Jerome; Feron, Eric; Pappas, George J.
1
2011
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
6
2010
Temporal logic motion planning for dynamic robots. Zbl 1158.93369
Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.
24
2009
Hybrid control for connectivity preserving flocking. Zbl 1367.93379
Zavlanos, Michael M.; Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
22
2009
Hierarchical control system design using approximate simulation. Zbl 1158.93301
Girard, Antoine; Pappas, George J.
20
2009
Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287
Fainekos, Georgios E.; Pappas, George J.
19
2009
Approximations of stochastic hybrid systems. Zbl 1367.93618
Julius, A. Agung; Pappas, George J.
16
2009
Approximate equivalence and synchronization of metric transition systems. Zbl 1155.93336
Julius, A. Agung; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Pappas, George J.
5
2009
Trajectory based verification using local finite-time invariance. Zbl 1237.93020
Julius, A. Agung; Pappas, George J.
2
2009
Approximate simulation relations for hybrid systems. Zbl 1395.93113
Girard, 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.92044
Julius, 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.93017
Tabuada, Paulo; Ames, Aaron D.; Julius, Agung; Pappas, George J.
5
2008
A dynamical systems approach to weighted graph matching. Zbl 1204.05084
Zavlanos, Michael M.; Pappas, George J.
3
2008
Flocking in fixed and switching networks. Zbl 1366.93414
Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
210
2007
Approximation metrics for discrete and continuous systems. Zbl 1366.93032
Girard, Antoine; Pappas, George J.
54
2007
A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711
Prajna, Stephen; Jadbabaie, Ali; Pappas, George J.
37
2007
Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365
Girard, Antoine; Pappas, George J.
14
2007
Robust test generation and coverage for hybrid systems. Zbl 1221.93076
Julius, A. Agung; Fainekos, Georgios E.; Anand, Madhukar; Lee, Insup; Pappas, George J.
14
2007
Hierarchical synthesis of hybrid controllers from temporal logic specifications. Zbl 1221.93071
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2007
Robust sampling for MITL specifications. Zbl 1141.68464
Fainekos, Georgios E.; Pappas, George J.
3
2007
Linear time logic control of discrete-time linear systems. Zbl 1366.93413
Tabuada, Paulo; Pappas, George J.
26
2006
Temporal logic verification using simulation. Zbl 1141.68463
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2006
Verification using simulation. Zbl 1178.68344
Girard, Antoine; Pappas, George J.
5
2006
R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074
Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup
1
2006
Observability of switched linear systems in continuous time. Zbl 1078.93012
Babaali, Mohamed; Pappas, George J.
27
2005
Bisimulation relations for dynamical, control, and hybrid systems. Zbl 1077.68062
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J.
26
2005
Quotients of fully nonlinear control systems. Zbl 1116.93024
Tabuada, Paulo; Pappas, George J.
12
2005
Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101
Tabuada, Paulo; Pappas, George J.
5
2005
Bisimilar control affine systems. Zbl 1157.93300
Tabuada, Paulo; Pappas, George J.
27
2004
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
15
2004
Compositional abstractions of hybrid control systems. Zbl 1060.93070
Tabuada, 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.93002
Alur, Rajeev; Pappas, George J.
7
2004
Bisimilar linear systems. Zbl 1045.93033
Pappas, George J.
44
2003
Bisimulation relations for dynamical and control systems. Zbl 1270.68215
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George
9
2003
Model checking LTL over controllable linear systems is decidable. Zbl 1032.68104
Tabuada, Paulo; Pappas, George J.
8
2003
Abstractions of Hamiltonian control systems. Zbl 1045.93012
Tabuada, Paulo; Pappas, George J.
3
2003
From nonlinear to Hamiltonian via feedback. Zbl 1364.93305
Tabuada, Paulo; Pappas, George J.
1
2003
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
40
2002
Consistent abstractions of affine control systems. Zbl 1364.93324
Pappas, George J.; Simić, Slobodan
12
2002
Accurate event detection for simulating hybrid systems. Zbl 0991.93525
Esposito, Joel M.; Kumar, Vijay; Pappas, George J.
11
2002
Mode switching synthesis for reachability specifications. Zbl 0996.93501
Koo, T. John; Pappas, George J.; Sastry, Shankar
2
2002
Composing abstractions of hybrid systems. Zbl 1050.93043
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
2
2002
Semi-decidable synthesis for triangular hybrid systems. Zbl 0991.93039
Shakernia, Omid; Pappas, George J.; Sastry, Shankar
1
2002
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
30
2001
Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O.
1
2001
O-minimal hybrid systems. Zbl 1059.68073
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
43
2000
Hierarchically consistent control systems. Zbl 0971.93004
Pappas, George J.; Lafferriere, Gerardo; Sastry, Shankar
23
2000
Decidable controller synthesis for classes of linear systems. Zbl 0944.93010
Shakernia, Omid; Pappas, George J.; Sastry, Shankar
7
2000
A new class of decidable hybrid systems. Zbl 0926.93036
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
23
1999
Hybrid systems with finite bisimulations. Zbl 0942.93015
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
3
1999
Conflict resolution for air traffic management: A study in multiagent hybrid systems. Zbl 0904.90113
Tomlin, Claire; Pappas, George J.; Sastry, Shankar
77
1998
Exterior differential systems in control and robotics. Zbl 0931.93017
Pappas, George J.; Lygeros, John; Tilbury, Dawn; Sastry, Shankar
2
1998
Stabilization of non-holonomic vehicles under kinematic constraints. Zbl 0825.93495
Pappas, George J.; Kyriakopoulos, Kostas J.
1
1995
all top 5

Cited by 1,487 Authors

22 Pappas, George J.
15 Girard, Antoine
14 Larsen, Kim Guldstrand
14 Tabuada, Paulo
13 Di Benedetto, Maria Domenica
13 Wang, Long
12 Dimarogonas, Dimos V.
11 Johansson, Karl Henrik
11 Zamani, Majid
10 Abate, Alessandro
10 Ren, Wei
9 Pola, Giordano
8 Chen, Guanrong
8 Chen, Zengqiang
8 Fahrenberg, Uli
8 Lygeros, John
8 Piazza, Carla
8 Platzer, André
8 Wang, Xiaofan
7 Chu, Tianguang
7 De Santis, Elena
7 Lin, Hai
6 Bouyer, Patricia
6 Brihaye, Thomas
6 Damm, Werner
6 Egerstedt, Magnus B.
6 Feng, Gang
6 Grasse, Kevin A.
6 Meng, Ziyang
6 Xiang, Zhengrong
6 Yang, Xiaofan
5 Aghdam, Amir G.
5 Arcak, Murat
5 Asarin, Eugene
5 Azuma, Shun-Ichi
5 Casagrande, Alberto
5 Dong, XiWang
5 Duan, Zhisheng
5 Fan, Yuan
5 Julius, A. Agung
5 Khorasani, Khashayar
5 Kim, Yoonsoo
5 Liu, Huiyang
5 Mardare, Radu
5 Norman, Gethin
5 Quaas, Karin
5 Shi, Guodong
5 Shi, Ling
5 Su, Housheng
5 van der Schaft, Arjan J.
5 Wang, Wei
5 Xie, Guangming
5 Yang, Luxing
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 Fränzle, Martin
4 Gómez-Gutiérrez, David
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 Quevedo, Daniel E.
4 Ramdani, Nacim
4 Sankaranarayanan, Sriram
4 Schneider, Gerardo
4 Soudjani, Sadegh
4 Spathopoulos, Michael P.
4 Sugie, Toshiharu
4 Wang, Ronghao
4 Wang, Yong
4 Wu, Junfeng
4 Xu, Ming
4 Yang, Guanghong
4 Zavlanos, Michael M.
4 Zhong, Yisheng
3 Ahn, Hyo-Sung
3 Bakolas, Efstathios
3 Barbosa, Luís Soares
3 Bérard, Béatrice
3 Boskos, Dimitris
3 Boukhobza, Taha
3 Cao, Ming
3 Chen, Ben M.
3 Chen, Qingwei
3 Chen, Tongwen
...and 1,387 more Authors
all top 5

Cited in 114 Serials

167 Automatica
66 Systems & Control Letters
56 International Journal of Control
41 Journal of the Franklin Institute
39 Nonlinear Analysis. Hybrid Systems
29 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 SIAM Journal on Control and Optimization
11 European Journal of Control
10 Information Sciences
10 Journal of Systems Science and Complexity
8 Applied Mathematics and Computation
8 Information and Computation
8 International Journal of Systems Science. Principles and Applications of Systems and Integration
7 International Journal of Systems Science
6 Journal of Automated Reasoning
6 Formal Aspects of Computing
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 Automation and Remote Control
5 Nonlinear Dynamics
5 The Journal of Logic and Algebraic Programming
5 Journal of Logical and Algebraic Methods in Programming
4 Complexity
4 Chaos
4 Discrete Dynamics in Nature and Society
4 International Journal of Applied Mathematics and Computer Science
4 SIAM Journal on Applied Dynamical Systems
4 Mathematics in Computer Science
3 Acta Informatica
3 Physica A
3 Journal of Computer and System Sciences
3 Journal of Differential Equations
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 Theory of Computing Systems
2 Journal of Mathematical Biology
2 Journal of Geometry and Physics
2 Journal of Computational and Applied Mathematics
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 European Journal of Operational Research
2 Journal of Nonlinear Science
2 Optimization Methods & Software
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
2 Science China. Information Sciences
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 Computing
1 Geometriae Dedicata
1 Journal of Mathematical Economics
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 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 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Miscelánea Matemática
1 Journal of Applied Mathematics
1 Journal of Machine Learning Research (JMLR)
1 Computer Languages, Systems & Structures
...and 14 more Serials
all top 5

Cited in 36 Fields

608 Systems theory; control (93-XX)
329 Computer science (68-XX)
79 Operations research, mathematical programming (90-XX)
55 Mathematical logic and foundations (03-XX)
48 Biology and other natural sciences (92-XX)
43 Information and communication theory, circuits (94-XX)
39 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
37 Ordinary differential equations (34-XX)
34 Calculus of variations and optimal control; optimization (49-XX)
25 Dynamical systems and ergodic theory (37-XX)
24 Combinatorics (05-XX)
19 Probability theory and stochastic processes (60-XX)
19 Mechanics of particles and systems (70-XX)
18 Numerical analysis (65-XX)
7 Category theory; homological algebra (18-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
4 Partial differential equations (35-XX)
4 Global analysis, analysis on manifolds (58-XX)
4 Statistics (62-XX)
3 Algebraic geometry (14-XX)
3 Differential geometry (53-XX)
2 Real functions (26-XX)
2 Difference and functional equations (39-XX)
2 Operator theory (47-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Number theory (11-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 Statistical mechanics, structure of matter (82-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year