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 …

In this paper, we present a case-study on application of Ramadge-Wonham supervisory
control theory (abbreviated by SCT in the sequel) to a patient support system of a magnetic …

This study explores recent advancements in emerging technologies for Demand
Responsive Transport (DRT) and the potential integration of autonomous bus services. We …

This paper presents and analyzes a correct and complete translation algorithm that converts
a class of propositional linear-time temporal-logic (PTL) formulae to deterministic finite …

In control of discrete-event systems, translating natural language control requirements into
formal specifications in computable graphical form can be error prone, and system …

Research in Intelligent Transportation Systems has increased dramatically in recent years,
with the main goals to improve road safety and increase transportation capacity. This paper …

In supervisory control of timed discrete-event systems (TDESs), a conceptually well founded
finitary control synthesis framework is developed, and it requires specifications to be …

In control of discrete-event systems (DESs), specifying control requirements in automata is
not a trivial task. For many DES applications, designers are often confronted with the long …

Although supervisory control synthesis has been around for many years, adoption is still low.
A weak point of synthesis is the absence of a reporting mechanism. When an empty or …

The problem of maximizing the transparency of specification automata for discrete event
systems (DES's) is investigated. In a transparent specification automaton, events that are …