Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
George J. Pappas
2010 – today
- 2013
[j56]Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram: Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE Journal on Selected Areas in Communications 31(4): 794-807 (2013)- [j55]Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas: Network Integrity in Mobile Robotic Networks. IEEE Trans. Automat. Contr. 58(1): 3-18 (2013)
- [j54]Jerome Le Ny, George J. Pappas: Adaptive Deployment of Mobile Robotic Networks. IEEE Trans. Automat. Contr. 58(3): 654-666 (2013)
- [i5]Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas: Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks. CoRR abs/1303.3984 (2013)
- 2012
- [j53]Shreyas Sundaram, Shai Revzen, George J. Pappas: A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Automatica 48(11): 2894-2901 (2012)
- [j52]Jerome Le Ny, Alejandro Ribeiro, George J. Pappas: Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems. IEEE Journal on Selected Areas in Communications 30(5): 923-934 (2012)
- [j51]Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas: Stochastic Source Seeking by Mobile Robots. IEEE Trans. Automat. Contr. 57(9): 2308-2321 (2012)
- [j50]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-Triggered Implementations of Dynamic Controllers. ACM Trans. Embedded Comput. Syst. 11(S2): 58 (2012)
- [c86]
- [c85]Christoffer Sloth, Rafael Wisniewski, George J. Pappas: On the existence of compositional barrier certificates. CDC 2012: 4580-4585
- [c84]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam: Green scheduling for radiant systems in buildings. CDC 2012: 7577-7582
- [c83]Christoffer Sloth, George J. Pappas, Rafael Wisniewski: Compositional safety analysis using barrier certificates. HSCC 2012: 15-24
- [c82]Nikolay Atanasov, Jerome Le Ny, Nathan Michael, George J. Pappas: Stochastic source seeking in complex environments. ICRA 2012: 3013-3018
- [c81]Jerome Le Ny, George J. Pappas: Sequential composition of robust controller specifications. ICRA 2012: 5190-5195
- [c80]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam: Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36
- [i4]
- [i3]
- 2011
- [j49]Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas: Inferring stable genetic networks from steady-state data. Automatica 47(6): 1113-1122 (2011)
- [j48]Antoine Girard, George J. Pappas: Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. Eur. J. Control 17(5-6): 568-578 (2011)
- [j47]Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas: Modeling, control and experimental characterization of microbiorobots. I. J. Robotic Res. 30(6): 647-658 (2011)
- [j46]Michael M. Zavlanos, Magnus Egerstedt, George J. Pappas: Graph-Theoretic Connectivity Control of Mobile Robot Networks. Proceedings of the IEEE 99(9): 1525-1540 (2011)
- [j45]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam: The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Automat. Contr. 56(10): 2305-2318 (2011)
- [j44]Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Automat. Contr. 56(10): 2345-2357 (2011)
- [c79]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam: Topological conditions for wireless control networks. CDC-ECE 2011: 2353-2360
- [c78]Jerome Le Ny, Alejandro Ribeiro, George J. Pappas: Robot deployment with end-to-end communication constraints. CDC-ECE 2011: 4232-4238
- [c77]Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas: Green scheduling of control systems for peak demand reduction. CDC-ECE 2011: 5131-5136
- [c76]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam: Green scheduling: Scheduling of control systems for peak power reduction. IGCC 2011: 1-8
- [c75]George J. Pappas: Wireless control networks: modeling, synthesis, robustness, security. HSCC 2011: 1-2
- [c74]Jerome Le Ny, Eric Feron, George J. Pappas: Resource constrained LQR control under fast sampling. HSCC 2011: 271-280
- [c73]Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas: Reputation-based networked control with data-corrupting channels. HSCC 2011: 291-300
- [c72]Mahmut Selman Sakar, Edward B. Steager, Anthony Cowley, Vijay Kumar, George J. Pappas: Wireless manipulation of single cells using magnetic microtransporters. ICRA 2011: 2668-2673
- [c71]Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas: Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118
- [c70]Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam: On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS 2011: 295-304
- 2010
- [j43]Oussama Khatib, Vijay Kumar, George J. Pappas: Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics. I. J. Robotic Res. 29(5): 483-484 (2010)
- [c69]
- [c68]Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas: The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984
- [c67]Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas: Nonholonomic source seeking in switching random fields. CDC 2010: 6337-6342
- [c66]Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas: Mobility & routing control in networks of robots. CDC 2010: 7545-7550
- [c65]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam: The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581
- [c64]Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220
- [c63]Jerome Le Ny, George J. Pappas: Robustness analysis for the certification of digital controller implementations. ICCPS 2010: 99-108
- [c62]Nader Motee, Ali Jadbabaie, George J. Pappas: A duality approach to path planning for multiple robots. ICRA 2010: 935-940
- [c61]Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas: Biosensing and actuation for microbiorobots. ICRA 2010: 3141-3146
- [c60]Hadas Kress-Gazit, George J. Pappas: Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA 2010: 3215-3220
- [i2]Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas: Distributed Control of the Laplacian Spectral Moments of a Network. CoRR abs/1001.4122 (2010)
- [i1]Jerome Le Ny, George J. Pappas: Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks. CoRR abs/1011.0520 (2010)
2000 – 2009
- 2009
- [j42]Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
- [j41]Antoine Girard, George J. Pappas: Hierarchical control system design using approximate simulation. Automatica 45(2): 566-571 (2009)
- [j40]A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas: Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2): 94-101 (2009)
- [j39]A. Agung Julius, George J. Pappas: Approximations of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 54(6): 1193-1203 (2009)
- [j38]Michael M. Zavlanos, Herbert G. Tanner, Ali Jadbabaie, George J. Pappas: Hybrid Control for Connectivity Preserving Flocking. IEEE Trans. Automat. Contr. 54(12): 2869-2875 (2009)
- [j37]Georgios E. Fainekos, George J. Pappas: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009)
- [j36]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Transactions on Robotics 25(6): 1370-1381 (2009)
- [j35]Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, Nicholas Vander Valk, Nathan Michael, George J. Pappas, Kostas Daniilidis: Vision-Based Localization for Leader-Follower Formation Control. IEEE Transactions on Robotics 25(6): 1431-1438 (2009)
- [c59]Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas: Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414
- [c58]Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas: Robust stability of multi-hop control networks. CDC 2009: 2210-2215
- [c57]Jerome Le Ny, George J. Pappas: On trajectory optimization for active sensing in Gaussian process models. CDC 2009: 6286-6292
- [c56]Jerome Le Ny, Michael M. Zavlanos, George J. Pappas: Resource allocation for signal detection with active sensors. CDC 2009: 8561-8566
- [c55]
- [c54]A. Agung Julius, George J. Pappas: Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236
- [c53]A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas: Harnessing bacterial power in microscale actuation. ICRA 2009: 1004-1009
- [c52]Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George J. Pappas: Multi-vehicle path planning in dynamically changing environments. ICRA 2009: 2449-2454
- [c51]Jinghao Zhou, Sukmoon Chang, Shaoting Zhang, George J. Pappas, Michael Michaelides, Foteini Delis, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas: Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method. ISBI 2009: 498-501
- [c50]Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232
- [e2]Oussama Khatib, Vijay Kumar, George J. Pappas (Eds.): Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece. Springer Tracts in Advanced Robotics 54, Springer 2009, ISBN 978-3-642-00195-6
- 2008
- [j34]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Translating Structured English to Robot Controllers. Advanced Robotics 22(12): 1343-1359 (2008)
- [j33]Michael M. Zavlanos, George J. Pappas: A dynamical systems approach to weighted graph matching. Automatica 44(11): 2817-2824 (2008)
- [j32]Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2): 163-179 (2008)
- [j31]
- [j30]Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas: Approximate reduction of dynamic systems. Systems & Control Letters 57(7): 538-545 (2008)
- [j29]A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar, George J. Pappas: Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. IEEE Trans. Automat. Contr. 53: 51-65 (2008)
- [j28]Michael M. Zavlanos, George J. Pappas: Dynamic Assignment in Distributed Motion Planning With Local Coordination. IEEE Transactions on Robotics 24(1): 232-242 (2008)
- [j27]Michael M. Zavlanos, George J. Pappas: Distributed Connectivity Control of Mobile Networks. IEEE Transactions on Robotics 24(6): 1416-1428 (2008)
- [c49]Hadas Kress-Gazit, George J. Pappas: Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. CASE 2008: 766-771
- [c48]Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar: Recycling controllers. CASE 2008: 772-777
- [c47]A. Agung Julius, Marcin Imielinski, George J. Pappas: Metabolic networks analysis using convex optimization. CDC 2008: 762-767
- [c46]Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas: A distributed auction algorithm for the assignment problem. CDC 2008: 1212-1217
- [c45]A. Agung Julius, George J. Pappas: Probabilistic testing for stochastic hybrid systems. CDC 2008: 4030-4035
- [c44]Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Distributed multi-robot task assignment and formation control. ICRA 2008: 128-133
- [c43]Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas: A novel learning based segmentation method for rodent brain structures using MRI. ISBI 2008: 61-64
- [c42]Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Maintaining Connectivity in Mobile Robot Networks. ISER 2008: 117-126
- 2007
- [j26]Antoine Girard, George J. Pappas: Approximate bisimulation relations for constrained linear systems. Automatica 43(8): 1307-1317 (2007)
- [j25]Antoine Girard, George J. Pappas: Approximation Metrics for Discrete and Continuous Systems. IEEE Trans. Automat. Contr. 52(5): 782-798 (2007)
- [j24]Herbert G. Tanner, Ali Jadbabaie, George J. Pappas: Flocking in Fixed and Switching Networks. IEEE Trans. Automat. Contr. 52(5): 863-868 (2007)
- [j23]Stephen Prajna, Ali Jadbabaie, George J. Pappas: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Trans. Automat. Contr. 52(8): 1415-1428 (2007)
- [j22]Michael M. Zavlanos, George J. Pappas: Potential Fields for Maintaining Connectivity of Mobile Networks. IEEE Transactions on Robotics 23(4): 812-816 (2007)
- [c41]Georgios E. Fainekos, George J. Pappas: Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
- [c40]Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
- [c39]A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
- [c38]Michael M. Zavlanos, George J. Pappas: Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. HSCC 2007: 787-789
- [c37]Peng Cheng, George J. Pappas, Vijay Kumar: Decidability of Motion Planning with Differential Constraints. ICRA 2007: 1826-1831
- [c36]Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis: Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. ICRA 2007: 2403-2408
- [c35]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
- [c34]Michael M. Zavlanos, George J. Pappas: Sensor-Based Dynamic Assignment in Distributed Motion Planning. ICRA 2007: 3333-3338
- [c33]David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas: Valet parking without a valet. IROS 2007: 572-577
- [c32]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
- 2006
- [j21]Paulo Tabuada, George J. Pappas: Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Automatica 42(10): 1833 (2006)
- [j20]Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
- [j19]Paulo Tabuada, George J. Pappas: Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. Automat. Contr. 51(12): 1862-1877 (2006)
- [c31]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11
- [c30]Georgios E. Fainekos, George J. Pappas: Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192
- [c29]Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
- [c28]
- [c27]Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
- [c26]Ali Ahmadzadeh, James F. Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar: An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. ISER 2006: 491-500
- 2005
- [j18]Paulo Tabuada, George J. Pappas: Hierarchical trajectory refinement for a class of nonlinear systems. Automatica 41(4): 701-708 (2005)
- [j17]Paulo Tabuada, George J. Pappas: Quotients of Fully Nonlinear Control Systems. SIAM J. Control and Optimization 43(5): 1844-1866 (2005)
- [j16]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005)
- [j15]Paulo Tabuada, George J. Pappas, Pedro U. Lima: Motion feasibility of multi-agent formations. IEEE Transactions on Robotics 21(3): 387-392 (2005)
- [j14]Calin Belta, Volkan Isler, George J. Pappas: Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics 21(5): 864-874 (2005)
- [c25]Mohamed Babaali, George J. Pappas: Observability of Switched Linear Systems in Continuous Time. HSCC 2005: 103-117
- [c24]Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas: Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025
- [c23]Ben Grocholsky, Rahul Swaminathan, James F. Keller, Vijay Kumar, George J. Pappas: Information Driven Coordinated Air-Ground Proactive Sensing. ICRA 2005: 2211-2216
- [c22]Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur: Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120
- 2004
- [j13]Paulo Tabuada, George J. Pappas, Pedro U. Lima: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems 14(2): 203-238 (2004)
- [j12]Paulo Tabuada, George J. Pappas: Bisimilar control affine systems. Systems & Control Letters 52(1): 49-58 (2004)
- [j11]Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004)
- [j10]Herbert G. Tanner, George J. Pappas, Vijay Kumar: Leader-to-formation stability. IEEE Transactions on Robotics 20(3): 443-455 (2004)
- [c21]Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas: Hybrid control for visibility-based pursuit-evasion games. IROS 2004: 1432-1437
- [c20]Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas: Synergies in Feature Localization by Air-Ground Robot Teams. ISER 2004: 352-361
- [e1]Rajeev Alur, George J. Pappas (Eds.): Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993, Springer 2004, ISBN 3-540-21259-0
- 2003
- [j9]Paulo Tabuada, George J. Pappas: Abstractions of Hamiltonian control systems. Automatica 39(12): 2025-2033 (2003)
- [j8]
- [j7]Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1): 11-28 (2003)
- [j6]Paulo Tabuada, George J. Pappas: From nonlinear to Hamiltonian via feedback. IEEE Trans. Automat. Contr. 48(8): 1439-1442 (2003)
- [c19]Paulo Tabuada, George J. Pappas: Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513
- 2002
- [j5]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. Electr. Notes Theor. Comput. Sci. 69: 120-136 (2002)
- [j4]Rafael B. Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall: A Framework and Architecture for Multi-Robot Coordination. I. J. Robotic Res. 21(10-11): 977-998 (2002)
- [j3]George J. Pappas, Slobodan Simic: Consistent abstractions of affine control systems. IEEE Trans. Automat. Contr. 47(5): 745-756 (2002)
- [c18]Paulo Tabuada, George J. Pappas, Pedro U. Lima: Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450
- [c17]Herbert G. Tanner, Vijay Kumar, George J. Pappas: The Effect of Feedback and Feedforward on Formation ISS. ICRA 2002: 3448-3453
- 2001
- [j2]Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001)
- [c16]Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31
- [c15]Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
- [c14]Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62
- [c13]Joel M. Esposito, Vijay Kumar, George J. Pappas: Accurate Event Detection for Simulating Hybrid Systems. HSCC 2001: 204-217
- [c12]Tak-John Koo, George J. Pappas, Shankar Sastry: Mode Switching Synthesis for Reachability Specifications. HSCC 2001: 333-346
- [c11]Omid Shakernia, George J. Pappas, Shankar Sastry: Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC 2001: 487-500
- [c10]Paulo Tabuada, George J. Pappas: Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514
- 2000
- [j1]Gerardo Lafferriere, George J. Pappas, Shankar Sastry: O-Minimal Hybrid Systems. MCSS 13(1): 1-21 (2000)
- [c9]Omid Shakernia, Shankar Sastry, George J. Pappas: Decidable Controller Synthesis for Classes of Linear Systems. HSCC 2000: 407-420
- [c8]Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael B. Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor: A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312
1990 – 1999
- 1999
- [c7]Gerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
- 1998
- [c6]Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Subanalytic Stratifications and Bisimulations. HSCC 1998: 205-220
- [c5]John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304
- 1997
- [c4]Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Hybrid Systems with Finite Bisimulations. Hybrid Systems 1997: 186-203
- [c3]Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire Tomlin: SmartATMS: A Simulator for Air Traffic Management Systems. Winter Simulation Conference 1997: 1199-1205
- 1996
- [c2]George J. Pappas, Shankar Sastry: Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems 1996: 329-341
- [c1]Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 10:00 CEST by the dblp team