×

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

Publications by Year

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.93414
Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
207
2007
Conflict resolution for air traffic management: A study in multiagent hybrid systems. Zbl 0904.90113
Tomlin, Claire; Pappas, George J.; Sastry, Shankar
80
1998
Approximation metrics for discrete and continuous systems. Zbl 1366.93032
Girard, Antoine; Pappas, George J.
52
2007
O-minimal hybrid systems. Zbl 1059.68073
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
43
2000
Bisimilar linear systems. Zbl 1045.93033
Pappas, George J.
42
2003
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
39
2002
A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711
Prajna, Stephen; Jadbabaie, Ali; Pappas, George J.
32
2007
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
29
2001
Observability of switched linear systems in continuous time. Zbl 1078.93012
Babaali, Mohamed; Pappas, George J.
27
2005
Linear time logic control of discrete-time linear systems. Zbl 1366.93413
Tabuada, Paulo; Pappas, George J.
26
2006
Bisimulation relations for dynamical, control, and hybrid systems. Zbl 1077.68062
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J.
26
2005
Bisimilar control affine systems. Zbl 1157.93300
Tabuada, Paulo; Pappas, George J.
24
2004
A new class of decidable hybrid systems. Zbl 0926.93036
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
24
1999
Temporal logic motion planning for dynamic robots. Zbl 1158.93369
Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.
23
2009
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.
21
2009
Hierarchical control system design using approximate simulation. Zbl 1158.93301
Girard, Antoine; Pappas, George J.
20
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.
18
2014
Approximations of stochastic hybrid systems. Zbl 1367.93618
Julius, A. Agung; Pappas, George J.
16
2009
Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287
Fainekos, Georgios E.; Pappas, George J.
16
2009
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 paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
14
2004
Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365
Girard, Antoine; Pappas, George J.
13
2007
Differentially private filtering. Zbl 1360.93701
Le Ny, Jerome; Pappas, George J.
12
2014
Optimal power management in wireless control systems. Zbl 1360.93776
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
12
2014
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
Quotients of fully nonlinear control systems. Zbl 1116.93024
Tabuada, Paulo; Pappas, George J.
11
2005
Consistent abstractions of affine control systems. Zbl 1364.93324
Pappas, George J.; Simić, Slobodan
11
2002
Accurate event detection for simulating hybrid systems. Zbl 0991.93525
Esposito, Joel M.; Kumar, Vijay; Pappas, George J.
11
2002
Minimal actuator placement with bounds on control effort. Zbl 1370.93056
Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A.
10
2016
The wireless control network: a new approach for control over networks. Zbl 1368.90024
Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul
10
2011
Bisimulation relations for dynamical and control systems. Zbl 1270.68215
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George
9
2003
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
8
2012
Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241
Girard, Antoine; Pappas, George J.
8
2011
Model checking LTL over controllable linear systems is decidable. Zbl 1032.68104
Tabuada, Paulo; Pappas, George J.
8
2003
Verification using simulation. Zbl 1178.68344
Girard, Antoine; Pappas, George J.
7
2006
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 (ed.); Pappas, George J. (ed.)
7
2004
Decidable controller synthesis for classes of linear systems. Zbl 0944.93010
Shakernia, Omid; Pappas, George J.; Sastry, Shankar
7
2000
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
6
2017
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
Hierarchical synthesis of hybrid controllers from temporal logic specifications. Zbl 1221.93071
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2007
Temporal logic verification using simulation. Zbl 1141.68463
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
2006
Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101
Tabuada, Paulo; Pappas, George J.
6
2005
Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562
Miao, 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.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
5
2010
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
Approximate reduction of dynamic systems. Zbl 1140.93017
Tabuada, Paulo; Ames, Aaron D.; Julius, Agung; Pappas, George J.
5
2008
Adaptive deployment of mobile robotic networks. Zbl 1369.93419
Le Ny, Jerome; Pappas, George J.
4
2013
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
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.
4
2001
Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260
Pajic, Miroslav; Lee, Insup; Pappas, George J.
3
2017
Opportunistic control over shared wireless channels. Zbl 1360.90064
Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J.
3
2015
A dynamical systems approach to weighted graph matching. Zbl 1204.05084
Zavlanos, Michael M.; Pappas, George J.
3
2008
Robust sampling for MITL specifications. Zbl 1141.68464
Fainekos, Georgios E.; Pappas, George J.
3
2007
Abstractions of Hamiltonian control systems. Zbl 1045.93012
Tabuada, Paulo; Pappas, George J.
3
2003
Mode switching synthesis for reachability specifications. Zbl 0996.93501
Koo, T. John; Pappas, George J.; Sastry, Shankar
3
2002
Hybrid systems with finite bisimulations. Zbl 0942.93015
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar
3
1999
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
2
2018
Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138
Nowzari, Cameron; Preciado, Victor M.; 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
Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015
Pequito, Sérgio; Pappas, George J.
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
Composing abstractions of hybrid systems. Zbl 1050.93043
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
2
2002
Exterior differential systems in control and robotics. Zbl 0931.93017
Pappas, 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 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
Learning in wireless control systems over nonstationary channels. Zbl 1415.94388
Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro
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.
1
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
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
Resource constrained LQR control under fast sampling. Zbl 1362.93098
Le Ny, Jerome; Feron, Eric; Pappas, George J.
1
2011
R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074
Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup
1
2006
From nonlinear to Hamiltonian via feedback. Zbl 1364.93305
Tabuada, Paulo; Pappas, George J.
1
2003
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
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
Learning in wireless control systems over nonstationary channels. Zbl 1415.94388
Eisen, Mark; Gatsis, Konstantinos; Pappas, George J.; Ribeiro, Alejandro
1
2019
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
2
2018
Optimal resource allocation for competitive spreading processes on bilayer networks. Zbl 06995907
Watkins, Nicholas J.; Nowzari, Cameron; Preciado, Victor M.; Pappas, George J.
1
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
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
6
2017
Coding schemes for securing cyber-physical systems against stealthy data injection attacks. Zbl 1370.94562
Miao, Fei; Zhu, Quanyan; Pajic, Miroslav; Pappas, George J.
5
2017
Attack-resilient state estimation for noisy dynamical systems. Zbl 1370.93260
Pajic, Miroslav; Lee, Insup; Pappas, George J.
3
2017
Optimal resource allocation for control of networked epidemic models. Zbl 1370.90138
Nowzari, Cameron; Preciado, Victor M.; 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
Structural minimum controllability problem for switched linear continuous-time systems. Zbl 1357.93015
Pequito, Sérgio; Pappas, George J.
2
2017
Minimal actuator placement with bounds on control effort. Zbl 1370.93056
Tzoumas, V.; Rahimian, M. A.; Pappas, G. J.; Jadbabaie, A.
10
2016
Opportunistic control over shared wireless channels. Zbl 1360.90064
Gatsis, Konstantinos; Pajic, Miroslav; Ribeiro, Alejandro; Pappas, George J.
3
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.
18
2014
Differentially private filtering. Zbl 1360.93701
Le Ny, Jerome; Pappas, George J.
12
2014
Optimal power management in wireless control systems. Zbl 1360.93776
Gatsis, Konstantinos; Ribeiro, Alejandro; Pappas, George J.
12
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
8
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
10
2011
Approximate bisimulation: a bridge between computer science and control theory. Zbl 1253.68241
Girard, Antoine; Pappas, George J.
8
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.
5
2010
Temporal logic motion planning for dynamic robots. Zbl 1158.93369
Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.
23
2009
Hybrid control for connectivity preserving flocking. Zbl 1367.93379
Zavlanos, Michael M.; Tanner, Herbert G.; Jadbabaie, Ali; Pappas, George J.
21
2009
Hierarchical control system design using approximate simulation. Zbl 1158.93301
Girard, Antoine; Pappas, George J.
20
2009
Approximations of stochastic hybrid systems. Zbl 1367.93618
Julius, A. Agung; Pappas, George J.
16
2009
Robustness of temporal logic specifications for continuous-time signals. Zbl 1186.68287
Fainekos, Georgios E.; 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.
207
2007
Approximation metrics for discrete and continuous systems. Zbl 1366.93032
Girard, Antoine; Pappas, George J.
52
2007
A framework for worst-case and stochastic safety verification using barrier certificates. Zbl 1366.93711
Prajna, Stephen; Jadbabaie, Ali; Pappas, George J.
32
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
Approximate bisimulation relations for constrained linear systems. Zbl 1130.93365
Girard, Antoine; Pappas, George J.
13
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
Verification using simulation. Zbl 1178.68344
Girard, Antoine; Pappas, George J.
7
2006
Temporal logic verification using simulation. Zbl 1141.68463
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J.
6
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.
11
2005
Hierarchical trajectory refinement for a class of nonlinear systems. Zbl 1175.93101
Tabuada, Paulo; Pappas, George J.
6
2005
Bisimilar control affine systems. Zbl 1157.93300
Tabuada, Paulo; Pappas, George J.
24
2004
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
14
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 (ed.); Pappas, George J. (ed.)
7
2004
Bisimilar linear systems. Zbl 1045.93033
Pappas, George J.
42
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.
39
2002
Consistent abstractions of affine control systems. Zbl 1364.93324
Pappas, George J.; Simić, Slobodan
11
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
3
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
29
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.
4
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
24
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
80
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,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

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.