Title :
The design methodology for hybrid system verification
Author :
Pluska, Michal ; Sinclair, David
Author_Institution :
Sch. of Comput., Dublin City Univ., Dublin, Ireland
Abstract :
Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing in the software engineering. In research related to the hybrid systems any structured design methodology did not get enough attention up to now.
Keywords :
automata theory; formal verification; control engineering; design methodology; hybrid automata; hybrid system verification; hybrid systems; Automata; Design methodology; Mathematical model; Suspensions; Vehicle dynamics; Vehicles; Wheels; complex system; control software; design methodology; hybrid automata; system verification;
Conference_Titel :
Cybernetic Intelligent Systems (CIS), 2010 IEEE 9th International Conference on
Conference_Location :
Reading
Print_ISBN :
978-1-4244-9023-3
Electronic_ISBN :
978-1-4244-9024-0
DOI :
10.1109/UKRICIS.2010.5898146
