Synthesis of Control Software in a Layered Architecture from Hybrid Automata

This paper deals with the synthesis of control software for hybrid systems speciied 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 Lay-ered Systems) is introduced. HA2LS reads a speciication 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 speciication of the complete system including the plant. The code generator HA2LS together with the software architecture substantially shorten the time to implement hybrid controllers from hybrid automata.