Introduction

Abstract

Technological advances in our world have increasingly required new techniques for the synthesis and verification of complex systems. Typically, real-world systems involve both continuous and discrete/logical signals. Further, it is often the case that in a system there are several activities carried out at the same time. This work addresses the supervisory control of concurrent systems, that is, systems that include subsystems operating in parallel (i.e., at the same time). The supervisory control problem consists of designing a supervisor that coordinates the activities of the subsystems such that the overall system satisfies given specifications. This work could be relevant for applications within fields such as automated manufacturing, robotics, communication networks, traffic control systems, and others.