검색결과 : 8건
| No. | Article |
|---|---|
| 1 |
A game approach to the parametric control of real-time systems Jovanovic A, Lime D, Roux OH International Journal of Control, 92(9), 2025, 2019 |
| 2 |
Timed-automata based method for synthesizing diagnostic tests in batch processes Hsieh WC, Chang CT Computers & Chemical Engineering, 84, 12, 2016 |
| 3 |
State feedback control of real-time discrete event systems with infinite states Park SJ, Cho KH International Journal of Control, 88(5), 1078, 2015 |
| 4 |
Systematic generation of cyclic operating procedures based on timed automata Li JH, Chang CT, Jiang D Chemical Engineering Research & Design, 92(1), 139, 2014 |
| 5 |
The Complexity of Codiagnosability for Discrete Event and Timed Systems Cassez F IEEE Transactions on Automatic Control, 57(7), 1752, 2012 |
| 6 |
Verification of Hybrid Automata Diagnosability by Abstraction Di Benedetto MD, Di Gennaro S, D'Innocenzo A IEEE Transactions on Automatic Control, 56(9), 2050, 2011 |
| 7 |
Multi-product batch scheduling with intermediate due dates using priced timed automata models Subbiah S, Tometzki T, Panek S, Engell S Computers & Chemical Engineering, 33(10), 1661, 2009 |
| 8 |
Scheduling of multi-product batch plants based upon timed automata models Panek S, Engell S, Subbiah S, Stursberg O Computers & Chemical Engineering, 32(1-2), 275, 2008 |