Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten)

Olaf Stursberg, Thanh Ha Tran. Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten). Automatisierungstechnik, 54(9):450-458, 2006. [doi]

Authors

Olaf Stursberg

This author has not been identified. Look up 'Olaf Stursberg' in Google

Thanh Ha Tran

This author has not been identified. Look up 'Thanh Ha Tran' in Google