Synthesis of Control Software in a Layered Architecture from Hybrid Automata

. This paper deals with the synthesis of control software for hybrid systems specified as hybrid automata. Instead of generating the software from scratch, the synthesis is based on a generic layered software architecture which supports both periodic and event-triggered computations. The use of the layered software architecture as the framework for implementing hybrid controllers is motivated in the paper. An automatic code generator HA2LS (from Hybrid Automata to Layered Systems) is introduced. HA2LS reads a specification in terms of hybrid automata and generates intermediate code that can be processed by the tools provided by the layered architecture. The generated software provides a clean interface for a control engineer to plug in the control algorithms. With externally supplied control algorithms and IO procedures, the synthesis of executable hybrid controllers can be completed. The generated code can also be used for simulation purposes if it is generated from the specification ..