On Model Based Synthesis of Embedded Control Software

Preprint English OPEN
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico;
(2012)
  • Subject: Computer Science - Systems and Control | D.2.4 | D.2.2 | Computer Science - Software Engineering

Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for control software.... View more
  • References (27)
    27 references, page 1 of 3

    [1] R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.

    [2] R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971-984, 2000.

    [3] Rajeev Alur, Thao Dang, and Franjo Ivancˇic´. Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. on Embedded Computing Sys., 5(1):152-199, 2006.

    [4] Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho. Automatic symbolic verification of embedded systems. IEEE Trans. Softw. Eng., 22(3):181-201, 1996.

    [5] Paul C. Attie, Anish Arora, and E. Allen Emerson. Synthesis of fault-tolerant concurrent programs. ACM Trans. on Program. Lang. Syst., 26(1):125-185, 2004.

    [6] A. Bemporad. Hybrid Toolbox - User's http://www.ing.unitn.it/ bemporad/hybrid/toolbox.

    [10] CUDD Web Page: http://vlsi.colorado.edu/ fabio/, 2004.

    [11] G. Della Penna, D. Magazzeni, A. Tofani, B. Intrigila, I. Melatti, and E. Tronci. Automated Generation of Optimal Controllers through Model Checking Techniques, volume 15 of LNEE. Springer, 2008.

    [12] Goran Frehse. Phaver: algorithmic verification of hybrid systems past hytech. Int. J. Softw. Tools Technol. Transf., 10(3):263-279, 2008.

    [13] Minyue Fu and Lihua Xie. The sector bound approach to quantized feedback control. IEEE Trans. on Automatic Control, 50(11):1698-1711, 2005.

  • Metrics
    No metrics available
Share - Bookmark