화학공학소재연구정보센터
검색결과 : 189건
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 PGC-1 alpha regulate critical period plasticity via gene x environment interaction in the developmental trajectory to schizophrenia
Wang J, Song HR, Guo MN, Ma SF, Yun Q, Liu WJ, Hu YM, Zhu YQ
Biochemical and Biophysical Research Communications, 525(4), 989, 2020
3 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
4 Critical Observability for Automata and Petri & x00A0;Nets
Masopust T
IEEE Transactions on Automatic Control, 65(1), 341, 2020
5 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
6 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
7 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
8 Steady State Analysis of Flexible Nets
Julvez J, Oliver SG
IEEE Transactions on Automatic Control, 65(6), 2510, 2020
9 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
10 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