• DocumentCode
    1724187
  • Title

    The design methodology for hybrid system verification

  • Author

    Pluska, Michal ; Sinclair, David

  • Author_Institution
    Sch. of Comput., Dublin City Univ., Dublin, Ireland
  • fYear
    2010
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/UKRICIS.2010.5898146
  • Filename
    5898146
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1724187