Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
We are interestedin a newclassof optimal control problemsfor DiscreteEvent Systems (DES). Weadopt theformalismof supervisorycontrol theory 10] andmodel thesystemas a nitestatemach...
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...