Zeno Hybrid Automata

Zeno Hybrid Automata

Cached

Download Links

by Karl Henrik Johansson

Citations:

45 - 16 self

BibTeX

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

Bookmark

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