검색결과 : 20건
| No. | Article |
|---|---|
| 1 |
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications Zibaeenejad MH, Liu J IEEE Transactions on Automatic Control, 65(10), 4281, 2020 |
| 2 |
Robust control for signal temporal logic specifications using discrete average space robustness Lindemann L, Dimarogonas DV Automatica, 101, 377, 2019 |
| 3 |
Feedback control strategies for multi-agent systems under a fragment at) of signal temporal logic tasks Lindemann L, Dimarogonas DV Automatica, 106, 284, 2019 |
| 4 |
Incorporating automation logic in online chemical production scheduling Rawlings BC, Avadiappan V, Lafortune S, Maravelias CT, Wassick JM Computers & Chemical Engineering, 128, 201, 2019 |
| 5 |
Design of Symbolic Controllers for Networked Control Systems Borri A, Pola G, Di Benedetto MD IEEE Transactions on Automatic Control, 64(3), 1034, 2019 |
| 6 |
Model Checking in Isomorphic Module Systems Wang WL, Su R, Lin LY, Gong CH IEEE Transactions on Automatic Control, 64(2), 728, 2019 |
| 7 |
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning Wu B, Zhang XB, Lin H IEEE Transactions on Automatic Control, 64(8), 3332, 2019 |
| 8 |
Traffic Models of Periodic Event-Triggered Control Systems Fu AQ, Mazo M IEEE Transactions on Automatic Control, 64(8), 3453, 2019 |
| 9 |
Application of formal verification and falsification to large-scale chemical plant automation systems Rawlings BC, Wassick JM, Ydstie BE Computers & Chemical Engineering, 114, 211, 2018 |
| 10 |
Mode-Target Games: Reactive Synthesis for Control Applications Balkan A, Vardi M, Tabuada P IEEE Transactions on Automatic Control, 63(1), 196, 2018 |