Simulation and verification of hybrid systems using Chi

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
    1 Downloads (Pure)

    Samenvatting

    The hybrid Χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science. It integrates ease of modeling with a straightforward, structured operational semantics based on S-functions. Both simulators are defined in terms of a so-called stepper, which computes the set of possible transitions for given a Χ process. The stepper consists of three main functions: a function, Sa which returns the set of action steps for given a Χ process, a function Sd which returns the set of time steps for given a Χ process, and a function Tr which returns the reduced set of transitions. Action steps and time steps can be seen as symbolic transitions. They contain all information that is needed to determine the transitions that the process from which they are derived can perform without solving predicates. An action step represents zero or more action transitions and a time step represents zero or more time transitions.

    Originele taal-2Engels
    TitelAnalysis and design of hybrid systems 2006
    Subtitel a proceedings volume from the 2nd IFAC Conference on Analysis and Design of Hybrid Systems
    RedacteurenC. Cassandras
    Plaats van productieAmsterdam
    UitgeverijElsevier
    Pagina's265-266
    Aantal pagina's2
    ISBN van geprinte versie9780080446134
    DOI's
    StatusGepubliceerd - 1 dec 2006
    Evenement2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06 - Alghero, Italië
    Duur: 7 jun 20069 jun 2006

    Congres

    Congres2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06
    LandItalië
    StadAlghero
    Periode7/06/069/06/06

    Vingerafdruk Duik in de onderzoeksthema's van 'Simulation and verification of hybrid systems using Chi'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    van Beek, D. A., Rooda, J. E., & Schiffelers, R. R. H. (2006). Simulation and verification of hybrid systems using Chi. In C. Cassandras (editor), Analysis and design of hybrid systems 2006: a proceedings volume from the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (blz. 265-266). Elsevier. https://doi.org/10.1016/B978-008044613-4.50047-1