Loading...
Thumbnail Image
Publication

The design methodology for hybrid system verification.

Date
2010
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.
Supervisor
Description
non-peer-reviewed
Publisher
IEEE Computer Society
Citation
9th IEEE International Conference on Cybernetics Intelligent Systems;09/2010
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos