Abstract
The paper gives a systematic way for the development of hybrid control systems, i.e. to refine specifications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are extended with iteration form and a technique for deriving plant automata from DC formulas is presented. Then, a specification of control automata can be synthesized from plant automata with respect to requirements, based on a necessary and sufficient condition for a plant automaton and a requirement to have a control automaton. Water tank and Gas burner examples are demonstrated to illustrate our method.
Cite
CITATION STYLE
Van Hung, D., & Ji, W. (1996). On the design of hybrid control systems using automata models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1180, pp. 156–167). Springer Verlag. https://doi.org/10.1007/3-540-62034-6_46
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
