Blog
About

350
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A CSP Model for Hybrid Automata

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

      14-15 September 1998

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This contribution aims to combine hybrid automata with CSP establishing a connection between the elements of hybrid automata and CSP processes using an approach for the decomposition of hybrid systems. As a result we obtain a transformation from hybrid automata into CSP processes, written in Hoare-CSP in the untimed parts and in real-time CSP or HCSP in the timed parts. These processes provide a basis to build up analysis mechanisms like animation and testing, converging in tool support for the specification, transformation, animation, implementation and test of hybrid systems.

          Related collections

          Author and article information

          Contributors
          Conference
          September 1998
          September 1998
          : 1-15
          Affiliations
          Bremen Institute for Safe Systems, PO 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~amthor/
          Article
          10.14236/ewic/NFM1998.2
          © Peter Amthor. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          3rd BCS-FACS Northern Formal Methods Workshop
          NFM
          3
          Ilkley, UK
          14-15 September 1998
          Electronic Workshops in Computing (eWiC)
          BCS-FACS Northern Formal Methods Workshop
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article