Topical Collection on Control 2022

Articles (6 in this collection)

1. Diagnosability verification using LTL model checking

   Authors (first, second and last of 4)

   • Thiago M. Tuxi
   • Lilian K. Carvalho
   • Antonio E. C. da Cunha

   • Content type: OriginalPaper
   • Published: 04 April 2022

   • Pages: 399 - 433

   

2. Transformational supervisor synthesis for evolving systems

   Authors

   • Sander Thuijsman
   • Michel Reniers

   • Content type: T.C.: Control 2022
   • Open Access
   • Published: 23 February 2022

   • Pages: 317 - 358

   

3. Supervisory controller synthesis and implementation for safety PLCs

   Authors (first, second and last of 4)

   • Ferdie F. H. Reijnen
   • Toby R. Erens
   • Jacobus E. Rooda

   • Content type: OriginalPaper
   • Open Access
   • Published: 06 November 2021

   • Pages: 115 - 141

   

4. Hierarchical planning in a supervisory control context with compositional abstraction

   Authors

   • Juliana Vilela
   • Richard Hill

   • Content type: OriginalPaper
   • Open Access
   • Published: 14 September 2021

   • Pages: 89 - 113

   

5. Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations

   Authors

   • Robi Malik
   • Marcelo Teixeira

   • Content type: OriginalPaper
   • Published: 09 August 2021

   • Pages: 659 - 691

   

6. Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics

   Authors

   • Lukas Triska
   • Thomas Moor

   • Content type: OriginalPaper
   • Open Access
   • Published: 31 July 2021

   • Pages: 583 - 607