• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 12 matches

• 2023
• 
  Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel:
  Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 2023: 44-52
• 2022
• 
  Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda:
  Supervisor Synthesis: Bridging Theory and Practice. Computer 55(10): 48-54 (2022)
• 
  Ferdie F. H. Reijnen, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  Supervisory controller synthesis and implementation for safety PLCs. Discret. Event Dyn. Syst. 32(1): 115-141 (2022)
• 2021
• 
  Ferdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink:
  Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput. Ind. 130: 103473 (2021)
• 2020
• 
  Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  Modeling for supervisor synthesis - a lock-bridge combination case study. Discret. Event Dyn. Syst. 30(3): 499-532 (2020)
• 
  Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
  Design of a Supervisor Platform for Movable Bridges. CASE 2020: 1300-1306
• 
  Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  Data Logging and Reconstruction of Discrete-event System Behavior. ICARCV 2020: 1020-1026
• 
  Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman:
  The Road Ahead for Supervisor Synthesis. SETTA 2020: 1-16
• 2019
• 
  Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
  Finite Response and Confluence of State-based Supervisory Controllers. CASE 2019: 509-516
• 
  Ferdie F. H. Reijnen, J. J. Verbakel, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex. CCTA 2019: 843-850
• 2018
• 
  Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
  Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA 2018: 458-464
• 2017
• 
  Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  Supervisory control synthesis for a waterway lock. CCTA 2017: 1562-1563