화학공학소재연구정보센터
검색결과 : 261건
No. Article
1 Process-wide control and automation of an integrated continuous manufacturing platform for antibodies
Feidl F, Vogg S, Wolf M, Podobnik M, Ruggeri C, Ulmer N, Walchli R, Souquet J, Broly H, Butte A, Morbidelli M
Biotechnology and Bioengineering, 117(5), 1367, 2020
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 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
4 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
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 Compositional Supervisory Control via Reactive Synthesis and Automated Planning
Ciolek DA, Braberman V, D'Ippolito N, Sardina S, Uchitel S
IEEE Transactions on Automatic Control, 65(8), 3502, 2020
7 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
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 Supervisor localisation for large-scale discrete-event systems under partial observation
Zhang RY, Cai K
International Journal of Control, 93(3), 387, 2020