화학공학소재연구정보센터
검색결과 : 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