The following pages link to Jan Komenda (Q172787):
Displaying 35 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- Control of distributed systems: tutorial and overview (Q693692) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- On conditional decomposability (Q1932746) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory (Q2133400) (← links)
- Modular control of discrete-event systems using similarity (Q2151956) (← links)
- A contribution to the determinization of max-plus automata (Q2177784) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Compositions of (max,+) automata (Q2348374) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- (Q2722485) (← links)
- Distributed computation of supremal conditionally controllable sublanguages (Q2792732) (← links)
- Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
- (Q2843726) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- Control of Modular and Distributed Discrete-Event Systems (Q3591395) (← links)
- ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS (Q4372899) (← links)
- Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
- (Q4662728) (← links)
- THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS (Q4779500) (← links)
- (Q4862263) (← links)
- Modular Control of Discrete-Event Systems With Coalgebra (Q4974146) (← links)
- Analysis of P-time event graphs in (max,+) and (min,+) semirings (Q5028000) (← links)
- Observer Construction for Polynomially Ambiguous Max-Plus Automata (Q5090826) (← links)
- Supervisory Control with Partial Observations (Q5496922) (← links)
- Supervisory Control of Distributed Discrete-Event Systems (Q5496924) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
- Input-output relation and time-optimal control of a class of hybrid Petri nets using \((\min, +)\) semiring (Q5930252) (← links)
- Discussion on: ``Supervisory control of discrete event systems with flexible marking'' (Q5971307) (← links)
- Hierarchical Supervisory Control Under Partial Observation: Normality (Q6199911) (← links)
