Abstract Due to space availability limitations and high land costs, there is an increasing development of multi-floor manufacturing (MFM) systems in urban industrial areas. The problem coordination a process, the Ramadge Wonham framework, introduced. chain each floor elevator system are modeled form finite deterministic automata. models process parametric with respect number floors machines on ...

Abstract This paper proposes a novel method to transform the results of qualitative risk analysis into numeric optimal control problem for autonomous ship navigation. Today, making high-level decisions replacing crew onboard is considered difficult, in some part due complexity managing operational risks involved. Although human supervisors, e.g., located remote operating centers are still neede...

Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. Attempting to cope with this complexity, a Hybrid Supervisory Controller (HSC), that distributes operations betwee...