검색결과 : 262건
No. | Article |
---|---|
1 |
Intelligent energy management based on SCADA system in a real Microgrid for smart building applications Kermani M, Adelmanesh B, Shirdare E, Sima CA, Carni DL, Martirano L Renewable Energy, 171, 1115, 2021 |
2 |
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 |
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 |
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 |
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 |
6 |
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 |
7 |
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 |
8 |
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 |
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 |