화학공학소재연구정보센터
검색결과 : 366건
No. Article
1 Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation
Zhang RY, Cai K
IEEE Transactions on Automatic Control, 65(1), 295, 2020
2 Critical Observability for Automata and Petri & x00A0;Nets
Masopust T
IEEE Transactions on Automatic Control, 65(1), 341, 2020
3 Synthesis of Dynamic Masks for Infinite-Step Opacity
Yin X, Li SY
IEEE Transactions on Automatic Control, 65(4), 1429, 2020
4 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
5 Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Mohajerani S, Ji YD, Lafortune S
IEEE Transactions on Automatic Control, 65(8), 3349, 2020
6 Relative Network Observability and Its Relation With Network Observability
Hou YF, Wang WL, Zang YW, Lin F, Yu M, Gong CH
IEEE Transactions on Automatic Control, 65(8), 3584, 2020
7 Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
Reveliotis S, Masopust T
IEEE Transactions on Automatic Control, 65(7), 2883, 2020
8 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
9 Supervisor localisation for large-scale discrete-event systems under partial observation
Zhang RY, Cai K
International Journal of Control, 93(3), 387, 2020
10 How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems
Park SJ, Yang JM
International Journal of Control, 93(9), 2168, 2020