검색결과 : 20건
| No. | Article |
|---|---|
| 1 |
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems Haesaert S, Chen F, Abate A, Weiland S IEEE Transactions on Automatic Control, 66(3), 1024, 2021 |
| 2 |
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications Li YN, Liu J IEEE Transactions on Automatic Control, 66(3), 1199, 2021 |
| 3 |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes Laurenti L, Lahijanian M, Abate A, Cardelli L, Kwiatkowska M IEEE Transactions on Automatic Control, 66(1), 17, 2021 |
| 4 |
Application of safety and reliability analysis in wastewater reclamation system Zhang QY, Liu LS, Liu ZJ Process Safety and Environmental Protection, 146, 338, 2021 |
| 5 |
Automated formal verification of stand-alone solar photovoltaic systems Trindade A, Cordeiro L Solar Energy, 193, 684, 2019 |
| 6 |
On the timed temporal logic planning of coupled multi-agent systems Nikou A, Boskos D, Tumova J, Dimarogonas DV Automatica, 97, 339, 2018 |
| 7 |
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models Meyer PJ, Girard A, Witrant E IEEE Transactions on Automatic Control, 63(6), 1835, 2018 |
| 8 |
Construction of parametric barrier functions for dynamical systems using interval analysis Djaballah A, Chapoutot A, Kieffer M, Bouissou O Automatica, 78, 287, 2017 |
| 9 |
Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems Lesser K, Oishi M IEEE Transactions on Automatic Control, 62(1), 81, 2017 |
| 10 |
Deadlock Analysis of Parameterized-Chain Networks Zibaeenejad MH, Thistle JG IEEE Transactions on Automatic Control, 62(4), 2064, 2017 |