Topical Collection on Theory-2020

ISSN: 0924-6703 (Print) 1573-7594 (Online)

In this topical collection (8 articles)

  1. No Access

    OriginalPaper

    Leveraging Horn clause solving for compositional verification of PLC software

    Dimitri Bohlender, Stefan Kowalewski Pages 1-24

  2. OriginalPaper

    On the relation between reactive synthesis and supervisory control of non-terminating processes

    Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar Pages 81-124
    Download PDF (1263KB) View Article

  3. No Access

    OriginalPaper

    Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties

    Manuel Navarro-Gutiérrez, Jaime A. Fraustro-Valdez… Pages 175-209

  4. No Access

    OriginalPaper

    Discrete event system identification with the aim of fault detection

    Marcos V. Moreira, Jean-Jacques Lesage Pages 191-209

  5. No Access

    OriginalPaper

    Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN

    L. Rubio-Anguiano, G. Desirena-López, A. Ramírez-Treviño… Pages 237-264

  6. No Access

    OriginalPaper

    Distributed computation of vector clocks in Petri net unfoldings for test selection

    Loïg Jezequel, Agnes Madalinski, Stefan Schwoon Pages 441-464

  7. OriginalPaper

    Refinements of behavioural abstractions for the supervisory control of hybrid systems

    Jung-Min Yang, Thomas Moor, Jörg Raisch Pages 533-560
    Download PDF (1474KB) View Article

  8. OriginalPaper

    Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control

    Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin… Pages 605-634
    Download PDF (2502KB) View Article