SearchPublisher and Institutes
You are here: Home :: Area NEM :: Engineering :: Automation
Olaf Stursberg, Thanh Ha Tran
Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata
Keywords: model abstraction, discrete event control, hybrid systems, controller synthesis, switched dynamics
A rigorous modeling of discretely controlled processes requires to account for the abrupt change of dynamics when a process event (typically a limit switch) triggers a discrete control action. Using hybrid automata as a suitable means to model such discrete-continuous interactions, this contribution describes an algorithmic procedure to generate discrete controllers. For hybrid automata with linear continuous dynamics and additive uncertainties, a computational scheme is proposed which ensures that the controlled system meets specifications for safety and goal attainment. The key idea of the scheme is that discrete abstractions of the hybrid automaton are used to determine a feasible control strategy with relatively low computational effort.
at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag
Print ISSN: 0178-2312
Volume: 150, 09/2012
Pages: 450 - 458