ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

Reduction of Timed Hybrid Systems (1998)

Gennaro, S. Di ; Horn, C. ; Kulkarni, S. R. ; [et al.]

Springer

Discrete event dynamic systems 8 (1998), S. 343-351

add to mindlist on the mindlist

Details

ISSN: 1573-7594

Keywords: hybrid systems ; timed automata ; reduction ; finite state automaton

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics

Notes: Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1008385431572

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit