Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Weitere Kolloquiumstermine sind im WWW abrufbar. Fakultt II Informatik, Wirtschafts-und

Summary: Weitere Kolloquiumstermine sind im WWW abrufbar.
Fakultät II Informatik, Wirtschafts- und
Department für Informatik
Am Montag, dem 23. Mai 2011, um 17:30 Uhr hält
Prof. Shaofa Yang
Embedded Software Systems Center, Shenzhen Institutes of Advanced Technology (SIAT),
einen Vortrag mit dem Titel
Succinct Discrete Time Approximations of Distributed Hybrid Automata
Der Vortrag findet im OFFIS, Escherweg 2, Konferenzraum F02 statt.
We consider a network of hybrid automata that observe and control a plant whose state space is deter-
mined by a finite set of continuous variables. We assume that at any instant, these variables are evolving
at (possibly different) constant rates. Each automaton in the network controls-i.e. can switch the rates of a
designated subset of the continuous variables without having to reset their values. These mode changes
are determined by the current values of a designated subset of the variables that the automaton can ob-
serve. We require the variables controlled-in terms of effecting mode changes-by different hybrid automa-
ta to b e disjoint. However, the same variable may be observed by more than one automaton.


Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg


Collections: Computer Technologies and Information Sciences