Jan Komenda

From MaRDI portal
(Redirected from Person:172787)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On clock interval automata for a class of time PNs
Discrete Event Dynamic Systems
2026-03-20Paper
Hierarchical supervisory control of networked and cyber-attacked discrete-event systems
Automatica
2025-12-15Paper
Timed initial-state detectability of discrete-event systems by algebraic method
Nonlinear Analysis. Hybrid Systems
2025-12-12Paper
Supervisory control of modular discrete-event systems under partial observation: normality
IEEE Transactions on Automatic Control
2024-08-16Paper
Switched max-plus linear-dual inequalities: cycle time analysis and applications
Discrete Event Dynamic Systems
2024-05-27Paper
Hierarchical Supervisory Control Under Partial Observation: Normality
IEEE Transactions on Automatic Control
2024-02-29Paper
Observer Construction for Polynomially Ambiguous Max-Plus Automata
IEEE Transactions on Automatic Control
2022-07-21Paper
Modular control of discrete-event systems using similarity
Automatica
2022-07-05Paper
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory
Discrete Applied Mathematics
2022-04-29Paper
Analysis of P-time event graphs in (max,+) and (min,+) semirings
International Journal of Systems Science. Principles and Applications of Systems and Integration
2022-02-08Paper
A contribution to the determinization of max-plus automata
Discrete Event Dynamic Systems
2020-05-06Paper
Supervisory Control of Discrete-Event Systems
Coordination Control of Distributed Systems
2018-12-12Paper
Coordination control of distributed discrete-event systems
Coordination Control of Distributed Systems
2018-12-12Paper
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
Discrete Event Dynamic Systems
2017-12-18Paper
Modular Control of Discrete-Event Systems With Coalgebra
IEEE Transactions on Automatic Control
2017-08-08Paper
Determinization of timed Petri nets behaviors
Discrete Event Dynamic Systems
2016-09-16Paper
Supervisory control of (max,+) automata: extensions towards applications
International Journal of Control
2016-04-08Paper
Distributed computation of supremal conditionally controllable sublanguages
International Journal of Control
2016-03-14Paper
Compositions of (max,+) automata
Discrete Event Dynamic Systems
2015-06-12Paper
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems
2015-06-12Paper
Combined Top-down and Bottom-up Approach to Multilevel Supervisory Control2015-02-25Paper
A Relaxed Framework for Coordination Control of Discrete-Event Systems2015-01-30Paper
Coordination control of distributed discrete-event systems
Lecture Notes in Control and Information Sciences
2015-01-29Paper
Supervisory control of distributed discrete-event systems
Lecture Notes in Control and Information Sciences
2015-01-29Paper
Supervisory Control with Partial Observations
Lecture Notes in Control and Information Sciences
2015-01-29Paper
Discussion on: ``Supervisory control of discrete event systems with flexible marking
European Journal of Control
2014-08-07Paper
Coinduction in control of partially observed discrete-event systems2013-08-23Paper
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica
2013-03-12Paper
On conditional decomposability
Systems & Control Letters
2013-01-21Paper
Control of distributed systems: tutorial and overview
European Journal of Control
2012-12-08Paper
Coinduction in concurrent timed systems
Electronic Notes in Theoretical Computer Science
2012-10-02Paper
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
Systems & Control Letters
2011-07-27Paper
Supervisory control of \((\max,+)\) automata: a behavioral approach
Discrete Event Dynamic Systems
2010-01-18Paper
Control of discrete-event systems with modular or distributed structure
Theoretical Computer Science
2007-12-18Paper
Control of Modular and Distributed Discrete-Event Systems
Formal Methods for Components and Objects
2007-09-11Paper
Control of discrete-event systems with partial observations using coalgebra and coinduction
Discrete Event Dynamic Systems
2006-02-23Paper
scientific article; zbMATH DE number 2150202 (Why is no real title available?)2005-03-30Paper
Input-output relation and time-optimal control of a class of hybrid Petri nets using \((\min, +)\) semiring
Discrete Event Dynamic Systems
2001-11-04Paper
On the relation between the Bellman type equations of dynamic programming and linear Volterra type integral equations2001-07-12Paper
ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS
Cybernetics and Systems
1998-01-27Paper
THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS
Cybernetics and Systems
1998-01-01Paper
scientific article; zbMATH DE number 842090 (Why is no real title available?)1996-07-21Paper


Research outcomes over time


This page was built for person: Jan Komenda