검색결과 : 206건
| No. | Article |
|---|---|
| 1 |
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems Schurmann B, Althoff M IEEE Transactions on Automatic Control, 66(3), 981, 2021 |
| 2 |
Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks Niu LY, Fu J, Clark A IEEE Transactions on Automatic Control, 66(3), 995, 2021 |
| 3 |
Verification of Detectability for Unambiguous Weighted Automata Lai AW, Lahaye S, Giua A IEEE Transactions on Automatic Control, 66(3), 1437, 2021 |
| 4 |
Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems Bisoffi A, Dimarogonas DV IEEE Transactions on Automatic Control, 66(2), 818, 2021 |
| 5 |
Critical Observability for Automata and Petri & x00A0;Nets Masopust T IEEE Transactions on Automatic Control, 65(1), 341, 2020 |
| 6 |
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 |
| 7 |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems Mohajerani S, Lafortune S IEEE Transactions on Automatic Control, 65(4), 1739, 2020 |
| 8 |
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 |
| 9 |
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 |
| 10 |
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 |