E-LIB Suche - Ergebnisse für: Komenda, Jan

1

Supervisory Control of Modular Discrete-Event Systems Under..:

Komenda, Jan ; Masopust, Tomáš
IEEE Transactions on Automatic Control. 69 (2024) 6 - p. 3796-3807 , 2024

Link: https://doi.org/10.1109/..

2

On the Existence of Simulations for Max-Plus Automata:

Daviaud, Bérangère ; Lahaye, Sébastien ; Lhommeau, Mehdi.
IEEE Control Systems Letters. 8 (2024) - p. 694-699 , 2024

Link: https://doi.org/10.1109/..

3

Switched max-plus linear-dual inequalities: cycle time anal..:

Zorzenon, Davide ; Komenda, Jan ; Raisch, Jörg
Discrete Event Dynamic Systems. 34 (2024) 1 - p. 199-250 , 2024

Link: https://doi.org/10.1007/..

4

Verification of initial-and-final-state opacity for unambig..:

Shen, Liren ; Miao, Shaowen ; Lai, Aiwen.
ISA Transactions. 148 (2024) - p. 237-246 , 2024

Link: https://doi.org/10.1016/..

5

Hierarchical Supervisory Control Under Partial Observation:..:

Komenda, Jan ; Masopust, Tomáš
IEEE Transactions on Automatic Control. 68 (2023) 12 - p. 7286-7298 , 2023

Link: https://doi.org/10.1109/..

6

Verification of Detectability for Unambiguous Weighted Auto..:

, In: 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT),

Miao, Shaowen ; Lai, Aiwen ; Yu, Xiao.. - p. 251-256 , 2023

Link: https://doi.org/10.1109/..

7

Modular control of discrete-event systems using similarity:

Liu, Yingying ; Komenda, Jan ; Masopust, Tomáš.
Automatica. 142 (2022) - p. 110431 , 2022

Link: https://doi.org/10.1016/..

8

The non-positive circuit weight problem in parametric graph..:

Zorzenon, Davide ; Komenda, Jan ; Raisch, Jörg
Discrete Applied Mathematics. 315 (2022) - p. 56-70 , 2022

Link: https://doi.org/10.1016/..

9

Observer Construction for Polynomially Ambiguous Max-Plus A..:

Lai, Aiwen ; Lahaye, Sebastien ; Komenda, Jan
IEEE Transactions on Automatic Control. 67 (2022) 3 - p. 1582-1588 , 2022

Link: https://doi.org/10.1109/..

10

Diagnosability of Unambiguous Max-Plus Automata:

Lai, Aiwen ; Komenda, Jan ; Lahaye, Sebastien
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 52 (2022) 11 - p. 7302-7311 , 2022

Link: https://doi.org/10.1109/..

11

Analysis of P-time event graphs in (max,+) and (min,+) semi..:

Špaček, Pavel ; Komenda, Jan ; Lahaye, Sébastien
International Journal of Systems Science. 52 (2021) 4 - p. 694-709 , 2021

Link: https://doi.org/10.1080/..

12

A contribution to the determinization of max-plus automata:

Lahaye, Sébastien ; Lai, Aiwen ; Komenda, Jan.
Discrete Event Dynamic Systems. 30 (2020) 1 - p. 155-174 , 2020

Link: https://doi.org/10.1007/..

13

Bounded Consistency of P-Time Event Graphs:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Zorzenon, Davide ; Komenda, Jan ; Raisch, Jorg - p. 79-85 , 2020

Link: https://doi.org/10.1109/..

14

Possibilities of Soft Ballistic Resistant Materials to Miti..:

, In: 2019 International Conference on Military Technologies (ICMT),

Skalicky, Pavel ; Komenda, Jan - p. 1-5 , 2019

Link: https://doi.org/10.1109/..

15

Limit Impact Velocity of Frangible Bullet:

, In: 2019 International Conference on Military Technologies (ICMT),

Bui, Xuan Son ; Vitek, Roman ; Komenda, Jan. - p. 1-7 , 2019

Link: https://doi.org/10.1109/..