검색결과 : 25건
| No. | Article |
|---|---|
| 1 |
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions Winterer L, Junges S, Wimmer R, Jansen N, Topcu U, Katoen JP, Becker B IEEE Transactions on Automatic Control, 66(3), 1040, 2021 |
| 2 |
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 |
| 3 |
Incorporating automation logic in online chemical production scheduling Rawlings BC, Avadiappan V, Lafortune S, Maravelias CT, Wassick JM Computers & Chemical Engineering, 128, 201, 2019 |
| 4 |
Model Checking in Isomorphic Module Systems Wang WL, Su R, Lin LY, Gong CH IEEE Transactions on Automatic Control, 64(2), 728, 2019 |
| 5 |
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning Wu B, Zhang XB, Lin H IEEE Transactions on Automatic Control, 64(8), 3332, 2019 |
| 6 |
Automated formal verification of stand-alone solar photovoltaic systems Trindade A, Cordeiro L Solar Energy, 193, 684, 2019 |
| 7 |
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 |
| 8 |
Data-driven and model-based verification via Bayesian identification and reachability analysis Haesaert S, Van den Hof PMJ, Abate A Automatica, 79, 115, 2017 |
| 9 |
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets Yin X, Lafortune S IEEE Transactions on Automatic Control, 62(11), 5931, 2017 |
| 10 |
Timed-automata based method for synthesizing diagnostic tests in batch processes Hsieh WC, Chang CT Computers & Chemical Engineering, 84, 12, 2016 |