default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Komenda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Bérangère Daviaud
, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda:
On the Existence of Simulations for Max-Plus Automata. IEEE Control. Syst. Lett. 8: 694-699 (2024)- [j30]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Switched max-plus linear-dual inequalities: cycle time analysis and applications. Discret. Event Dyn. Syst. 34(1): 199-250 (2024) - [j29]Jan Komenda, Tomás Masopust:
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality. IEEE Trans. Autom. Control. 69(6): 3796-3807 (2024) - 2023
- [j28]Jan Komenda, Tomás Masopust:
Hierarchical Supervisory Control Under Partial Observation: Normality. IEEE Trans. Autom. Control. 68(12): 7286-7298 (2023) - [c33]Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda:
Representation of Time Petri Nets using Interval Weighted Automata. CoDIT 2023: 99-104 - [c32]Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda:
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. CoDIT 2023: 251-256 - [i20]Jan Komenda, Tomás Masopust:
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality. CoRR abs/2302.10666 (2023) - [i19]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Switched max-plus linear-dual inequalities: cycle time analysis and applications. CoRR abs/2305.02934 (2023) - [i18]Fei Wang, Jan Komenda, Feng Lin:
Coordination Control of Discrete Event Systems under Cyber Attacks. CoRR abs/2309.11965 (2023) - 2022
- [j27]Yingying Liu, Jan Komenda, Tomás Masopust, Zhiwu Li:
Modular control of discrete-event systems using similarity. Autom. 142: 110431 (2022) - [j26]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Periodic Trajectories in P-Time Event Graphs and the Non-Positive Circuit Weight Problem. IEEE Control. Syst. Lett. 6: 686-691 (2022) - [j25]Yingying Liu, Jan Komenda, Zhiwu Li:
Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation. IEEE Control. Syst. Lett. 6: 1867-1872 (2022) - [j24]Davide Zorzenon, Jan Komenda, Jörg Raisch:
The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory. Discret. Appl. Math. 315: 56-70 (2022) - [j23]Aiwen Lai, Sébastien Lahaye, Jan Komenda:
Observer Construction for Polynomially Ambiguous Max-Plus Automata. IEEE Trans. Autom. Control. 67(3): 1582-1588 (2022) - [j22]Aiwen Lai, Jan Komenda, Sébastien Lahaye:
Diagnosability of Unambiguous Max-Plus Automata. IEEE Trans. Syst. Man Cybern. Syst. 52(11): 7302-7311 (2022) - [i17]Jan Komenda, Tomás Masopust:
Hierarchical and Modular Supervisory Control under Partial Observation: Normality. CoRR abs/2203.01444 (2022) - [i16]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks. CoRR abs/2204.01156 (2022) - 2021
- [j21]Pavel Spacek, Jan Komenda, Sébastien Lahaye:
Analysis of P-time event graphs in (max, +) and (min, +) semirings. Int. J. Syst. Sci. 52(4): 694-709 (2021) - [i15]Davide Zorzenon, Jan Komenda, Jörg Raisch:
The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory. CoRR abs/2102.12264 (2021) - [i14]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Periodic trajectories in P-time event graphs and the non-positive circuit weight problem. CoRR abs/2103.01024 (2021) - [i13]Yingying Liu, Jan Komenda, Zhiwu Li:
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation. CoRR abs/2103.10877 (2021) - 2020
- [j20]Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond:
A contribution to the determinization of max-plus automata. Discret. Event Dyn. Syst. 30(1): 155-174 (2020) - [c31]Davide Zorzenon, Jan Komenda, Jörg Raisch:
Bounded Consistency of P-Time Event Graphs. CDC 2020: 79-85 - [i12]Pavel Spacek, Jan Komenda, Sébastien Lahaye:
Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras. CoRR abs/2003.04703 (2020)
2010 – 2019
- 2019
- [c30]Jan Komenda, Feng Lin, Jan H. van Schuppen:
A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. CDC 2019: 2009-2014 - [i11]Jan Komenda, Feng Lin, Jan H. van Schuppen:
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. CoRR abs/1903.04389 (2019) - [i10]Jan Komenda, Tomás Masopust:
Conditions for Hierarchical Supervisory Control under Partial Observation. CoRR abs/1912.07309 (2019) - 2018
- [j19]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom:
Max-plus algebra in the history of discrete event systems. Annu. Rev. Control. 45: 240-249 (2018) - 2017
- [j18]Jan Komenda, Tomás Masopust:
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Discret. Event Dyn. Syst. 27(4): 585-608 (2017) - 2016
- [j17]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Determinization of timed Petri nets behaviors. Discret. Event Dyn. Syst. 26(3): 413-437 (2016) - [j16]Jan Komenda, Tomás Masopust:
Distributed computation of supremal conditionally controllable sublanguages. Int. J. Control 89(2): 424-436 (2016) - [c29]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems. CDC 2016: 441-446 - [c28]Jan Komenda, Feng Lin:
Modular supervisory control of networked discrete-event systems. WODES 2016: 85-90 - [c27]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Control of an engineering-structured multilevel discrete-event system. WODES 2016: 103-108 - [i9]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On a Distributed Computation of Supervisors in Modular Supervisory Control. CoRR abs/1609.01458 (2016) - 2015
- [j15]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Coordination control of discrete-event systems revisited. Discret. Event Dyn. Syst. 25(1-2): 65-94 (2015) - [j14]Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Compositions of (max, +) automata. Discret. Event Dyn. Syst. 25(1-2): 323-344 (2015) - [j13]Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Supervisory control of (max, +) automata: extensions towards applications. Int. J. Control 88(12): 2523-2537 (2015) - [c26]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Multilevel coordination control of partially observed modular DES. ACC 2015: 384-389 - [c25]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Relative observability in coordination control. CASE 2015: 75-80 - [i8]Jan Komenda, Tomás Masopust:
On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control. CoRR abs/1512.03267 (2015) - 2014
- [c24]Jan Komenda, Tomás Masopust:
Decentralized supervisory control with communicating supervisors based on top-down coordination control. CDC 2014: 5149-5155 - [c23]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Bottom-up approach to multilevel supervisory control with coordination. ECC 2014: 2715-2720 - [c22]Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. WODES 2014: 471-476 - [i7]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions. CoRR abs/1403.4762 (2014) - [i6]Jan Komenda, Tomás Masopust:
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control. CoRR abs/1403.5170 (2014) - [i5]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
A Note on Relative Observability in Coordination Control. CoRR abs/1404.2195 (2014) - 2013
- [c21]Jan Komenda, Tomás Masopust:
A bridge between decentralized and coordination control. Allerton 2013: 966-972 - [c20]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Multilevel coordination control of modular DES. CDC 2013: 6323-6328 - [p3]Jan Komenda:
Supervisory Control with Partial Observations. Control of Discrete-Event Systems 2013: 65-84 - [p2]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Supervisory Control of Distributed Discrete-Event Systems. Control of Discrete-Event Systems 2013: 107-126 - [p1]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Coordination Control of Distributed Discrete-Event Systems. Control of Discrete-Event Systems 2013: 147-167 - [i4]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Coordination Control of Discrete-Event Systems Revisited. CoRR abs/1307.4332 (2013) - 2012
- [j12]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Supervisory control synthesis of discrete-event systems using a coordination scheme. Autom. 48(2): 247-254 (2012) - [j11]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On conditional decomposability. Syst. Control. Lett. 61(12): 1260-1268 (2012) - [c19]Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Compositions of (max, +) automata. WODES 2012: 61-66 - [c18]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Decentralized control of product (max+)-automata using coinduction. WODES 2012: 122-127 - [c17]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On algorithms and extensions of coordination control of discrete-event systems. WODES 2012: 245-250 - [i3]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On Conditional Decomposability. CoRR abs/1201.1733 (2012) - [i2]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems. CoRR abs/1207.6200 (2012) - 2011
- [j10]Olivier Boutin, Jan Komenda, Tomás Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran:
Control of Distributed Systems: Tutorial and Overview. Eur. J. Control 17(5-6): 579-602 (2011) - [j9]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Syst. Control. Lett. 60(7): 492-502 (2011) - [c16]Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen:
Hierarchical control with partial observations: Sufficient conditions. CDC/ECC 2011: 1817-1822 - [c15]Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda:
Residuation of tropical series: Rationality issues. CDC/ECC 2011: 3855-3861 - 2010
- [c14]Jan Komenda, Tomás Masopust:
Supremal normal sublanguages in hierarchical supervisory control. WODES 2010: 111-116 - [c13]Pavel Spacek, Jan Komenda:
Modeling of interval P-time Petri nets using dioid algebra. WODES 2010: 312-317 - [c12]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Synchronous composition of interval weighted automata. WODES 2010: 318-323 - [c11]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. WODES 2010: 426-431 - [c10]Jan Komenda:
Coinduction in Concurrent Timed Systems. CMCS@ETAPS 2010: 177-197 - [i1]Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme. CoRR abs/1007.2707 (2010)
2000 – 2009
- 2009
- [j8]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Supervisory Control of (max, +) Automata: A Behavioral Approach. Discret. Event Dyn. Syst. 19(4): 525-549 (2009) - [c9]Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Control of (max, +) automata: A single step approach. ECC 2009: 1985-1990 - 2008
- [j7]Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand:
Supervisory control of modular systems with global specification languages. Autom. 44(4): 1127-1134 (2008) - [j6]Jan Komenda, Jan H. van Schuppen:
Modular Control of Discrete-Event Systems With Coalgebra. IEEE Trans. Autom. Control. 53(2): 447-460 (2008) - 2007
- [j5]Jan Komenda, Jan H. van Schuppen:
Control of discrete-event systems with modular or distributed structure. Theor. Comput. Sci. 388(1-3): 199-226 (2007) - [c8]Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye:
Supervisory control of heap models using synchronous composition. ICINCO-ICSO 2007: 467-475 - 2005
- [j4]Jan Komenda, Jan H. van Schuppen:
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discret. Event Dyn. Syst. 15(3): 257-315 (2005) - [c7]Jan Komenda, Jan H. van Schuppen:
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. CDC/ECC 2005: 2775-2780 - [c6]Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand:
Modular Supervisory Control with General Indecomposable Specification Languages. CDC/ECC 2005: 3474-3479 - [c5]Jan Komenda, Jan H. van Schuppen:
Control of Modular and Distributed Discrete-Event Systems. FMCO 2005: 44-63 - 2003
- [c4]Jan Komenda, Jan H. van Schuppen:
Decentralized supervisory control with coalgebra. ECC 2003: 594-599 - [c3]Jan Komenda:
Coinduction in Control of Partially Observed Discrete-Event Systems. CMCS 2003: 150-169 - 2001
- [j3]Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni:
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. Discret. Event Dyn. Syst. 11(1-2): 59-75 (2001)
1990 – 1999
- 1998
- [j2]Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni:
The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets. Cybern. Syst. 29(8): 869-884 (1998) - [c2]Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni:
Analysis of hybrid Petri nets based on the hybrid state equation. SMC 1998: 832-838 - 1997
- [j1]Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney:
On the Calculation of the Transfer Function of Timed Event Petri Nets. Cybern. Syst. 28(7): 607-624 (1997) - 1996
- [c1]Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney:
On the calculation of transfer function of timed event Petri nets. ICRA 1996: 178-183
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-26 19:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
