activity
20092023
most citedSupervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme

54 citations · 213 across the 36 of their papers we have counts for

collaborators
Showing math.OCShow all

10 papers · 1 filter

math.OC2016★ 10 cited

On a Distributed Computation of Supervisors in Modular Supervisory Control

Jan Komenda, Tomáš Masopust, J. H. van Schuppen

In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization an…

math.OC2015★ 13 cited

Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication

Jan Komenda, Tomáš Masopust

In decentralized supervisory control, several local supervisors cooperate to accomplish a common goal (specification). Controllability and coobservability are the key conditions to…

math.OC2015★ 1 cited

Combined Top-down and Bottom-up Approach to Multilevel Supervisory Control

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Recently, we have proposed two complementary approaches, top-down and bottom-up, to multilevel supervisory control of discrete-event systems. In this paper, we compare and combine…

math.OC2015

A Relaxed Framework for Coordination Control of Discrete-Event Systems

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

In this paper, we simplify the coordination control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coord…

math.OC2014★ 2 cited

A Note on Relative Observability in Coordination Control

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than nor…

math.OC2014

Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control

Jan Komenda, Tomáš Masopust

In this paper we present a new approach to decentralized supervisory control of large automata with communicating supervisors. We first generalize the recently developed top-down a…