On-the-Fly Control Software Synthesis
作者： Vadim Alimguzhin , Federico Mari , Igor Melatti , Ivano Salvo , Enrico Tronci
DOI: 10.1007/978-3-642-39176-7_5
关键词: Model checking 、 Real-time Control System Software 、 Computer science 、 Control theory 、 Control engineering 、 Software construction 、 Systems design 、 Design space exploration 、 Model-based design 、 Hybrid system
摘要: The Model Based Design approach for Hybrid Systems control software synthesis is particularly appealing since Formal System Level Specifications are usually much easier to define than the itself. In this setting, Space Exploration has goal find a suitable (with respect costs and performance) choice system design parameters. Unfortunately, substantial part of time devoted space exploration spent trying solve problems that do not have solution. We present an on-the-fly algorithm enables effective by speeding-up termination when no controller found. Our experimental results show effectiveness our how it can support concrete realizability schedulability analysis.
core.ac.uk
springer.com
uniroma1.it 参考文章(46)
Giorgio C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) ,(2010)
William L. Brogan, Modern control theory (3rd ed.) Prentice-Hall, Inc.. ,(1991)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Undecidability of quantized state feedback control for discrete time linear hybrid systems international colloquium on theoretical aspects of computing. pp. 243- 258 ,(2012) , 10.1007/978-3-642-32943-2_19
Giusi Castiglione, Antonio Restivo, Marinella Sciortino, Nondeterministic Moore Automata and Brzozowski’s Algorithm Implementation and Application of Automata. pp. 88- 99 ,(2011) , 10.1007/978-3-642-22256-6_9
Alberto Bemporad, Nicolò Giorgetti, A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems Hybrid Systems: Computation and Control. ,vol. 1, pp. 126- 141 ,(2004) , 10.1007/978-3-540-24743-2_9
Eduardo D. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems ,(1990)
Hybrid Systems: Computation and Control. Defense Technical Information Center. ,(1998) , 10.1007/3-540-64358-3
Gerard J. Holzmann, The SPIN Model Checker ,(2003)
Alessandro Cimatti, Marco Roveri, Paolo Traverso, Strong planning in non-deterministic domains via model checking international conference on artificial intelligence planning systems. pp. 36- 43 ,(1998)
Manuel Mazo, Anna Davitian, Paulo Tabuada, PESSOA: a tool for embedded controller synthesis computer aided verification. pp. 566- 569 ,(2010) , 10.1007/978-3-642-14295-6_49