The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
John Lygeros: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
    Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:49-63 [Conf]
  2. Manuela L. Bujorianu, John Lygeros
    Reachability Questions in Piecewise Deterministic Markov Processes. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:126-140 [Conf]
  3. Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu
    Bisimulation for General Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:198-214 [Conf]
  4. John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros
    Verification of Hybrid Systems: Monotonicity in the AHS Control System. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:161-172 [Conf]
  5. Jianghai Hu, John Lygeros, Shankar Sastry
    Towars a Theory of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:160-173 [Conf]
  6. Yan Gao, John Lygeros, Marc Quincampoix
    The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:242-256 [Conf]
  7. Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube
    Approximate Stabilisation of Uncertain Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:203-215 [Conf]
  8. William Glover, John Lygeros
    A Stochastic Hybrid Model for Air Traffic Control Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:372-386 [Conf]
  9. Datta N. Godbole, John Lygeros, Shankar Sastry
    Hierarchical Hybrid Control: A Case Study. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:166-190 [Conf]
  10. Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski
    Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:433-448 [Conf]
  11. John Lygeros, Datta N. Godbole, Shankar Sastry
    A Game-Theoretic Approach to Hybrid System Design. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:1-12 [Conf]
  12. John Lygeros, Nancy A. Lynch
    Strings of Vehicles: Modeling and Safety Conditions. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:273-288 [Conf]
  13. John Lygeros, Xuerong Mao, Chenggui Yuan
    Stochastic Hybrid Delay Population Dynamics. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:436-450 [Conf]
  14. 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]
  15. John Lygeros, Claire Tomlin, Shankar Sastry
    Multiobjective Hybrid Controller Synthesis. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:109-123 [Conf]
  16. René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry
    Controlled Invariance of Discrete Time Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:437-450 [Conf]
  17. Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
    Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:4-17 [Conf]
  18. Claire Tomlin, John Lygeros, Shankar Sastry
    Synthesizing Controllers for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:360-373 [Conf]
  19. Chenggui Yuan, John Lygeros
    Asymptotic Stability and Boundedness of Delay Switching Diffusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:646-659 [Conf]
  20. Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry
    Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:451-464 [Conf]
  21. Eva Crück, John Lygeros
    A Hybrid Model for Subliminal Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:672-675 [Conf]
  22. Claire Tomlin, John Lygeros, Shankar Sastry
    Computing Controllers for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:238-255 [Conf]
  23. Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros
    Towards a Geometric Theory of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:421-436 [Conf]
  24. 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]
  25. John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski
    Impulse Differential Inclusions Driven by Discrete Measures. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:385-398 [Conf]
  26. Carolos Livadas, John Lygeros, Nancy A. Lynch
    High-Level Modeling and Analysis of TCAS. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:115-125 [Conf]

  27. Parameter Identification for a DNA replication model. [Citation Graph (, )][DBLP]


  28. Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. [Citation Graph (, )][DBLP]


  29. Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. [Citation Graph (, )][DBLP]


  30. Local Identification of Piecewise Deterministic Models of Genetic Networks. [Citation Graph (, )][DBLP]


  31. On the connections between PCTL and dynamic programming. [Citation Graph (, )][DBLP]


  32. Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. [Citation Graph (, )][DBLP]


  33. Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains. [Citation Graph (, )][DBLP]


  34. Control of multiple non-holonomic air vehicles under wind uncertainty using Model Predictive Control and decentralized navigation functions. [Citation Graph (, )][DBLP]


  35. On the approximate domain optimization of deterministic and expected value criteria. [Citation Graph (, )][DBLP]


  36. Numerical analysis of FRAP experiments for DNA replication and repair. [Citation Graph (, )][DBLP]


  37. An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. [Citation Graph (, )][DBLP]


  38. On stochastic control up to a hitting time. [Citation Graph (, )][DBLP]


  39. Air traffic management with target windows: An approach using reachability. [Citation Graph (, )][DBLP]


  40. On stochastic receding horizon control with bounded control inputs. [Citation Graph (, )][DBLP]


  41. Canalizing structure of genetic network dynamics: modelling and identification via mixed-integer programming. [Citation Graph (, )][DBLP]


  42. A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances. [Citation Graph (, )][DBLP]


  43. A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees. [Citation Graph (, )][DBLP]


  44. Stochastic dynamics of genetic networks: modelling and parameter identification. [Citation Graph (, )][DBLP]


  45. Identification of genetic network dynamics with unate structure. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002