Topical Collection on Theory-2020

Articles (8 in this collection)

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

   Authors (first, second and last of 4)

   • Johannes Trunk
   • Bertrand Cottenceau
   • Joerg Raisch

   • Content type: OriginalPaper
   • Open Access
   • Published: 27 May 2020

   • Pages: 605 - 634

   

2. Refinements of behavioural abstractions for the supervisory control of hybrid systems

   Authors

   • Jung-Min Yang
   • Thomas Moor
   • Jörg Raisch

   • Content type: OriginalPaper
   • Open Access
   • Published: 22 April 2020

   • Pages: 533 - 560

   

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

   Authors

   • Loïg Jezequel
   • Agnes Madalinski
   • Stefan Schwoon

   • Content type: OriginalPaper
   • Published: 17 March 2020

   • Pages: 441 - 464

   

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

   Authors (first, second and last of 4)

   • Manuel Navarro-Gutiérrez
   • Jaime A. Fraustro-Valdez
   • Manuel Silva

   • Content type: OriginalPaper
   • Published: 19 February 2020

   • Pages: 175 - 209

   

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

   Authors

   • Anne-Kathrin Schmuck
   • Thomas Moor
   • Rupak Majumdar

   • Content type: OriginalPaper
   • Open Access
   • Published: 28 December 2019

   • Pages: 81 - 124

   

6. Leveraging Horn clause solving for compositional verification of PLC software

   Authors

   • Dimitri Bohlender
   • Stefan Kowalewski

   • Content type: OriginalPaper
   • Published: 26 November 2019

   • Pages: 1 - 24

   

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

   Authors (first, second and last of 4)

   • L. Rubio-Anguiano
   • G. Desirena-López
   • J. L. Briz

   • Content type: OriginalPaper
   • Published: 16 July 2019

   • Pages: 237 - 264

   

8. Discrete event system identification with the aim of fault detection

   Authors

   • Marcos V. Moreira
   • Jean-Jacques Lesage

   • Content type: OriginalPaper
   • Published: 31 May 2019

   • Pages: 191 - 209