검색결과 : 153건
| No. | Article |
|---|---|
| 1 |
Verification of Detectability for Unambiguous Weighted Automata Lai AW, Lahaye S, Giua A IEEE Transactions on Automatic Control, 66(3), 1437, 2021 |
| 2 |
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems Li L, Basile F, Li ZW IEEE Transactions on Automatic Control, 65(1), 237, 2020 |
| 3 |
Critical Observability for Automata and Petri & x00A0;Nets Masopust T IEEE Transactions on Automatic Control, 65(1), 341, 2020 |
| 4 |
Structural Controller for Logical Expression of Linear Constraints on Petri Nets Luo JL, Wu WM, Zhou MC, Shao H, Nonami K, Su HY IEEE Transactions on Automatic Control, 65(1), 397, 2020 |
| 5 |
Marking Estimation in a Class of Time Labeled Petri Nets Ma ZY, Li ZW, Giua A IEEE Transactions on Automatic Control, 65(2), 493, 2020 |
| 6 |
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis Giua A, Lafortune S, Seatzu C IEEE Transactions on Automatic Control, 65(7), 3092, 2020 |
| 7 |
Steady State Analysis of Flexible Nets Julvez J, Oliver SG IEEE Transactions on Automatic Control, 65(6), 2510, 2020 |
| 8 |
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming Ma ZY, Zhu GH, Li ZW, Giua A IEEE Transactions on Automatic Control, 65(6), 2662, 2020 |
| 9 |
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets Chen C, Raman A, Hu HS, Sreenivas RS IEEE Transactions on Automatic Control, 65(12), 5236, 2020 |
| 10 |
Deciding detectability for labeled Petri nets Masopust T, Yin X Automatica, 104, 238, 2019 |