• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Zeno Hybrid Automata

Cached

  • Download as a PDF

Download Links

  • [www.s3.kth.se]
  • [www.cs.berkeley.edu]
  • [www.ece.ucsb.edu]
  • [www.s3.kth.se]
  • [www.control.lth.se]
  • [www.s3.kth.se]
  • [www.math.kth.se]
  • [www.control.lth.se]
  • [robotics.eecs.berkeley.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Karl Henrik Johansson
Citations:45 - 16 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Johansson_zenohybrid,
    author = {Karl Henrik Johansson},
    title = { Zeno Hybrid Automata},
    year = {}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Citations

2261 Convergence of probability measures - Billingsley - 1999
377 The theory of hybrid automata - Henzinger - 1996
371 Automata for modeling real-time systems - Alur, Dill - 1990
270 Differential Equations with Discontinuous Right Handsides - Filippov - 1988
154 S.: Conflict resolution for air traffic management - Tomlin, Pappas, et al. - 1998
123 Sliding Modes in Control Optimization - Utkin - 1992
98 Controllers for reachability specifications for hybrid systems - Lygeros, Tomlin, et al. - 1999
64 Modularity for timed and hybrid systems - Alur, Henzinger - 1997
62 Object-oriented modeling and simulation of hybrid systems - Andersson - 1994
45 A unified framework for hybrid control - Branicki, Borkar, et al. - 1994
42 Complementarity modelling of hybrid systems - Schaft, Schumacher
36 Di erential equations with discontinuous righthandsides - Filippov - 1988
21 Object-oriented modelling and simulation - Mattsson, Andersson, et al. - 1993
17 Dynamical systems revisited: Hybrid systems with Zen0 executions - Zhang, Johansson, et al. - 2000
15 The SHIFT programming language for dynamic networks of hybrid automata - Deshpande, Gollu, et al. - 1998
14 On the power of non-observable actions in timed automata - Bérard, Gastin, et al. - 1996
11 Fast switches in relay feedback systems - Johansson, Rantzer, et al. - 1999
8 Analysis and design of hybrid control systems - Malmborg - 1998
8 Optimal Control Theory - Young - 1980
7 Dymola - Dynamic Modeling Language, User's Manual. Lund: Dynasim AB - Elmqvist - 1994
7 Dymola --- Dynamic Modeling Language - Elmqvist - 1994
6 Controllers for reachability specications for hybrid systems - Lygeros, Tomlin, et al. - 1999
5 Regularity of solutions and homotopy equivalence for hybrid systems - Broucke - 1998
5 Uniqueness of solutions of relay systems - Lootsma, Schaft, et al. - 1999
4 SIMULINK: Dynamic System Simulation for MATLAB, http://www.mathworks.com/access/helpdesk/help/toolbox/simulink/simulink.h tml - Mathworks
4 On object-oriented modeling of relays and sliding mode behaviour - Mattsson - 1996
3 On the existence of executions of hybrid automata - Egerstedt, Johansson, et al.
1 Controllers for reachability speci�cations for hybrid systems - Automatica� - 1999
1 Con�ict resolution for air tra�c management� a case study in multi�agent hybrid systems - Pappas�, Sastry - 1996
1 Di�erential Equations with Dis� continuous Righthand Sides. Kluwer Academic Pub� lishers - Filippov - 1988
1 Slid� ing mode model semantics and simulation for hybrid systems - Zhao�, Biswas - 1998
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University