| 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 |
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
Lavaei A, Soudjani S, Zamani M
IEEE Transactions on Automatic Control, 65(12), 5280, 2020 |
| 6 |
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 |
| 7 |
Exploitation of acetalization process of poly(vinyl alcohol) for the formation of crosslinked poly(vinyl formal) foams
Liao HH, Liu Y, Lin SD
Polymer Engineering and Science, 60(8), 2023, 2020 |
| 8 |
Robust control for signal temporal logic specifications using discrete average space robustness
Lindemann L, Dimarogonas DV
Automatica, 101, 377, 2019 |
| 9 |
Feedback control strategies for multi-agent systems under a fragment at) of signal temporal logic tasks
Lindemann L, Dimarogonas DV
Automatica, 106, 284, 2019 |
| 10 |
Compositional construction of infinite abstractions for networks of stochastic control systems
Lavaei A, Soudjani S, Zamani M
Automatica, 107, 125, 2019 |
