A computational model of time for stiff hybrid systems applied to control synthesis

Control Engineering Practice

Volumn 20, Issue 1, 2012, Pages 2-13

  Mosterman, Pieter J ^a   Zander, Justyna ^b,c   Hamon, Gregoire ^a   Denckla, Ben ^d  

^a MATHWORKS INC   (United States)

^b FRAUNHOFER FOKUS   (Germany)

^c HARVARD UNIVERSITY   (United States)

^d Denckla Consulting   (United States)

Author keywords

Computational methods; Computer simulation; Computer aided control system design; Embedded systems; Systems design; Verification

Indexed keywords

COMPUTATIONAL MODEL; COMPUTER CODES; CONTINUOUS TIME; CONTROL SYNTHESIS; CONTROL SYSTEM DESIGNS; DESIGN SPECIFICATION; DESIGN TASKS; DISCRETE EVENTS; DISCRETE-TIME; ENGINEERED SYSTEMS; EXECUTABLE SPECIFICATIONS; HIGH-LEVEL MODELING; HYBRID DYNAMIC SYSTEMS; NUMERICAL INTEGRATIONS; SURFACE MOUNT DEVICE; TOOL SUPPORT;

COMPUTATIONAL METHODS; COMPUTER SIMULATION; DESIGN; EMBEDDED SYSTEMS; HYBRID SYSTEMS; MODEL CHECKING; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS;

CONTINUOUS TIME SYSTEMS;

EID: 80655124627     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2011.04.013     Document Type: Article

References (48)

1. Andersson G., Bjesse P., Cook B., Hanna Z. A proof engine approach to solving combinational design automation problems. Proceedings of the 39th annual design automation conference August, 2002, 725-730.
2. Åström K.J., Wittenmark B. Computer controlled systems: Theory and design 1984, Prentice-Hall, Englewood Cliffs, New Jersey.
3. Ayob, M. (2005). Optimisation of surface mount device placement machine in printed circuit board assembly. Ph.D. thesis, University of Nottingham, Nottingham, UK, June.
4. Backus J. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 1978, 21(8):613-641.
5. Benveniste, A., Caillaud, B., Pouzet, M. (2010). The fundamentals of hybrid systems modelers. In Proceedings of the 49th IEEE conference on decision and control. Atlanta, GA, December.
6. Benveniste A., Caspi P., Edwards S.A., Halbwachs N., Guernic P.L., de Simone R. The synchronous languages twelve years later. Proceedings of the IEEE 2003, 91(1):64-83.
7. Breedveld, P. C. (1984). Physical systems theory in terms of bond graphs. Ph.D. dissertation, University of Twente, Enschede, Netherlands.
8. Bujakiewicz, P. (1994). Maximum weighted matching for high index differential algebraic equations. Ph.D. dissertation, TU Delft, Delft, Netherlands, ISBN 90-9007240-3.
9. Caspi, P., & Pouzet, M. (1997). A co-iterative characterization of synchronous stream functions. Technical Report 07, VERIMAG, October.
10. Cellier F., Elmqvist H., Otter M. Modelling from physical principles. The control handbook 1996, 99-107. CRC Press, Boca Raton, FL. W. Levine (Ed.).
11. Denckla, B., & Mosterman, P. J. (2006). Block diagrams as a syntactic extension to haskell. In Proceedings of the workshop on multi-paradigm modeling: Concepts and tools (pp. 67-79). Genoa, Italy, October.
12. Denckla, B., & Mosterman, P. J. (2008). Stream- and state-based semantics of hierarchy in block diagrams. In Proceedings of the 17th IFAC world congress (pp. 7955-7960). Seoul, Korea.
13. Falk G., Ruppel W. Energie und entropie: Eine Einführung in die thermodynamik 1976, Springer-Verlag, Berlin, Heidelberg, New York, ISBN 3-540-07814-2.
14. Friedman, J & Ghidella, J. (2006). Using model-based design for automotive systems engineering-requirements analysis of the power window example. In Proceedings of the SAE 2006 world congress & exhibition (pp. CD-ROM: 2006-01-1217), Detroit, MI, April.
15. Guckenheimer J. Numerical analysis of dynamical systems. Handbook of dynamical systems 2002, Vol. 2:345-390. Elsevier, Amsterdam, Netherlands, ISBN 978-0-444-50168-4.
16. High Confidence Software and Systems Coordinating Group (2009). High-confidence medical devices: Cyber-physical systems for the 21st century health care. Technical Report, Networking and Information Technology Research and Development Program, February.
17. Jackson E., Thibodeaux R., Porter J., Sztipanovits J. Semantics of domain specific modeling languages. Model-based design for embedded systems 2009, CRC Press, Boca Raton, FL, ISBN 978-1-420-06784-2. G. Nicolescu, P.J. Mosterman (Eds.).
18. Jefferson D.R. Virtual time. ACM Transactions on Programming Languages and Systems 1985, 7(3):404-425.
19. Jones, H. (2005). Return on investment in Simulink® for electronic system design. Technical Report, International Business Strategies, http://www.mathworks.com/roi.
20. Jones S.P. Haskell 98 language and libraries 2003, Cambridge University Press, Cambridge, UK, ISBN-10: 0521826144.
21. Lee, E. A., & Sangiovanni-Vincentelli, A. (1996). The tagged signal model-A preliminary version of a denotational framework for comparing models of computation. Technical Report, UCB/ERL M96/33, University of California, Berkeley, California, June.
22. Looye, G., Varga, A., Bennani, S., & Grübel, G. (1998). Robustness analysis applied to autopilot design, part 1: γ-analysis of design entries to a robust flight control benchmark. In Proceedings of the 21st international congress of aeronautical sciences. Melbourne, Australia, paper ID: ICAS-98-1.6.1, September.
23. Mirtich B. Timewarp rigid body simulation. Proceedings of the 27th annual conference on computer graphics and interactive techniques 2000, 193-200. ACM SIGGRAPH, New York, NY.
24. Mosterman P.J. HyBrSim-a modeling and simulation environment for hybrid bond graphs. Journal of Systems and Control Engineering 2002, 216(1):35-46.
25. Mosterman P.J. On the normal component of centralized frictionless collision sequences. ASME Journal of Applied Mechanics 2007, 74(5):908-915.
26. Mosterman, P. J., & Biswas, G. (1996). Verification of dynamic physical system models. In Proceedings of the ASME congress '96. Atlanta, GA, November.
27. Mosterman, P. J., Biswas, G., & Sztipanovits, J. (1998). A hybrid modeling and verification paradigm for embedded control systems. Control Engineering Practice (6), 511-521.
28. Mosterman P.J., Zhao F., Biswas G. An ontology for transitions in physical dynamic systems. AAAI98 July 1998, 219-224.
29. Nicolescu, G., & Mosterman, P. J. (Eds.) (2009). Model-based design for embedded systems. Computational analysis, synthesis, and design of dynamic systems. CRC Press, Boca Raton, FL, ISBN: 9781420067842.
30. Nielson H.R., Nielson F. Semantics with applications: A formal introduction 1992, Wiley Professional Computing, Hoboken, NJ, ISBN 0 471 92980 8.
31. Nikoukhah, R. (2007). Hybrid dynamics in modelica: Should all events be considered synchronous. In Proceedings of the 1st international workshop on equation-based object-oriented languages and tools (EOOLT 2007) (pp. 37-48). Berlin, Germany, July.
32. Otter Martin, Pereira Remelhe Manuel A., Engell Sebastian, Mosterman Pieter J. Hybrid models of physical systems and discrete controllers. Automatisierungstechnik 2000, 48(9):426-437.
33. Paynter H.M. Analysis and design of engineering systems 1961, The M.I.T. Press, Cambridge, Massachusetts.
34. Petzold, L. R. (1982). A description of DASSL: A differential/algebraic system solver. Technical Report SAND82-8637, Sandia National Laboratories, Livermore, CA.
35. Peyton-Jones S. The implementation of functional programming languages 1987, Prentice Hall, Englewood Cliffs, NJ.
36. Pfeiffer F., Glocker C. Multibody dynamics with unilateral contacts 1996, John Wiley & Sons, Inc., New York.
37. Post D.E., Votta L.G. Computational science demands a new paradigm. Physics Today 2005, 58(8):35-41.
38. Potter, B. (2004). Use of the mathworks tool suite to develop do-178b certified code. In ERAU/FAA Software Tools Forum. Daytona Beach, Florida.
39. Reekie, H. J. (1994). Modelling asynchronous streams in haskell. Technical Report, 94.3, Key Centre for Advanced Computing Sciences, University of Technology, Sydney, May.
40. Sander, I. (2003). System modeling and design refinement in ForSyDe. Ph.D. thesis, Royal Institute of Technology, Stockholm, Sweden, April.
41. Sanz-Serna J.M. Symplectic integrators for Hamiltonian problems: An overview. Acta Numerica 1992, 1:243-286.
42. SC-167, R. (1992). Do178b, software considerations in airborne systems and equipment certification, December.
43. Schiela, A., & Olsson, H. (2000). Mixed-mode integration for real-time simulation. In Modelica 2000 (pp. 69-75), Lund, Sweden, October.
44. Shampine L.F., Reichelt M.W., Kierzenka J.A. Solving index-1 DAEs in MATLAB and Simulink. SIAM Review 1999, 41(3):538-552.
45. Simulink® (2011). Using Simulink®. MathWorks®, Natick, MA, March.
46. Simulink® Design Verifier™ (2011). User's Guide. MathWorks®, Natick, MA, March.
47. Zander, J., Mosterman, P. J., Hamon, G., Denckla, B. (2011). On the structure of time in computational semantics of a variable-step solver for hybrid behavior analysis. In Proceedings of the 18th IFAC world congress. Milan, Italy, September.
48. Zhang Y., Xu B. A survey of semantic description frameworks for programming languages. ACM SIGPLAN Notices 2004, 39(3):14-30.