libFAUDES &amp;#x2014; An open source C++ library for discrete event systems

Moor, Thomas; Schmidt, Ece Güran; Perk, S.

doi:10.1109/wodes.2008.4605933

Cited by 24 publications

(14 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, it follows from v ∈ K ↑ and K ↑ ⊆ K that v ∈ K. As K ∼ = K L m (G) L m (E) and v ∈ K ∩ L, the following holds: w ∈ K ∼ . Also, for w the controllability condition is met, as stated by (9). Hence, w ∈ K ↑ ∼ and as K ↑ E = P L (K ↑ ∼ ), it follows that v ∈ K ↑ ∼.…”

Section: Model Adjustment By Auxiliary Automatonmentioning

confidence: 88%

See 1 more Smart Citation

Event enforcement in the context of the supervisory control theory

Diekmann

Weidemann

2013

2013 18th International Conference on Methods &Amp; Models in Automation &Amp; Robotics (MMAR)

View full text Add to dashboard Cite

The Supervisory Control Theory allows the modelbased synthesis of restrictive controllers for Discrete Event Systems. To enable the design of enforcing controllers, the consideration of enforceability is reasonable besides the event property of controllability. Therefore, either the formal framework may be extended by admitting an appropriate control law, or the modeling strategy may be adjusted. In this paper, we present four different approaches for the consideration of event enforcement in the context of the Supervisory Control Theory, discuss their advantages and disadvantages, and compare them by the application to a simple example.

show abstract

Section: Model Adjustment By Auxiliary Automatonmentioning

confidence: 88%

“…It has been implemented into several software tools, e.g. [8], [9]. Hence, it is helpful if the methods dealing with enforceability as presented below can be traced back to the standard SCT.…”

Section: Fig 2 Simple Examplementioning

confidence: 99%

Event enforcement in the context of the supervisory control theory

Diekmann

Weidemann

2013

2013 18th International Conference on Methods &Amp; Models in Automation &Amp; Robotics (MMAR)

View full text Add to dashboard Cite

show abstract

“…Tools exist that can automatically generate controller code given a discrete-event model of the supervisor. Examples of such tools are CompileDES for libFAUDES (Moor et al 2008), Supremica (Malik et al 2017;Prenzel and Provost 2018), and CIF (van Beek et al 2014). A detailed description of code generation from discrete-event models is provided in Zaytoon and Riera (2017).…”

Section: Implementation Of Supervisorsmentioning

confidence: 99%

Modeling for supervisor synthesis – a lock-bridge combination case study

Reijnen

Goorden

Mortel-Fronczak

et al. 2020

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Designing supervisory controllers for high-tech systems is becoming increasingly complex due to demands for verified safety, higher quality and availability, and extending functionality. Supervisor synthesis is a method to automatically derive a supervisor from a model of the plant and a model of the control requirements. While supervisor synthesis is an active research topic, only a few reports exist on industrial applications. One of the reasons for this is the lack of acquaintance of control engineers with modeling and specifying in the framework of automata. In addition to this, there are no clear guidelines for obtaining the necessary models for synthesis. In this paper, we describe a general way of modeling for the plant and the requirements in order to contribute towards the acceptance of supervisor synthesis in industry. This way of modeling is illustrated with an industrial case study in which a supervisory controller is synthesized for the Algera complex. The Algera complex consists of a waterway lock and a movable bascule bridge. The supervisor has to control 80 actuators based on the observations from 96 discrete sensors, in response to 63 control commands available from the operator. We show how to model the plant as a collection of extended finite-state automata, how to model the requirement as a collection of event conditions, how to synthesize the monolithic supervisor, and how to validate the resulting supervisor using continuous-time simulation.

show abstract

“…TCT (Feng and Wonham, 2006) is a popular and efficient tool with texSupremica has been developed with financial support from the Swedish Research Council under grants 621-2001-2154 and 621-2009-3768. tual user interface. The Integrated Discrete-Event Systems Tool (Rudie, 2006) and DESTool (Moor et al, 2008) have nice user interfaces but their algorithms do not achieve the same performance as Supremica.…”

Section: Introductionmentioning

confidence: 99%

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

et al. 2017

View full text Add to dashboard Cite

Supremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction. Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify program code for autonomous vehicles. This paper gives an overview of the modelling features of Supremica, shows the verification and synthesis facilities and their performance for large problems, and presents some of the industrial applications where Supremica has been used.

show abstract

libFAUDES — An open source C++ library for discrete event systems

Cited by 24 publications

References 11 publications

Event enforcement in the context of the supervisory control theory

Event enforcement in the context of the supervisory control theory

Modeling for supervisor synthesis – a lock-bridge combination case study

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Contact Info

Product

Resources

About