검색결과 : 17건
No. | Article |
---|---|
1 |
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 |
2 |
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection Ran N, Giua A, Seatzu C IEEE Transactions on Automatic Control, 64(7), 2997, 2019 |
3 |
Codiagnosability Analysis of Bounded Petri Nets Ran N, Su HY, Giua A, Seatzu C IEEE Transactions on Automatic Control, 63(4), 1192, 2018 |
4 |
Near-Optimal Scheduling for Petri Net Models With Forbidden Markings Lefebvre D IEEE Transactions on Automatic Control, 63(8), 2550, 2018 |
5 |
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets Chen C, Hu HS IEEE Transactions on Automatic Control, 63(7), 1987, 2018 |
6 |
Diagnosability Analysis of Labeled Time Petri Net Systems Basile F, Cabasino MP, Seatzu C IEEE Transactions on Automatic Control, 62(3), 1384, 2017 |
7 |
Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis Luo JL, Ni HJ, Wu WM, Wang SG, Zhou MC IEEE Transactions on Automatic Control, 60(1), 88, 2015 |
8 |
On the Complexity of Some State-Counting Problems for Bounded Petri Nets Reveliotis S IEEE Transactions on Automatic Control, 60(1), 205, 2015 |
9 |
An Augmented Petri Net Model for Health-Care Protocols Whittaker SJ, Rudie K, McLellan J IEEE Transactions on Automatic Control, 60(9), 2362, 2015 |
10 |
On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets Lacerda B, Lima PU IEEE Transactions on Automatic Control, 59(11), 3069, 2014 |