The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George J. Pappas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
    A New Class of Decidable Hybrid Systems. [Citation Graph (1, 0)][DBLP]
    HSCC, 1999, pp:137-151 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:14-31 [Conf]
  3. Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
    Time-triggered implementations of dynamic controllers. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:2-11 [Conf]
  4. Georgios E. Fainekos, George J. Pappas
    Robustness of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:178-192 [Conf]
  5. Georgios E. Fainekos, Antoine Girard, George J. Pappas
    Temporal Logic Verification Using Simulation. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:171-186 [Conf]
  6. Rajeev Alur, Salvatore La Torre, George J. Pappas
    Optimal Paths in Weighted Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:49-62 [Conf]
  7. Mohamed Babaali, George J. Pappas
    Observability of Switched Linear Systems in Continuous Time. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:103-117 [Conf]
  8. Joel M. Esposito, Vijay Kumar, George J. Pappas
    Accurate Event Detection for Simulating Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:204-217 [Conf]
  9. Antoine Girard, George J. Pappas
    Verification Using Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:272-286 [Conf]
  10. Tak-John Koo, George J. Pappas, Shankar Sastry
    Mode Switching Synthesis for Reachability Specifications. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:333-346 [Conf]
  11. Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
    R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:392-406 [Conf]
  12. Gerardo Lafferriere, George J. Pappas, Shankar Sastry
    Hybrid Systems with Finite Bisimulations. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:186-203 [Conf]
  13. Gerardo Lafferriere, George J. Pappas, Shankar Sastry
    Subanalytic Stratifications and Bisimulations. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:205-220 [Conf]
  14. George J. Pappas, Shankar Sastry
    Towards Continuous Abstractions of Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1996, pp:329-341 [Conf]
  15. John Lygeros, George J. Pappas, Shankar Sastry
    An Approach to the Verification of the Center-TRACON Automation System. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:289-304 [Conf]
  16. 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? [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:5-6 [Conf]
  17. Omid Shakernia, George J. Pappas, Shankar Sastry
    Semi-decidable Synthesis for Triangular Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:487-500 [Conf]
  18. Omid Shakernia, Shankar Sastry, George J. Pappas
    Decidable Controller Synthesis for Classes of Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:407-420 [Conf]
  19. Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry
    Hybrid Control Models of Next Generarion AIr Traffic Management. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1996, pp:378-404 [Conf]
  20. Paulo Tabuada, George J. Pappas
    Hybrid Abstractions that Preserve Timed Languages. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:501-514 [Conf]
  21. Paulo Tabuada, George J. Pappas
    Model Checking LTL over Controllable Linear Systems Is Decidable. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:498-513 [Conf]
  22. Paulo Tabuada, George J. Pappas, Pedro U. Lima
    Composing Abstractions of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:436-450 [Conf]
  23. Michael M. Zavlanos, George J. Pappas
    Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:787-789 [Conf]
  24. Georgios E. Fainekos, Antoine Girard, George J. Pappas
    Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:203-216 [Conf]
  25. A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
    Robust Test Generation and Coverage for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:329-342 [Conf]
  26. Herbert G. Tanner, Vijay Kumar, George J. Pappas
    The Effect of Feedback and Feedforward on Formation ISS. [Citation Graph (0, 0)][DBLP]
    ICRA, 2002, pp:3448-3453 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    ISER, 2000, pp:303-312 [Conf]
  28. Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
    Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:111-120 [Conf]
  29. Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire Tomlin
    SmartATMS: A Simulator for Air Traffic Management Systems. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1997, pp:1199-1205 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  31. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation Relations for Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  32. 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. [Citation Graph (0, 0)][DBLP]
    I. J. Robotic Res., 2002, v:21, n:10-11, pp:977-998 [Journal]
  33. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
    Symbolic Reachability Computation for Families of Linear Vector Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:3, pp:231-253 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:11-28 [Journal]
  35. Rajeev Alur, Salvatore La Torre, George J. Pappas
    Optimal paths in weighted timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:3, pp:297-322 [Journal]
  36. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation relations for dynamical, control, and hybrid systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:229-261 [Journal]
  37. Georgios E. Fainekos, George J. Pappas
    Robust Sampling for MITL Specifications. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:147-162 [Conf]
  38. Peng Cheng, George J. Pappas, Vijay Kumar
    Decidability of Motion Planning with Differential Constraints. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:1826-1831 [Conf]
  39. Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis
    Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:2403-2408 [Conf]
  40. Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
    Where's Waldo? Sensor-Based Temporal Logic Motion Planning. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:3116-3121 [Conf]
  41. Michael M. Zavlanos, George J. Pappas
    Sensor-Based Dynamic Assignment in Distributed Motion Planning. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:3333-3338 [Conf]
  42. Ben Grocholsky, Rahul Swaminathan, James F. Keller, Vijay Kumar, George J. Pappas
    Information Driven Coordinated Air-Ground Proactive Sensing. [Citation Graph (0, 0)][DBLP]
    ICRA, 2005, pp:2211-2216 [Conf]
  43. Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
    Temporal Logic Motion Planning for Mobile Robots. [Citation Graph (0, 0)][DBLP]
    ICRA, 2005, pp:2020-2025 [Conf]

  44. Approximations of Discrete, Continuous, and Hybrid Systems. [Citation Graph (, )][DBLP]


  45. Trajectory Based Verification Using Local Finite-Time Invariance. [Citation Graph (, )][DBLP]


  46. Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. [Citation Graph (, )][DBLP]


  47. Distributed multi-robot task assignment and formation control. [Citation Graph (, )][DBLP]


  48. Harnessing bacterial power in microscale actuation. [Citation Graph (, )][DBLP]


  49. Multi-vehicle path planning in dynamically changing environments. [Citation Graph (, )][DBLP]


  50. Biosensing and actuation for microbiorobots. [Citation Graph (, )][DBLP]


  51. Automatic synthesis of robot controllers for tasks with locative prepositions. [Citation Graph (, )][DBLP]


  52. A duality approach to path planning for multiple robots. [Citation Graph (, )][DBLP]


  53. A novel learning based segmentation method for rodent brain structures using MRI. [Citation Graph (, )][DBLP]


  54. Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method. [Citation Graph (, )][DBLP]


  55. Synergies in Feature Localization by Air-Ground Robot Teams. [Citation Graph (, )][DBLP]


  56. An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. [Citation Graph (, )][DBLP]


  57. Maintaining Connectivity in Mobile Robot Networks. [Citation Graph (, )][DBLP]


  58. Modeling and Analysis of Multi-hop Control Networks. [Citation Graph (, )][DBLP]


  59. From structured english to robot motion. [Citation Graph (, )][DBLP]


  60. Valet parking without a valet. [Citation Graph (, )][DBLP]


  61. A distributed auction algorithm for the assignment problem. [Citation Graph (, )][DBLP]


  62. Metabolic networks analysis using convex optimization. [Citation Graph (, )][DBLP]


  63. Probabilistic testing for stochastic hybrid systems. [Citation Graph (, )][DBLP]


  64. Robust stability of multi-hop control networks. [Citation Graph (, )][DBLP]


  65. Resource allocation for signal detection with active sensors. [Citation Graph (, )][DBLP]


  66. On trajectory optimization for active sensing in Gaussian process models. [Citation Graph (, )][DBLP]


  67. Translating Structured English to Robot Controllers. [Citation Graph (, )][DBLP]


  68. Distributed Control of the Laplacian Spectral Moments of a Network [Citation Graph (, )][DBLP]


Search in 0.049secs, Finished in 0.051secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002