Jan Komenda

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Hierarchical Supervisory Control Under Partial Observation: Normality	2024-02-29	Paper
Observer Construction for Polynomially Ambiguous Max-Plus Automata	2022-07-21	Paper
Modular control of discrete-event systems using similarity	2022-07-05	Paper
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory	2022-04-29	Paper
Analysis of P-time event graphs in (max,+) and (min,+) semirings	2022-02-08	Paper
A contribution to the determinization of max-plus automata	2020-05-06	Paper
Supervisory Control of Discrete-Event Systems	2018-12-12	Paper
Coordination Control of Distributed Discrete-Event Systems	2018-12-12	Paper
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication	2017-12-18	Paper
Modular Control of Discrete-Event Systems With Coalgebra	2017-08-08	Paper
Determinization of timed Petri nets behaviors	2016-09-16	Paper
Supervisory control of (max,+) automata: extensions towards applications	2016-04-08	Paper
Distributed computation of supremal conditionally controllable sublanguages	2016-03-14	Paper
Coordination control of discrete-event systems revisited	2015-06-12	Paper
Compositions of (max,+) automata	2015-06-12	Paper
Combined Top-down and Bottom-up Approach to Multilevel Supervisory Control	2015-02-25	Paper
A Relaxed Framework for Coordination Control of Discrete-Event Systems	2015-01-30	Paper
Supervisory Control with Partial Observations	2015-01-29	Paper
Supervisory Control of Distributed Discrete-Event Systems	2015-01-29	Paper
Coordination Control of Distributed Discrete-Event Systems	2015-01-29	Paper
Discussion on: ``Supervisory control of discrete event systems with flexible marking	2014-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q2843726	2013-08-23	Paper
Supervisory control synthesis of discrete-event systems using a coordination scheme	2013-03-12	Paper
On conditional decomposability	2013-01-21	Paper
Control of distributed systems: tutorial and overview	2012-12-08	Paper
Coinduction in Concurrent Timed Systems	2012-10-02	Paper
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator	2011-07-27	Paper
Supervisory control of \((\max,+)\) automata: a behavioral approach	2010-01-18	Paper
Control of discrete-event systems with modular or distributed structure	2007-12-18	Paper
Control of Modular and Distributed Discrete-Event Systems	2007-09-11	Paper
Control of discrete-event systems with partial observations using coalgebra and coinduction	2006-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4662728	2005-03-30	Paper
Input-output relation and time-optimal control of a class of hybrid Petri nets using \((\min, +)\) semiring	2001-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2722485	2001-07-12	Paper
ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS	1998-01-27	Paper
THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS	1998-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4862263	1996-07-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Komenda