Synthesis of fixed-point programs

2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013

Volumn , Issue , 2013, Pages

  Darulova, Eva ^a   Kuncak, Viktor ^a   Majumdar, Rupak ^b   Saha, Indranil ^c  

^a EPFL   (Switzerland)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; EMBEDDED SOFTWARE; ERRORS; GENETIC ALGORITHMS; GENETIC PROGRAMMING; LINEAR CONTROL SYSTEMS; POLYNOMIALS; SIGNAL PROCESSING; STATIC ANALYSIS;

ARITHMETIC EXPRESSION; COMPILATION PROCESS; FIXED POINT OPERATION; FIXED-POINT IMPLEMENTATION; FUNDAMENTAL PROPERTIES; IMPERATIVE PROGRAMS; POLYNOMIAL EXPRESSION; SIGNAL PROCESSING SYSTEMS;

FIXED POINT ARITHMETIC;

EID: 84892628746     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMSOFT.2013.6658600     Document Type: Conference Paper

References (25)

1. T. Aamodt and P. Chow. Embedded ISA Support for Enhanced Floating-Point to Fixed-Point ANSI C Compilation. In CASES, 2000.
2. A. Anta, R. Majumdar, I. Saha, and P. Tabuada. Automatic Verification of Control System Implementations. In EMSOFT, 2010.
3. A. Anta and P. Tabuada. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems. IEEE Trans. Automatic Control, 55(9), 2010.
4. K. J. Astrom and R. M. Murray. Feedback Systems. Princeton University Press, 2008.
5. P. Belanovic and M. Rupp. Automated Floating-point to Fixed-point Conversion with the Fixify Environment. In Proc. Rapid System Prototyping, 2005.
6. E. Darulova and V. Kuncak. Trustworthy Numerical Computation in Scala. In OOPSLA, 2011.
7. S. Ebbesen, P. Kiwitz, and L. Guzzella. A Generic Particle Swarm Optimization Function for Matlab. In American Control Conference, 2012.
8. C. F. Fang, R. A. Rutenbar, and T. Chen. Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs. In ICCAD, 2003.
9. M. Green and D. J. N. Limebeer. Linear Robust Control. Prentice Hall, 1994.
10. J. P. Hespanha. Linear Systems Theory. Princeton University Press, 2009.
11. A. Ioualalen and M. Martel. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. In SAS, 2012.
12. S. Jha. Towards Automated System Synthesis Using SCIDUCTION. PhD thesis, University of California at Berkeley, 2011.
13. M.-Y. Kao and J. Wang. Efficient Minimization of Numerical Summation Errors. In Automata, Languages and Programming. Springer, 1998.
14. J. Kennedy and R. Eberhart. Particle Swarm Optimization. In Proceedings of IEEE International Conference on Neural Networks, pages 1942-1948, 1995.
15. D. Lee, A. A. Gaffar, R. C. C. Cheung, O. Mencer, W. Luk, and G. A. Constantinides. Accuracy-Guaranteed Bit-Width Optimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(10), 2006.
16. R. Majumdar, I. Saha, and M. Zamani. Synthesis of Minimal-Error Control Software. In EMSOFT, pages 123-132, 2012.
17. A. Mallik, D. Sinha, P. Banerjee, and H. Zhou. Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment. IEEE Trans. on CAD of Integrated Circuits and Systems, 26(3), 2007.
18. M. Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. Formal Methods in System Design, 35(3), 2009.
19. The MathWorksTM. Simulink Fixed Point. http://www.mathworks.com/products/ simfixed/.
20. P. McLane, L. Peppard, and K. Sundareswaran. Decentralized Feedback Controls for the Brakeless Operation of Multilocomotive Powered Trains. IEEE Trans. Autom. Control, 21(3), 1976.
21. C. Mouilleron and G. Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. In ARITH, 2011.
22. W. G. Osborne, R. C. C. Cheung, J. G. F. Coutinho, W. Luk, and O. Mencer. Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems. In Proc. FPL, pages 617-620, 2007.
23. R. Poli, W. B. Langdon, and N. F. McPhee. A Field Guide to Genetic Programming. Lulu Enterprises, 2008.
24. H. H. Rosenbrock. Computer-Aided Control System Design. Academic Press, 1974.
25. Control Tutorial for Matlab and Simulink. Available online at http://www.library.cmu.edu/ctms/ctms/.