검색결과 : 11건
| No. | Article |
|---|---|
| 1 |
Critical Observability for Automata and Petri & x00A0;Nets Masopust T IEEE Transactions on Automatic Control, 65(1), 341, 2020 |
| 2 |
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices Goorden M, van de Mortel-Fronczak J, Reniers M, Fokkink W, Rooda J IEEE Transactions on Automatic Control, 65(4), 1625, 2020 |
| 3 |
An integrated framework for sizing and energy management of hybrid energy systems using finite automata Khawaja Y, Allahham A, Giaouris D, Patsios C, Walker S, Qiqieh I Applied Energy, 250, 257, 2019 |
| 4 |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems Masopust T, Yin X Automatica, 101, 290, 2019 |
| 5 |
Complexity of deciding detectability in discrete event systems Masopust T Automatica, 93, 257, 2018 |
| 6 |
Complexity of Verifying Nonblockingness in Modular Supervisory Control Masopust T IEEE Transactions on Automatic Control, 63(2), 602, 2018 |
| 7 |
Verification of detectability in Probabilistic Finite Automata Keroglou C, Hadjicostis CN Automatica, 86, 192, 2017 |
| 8 |
JOINT SPECTRAL RADIUS AND PATH-COMPLETE GRAPH LYAPUNOV FUNCTIONS Ahmadi AA, Jungers RM, Parrilo PA, Roozbehani M SIAM Journal on Control and Optimization, 52(1), 687, 2014 |
| 9 |
Deterministic finite automata representation for model predictive control of hybrid systems Kobayashi K, Imura J Journal of Process Control, 22(9), 1670, 2012 |
| 10 |
Complexity of control on finite automata Delvenne JC, Blondel VD IEEE Transactions on Automatic Control, 51(6), 977, 2006 |