Systematic model-based design and implementation of supervisors for advanced driver assistance systems
T Korssen, V Dolk… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
The number of advanced driver assistance systems (ADASs) and the level of automation in
modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be …
modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be …
[HTML][HTML] Eclipse ESCET™: The eclipse supervisory control engineering toolkit
Abstract The Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source
project to provide a model-based approach and toolkit for developing supervisory …
project to provide a model-based approach and toolkit for developing supervisory …
[HTML][HTML] A toolchain for strategy synthesis with spatial properties
We present an application of strategy synthesis to enforce spatial properties. This is
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …
[HTML][HTML] Modeling for supervisor synthesis–a lock-bridge combination case study
FFH Reijnen, MA Goorden… - Discrete Event Dynamic …, 2020 - Springer
Designing supervisory controllers for high-tech systems is becoming increasingly complex
due to demands for verified safety, higher quality and availability, and extending …
due to demands for verified safety, higher quality and availability, and extending …
Structuring multilevel discrete-event systems with dependence structure matrices
M Goorden, J van de Mortel-Fronczak… - … on Automatic Control, 2019 - ieeexplore.ieee.org
Despite the correct-by-construction property, one of the major drawbacks of supervisory
control synthesis is state-space explosion. Several approaches have been proposed to …
control synthesis is state-space explosion. Several approaches have been proposed to …
LSAT: Specification and analysis of product logistics in flexible manufacturing systems
B van der Sanden, Y Blankenstein… - 2021 IEEE 17th …, 2021 - ieeexplore.ieee.org
LSAT (Logistics Specification and Analysis Tool) is a tool for rapid design-space exploration
of supervisory controllers that steer the product logistics and orchestrate the behavior in …
of supervisory controllers that steer the product logistics and orchestrate the behavior in …
An experimental toolchain for strategy synthesis with spatial properties
We investigate the application of strategy synthesis to enforce spatial properties. The
Contract Automata Library (CATLib) performs both composition and strategy synthesis of …
Contract Automata Library (CATLib) performs both composition and strategy synthesis of …
Supervisory controller synthesis for product lines using CIF 3
Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line
engineering for a prototypical example of a family of coffee machines. The challenge is to …
engineering for a prototypical example of a family of coffee machines. The challenge is to …
Compositional specification of functionality and timing of manufacturing systems
This paper introduces a formal modeling approach for compositional specification of both
functionality and timing of manufacturing systems. Functionality aspects can be considered …
functionality and timing of manufacturing systems. Functionality aspects can be considered …
[HTML][HTML] Supervisory control synthesis for large-scale systems with isomorphisms
L Moormann, JM van de Mortel-Fronczak… - Control Engineering …, 2021 - Elsevier
The complexity of the design of supervisory controllers for today's high-tech systems is ever
increasing with the rise in demands for higher safety and functionality. Supervisory control …
increasing with the rise in demands for higher safety and functionality. Supervisory control …