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

Abstract Computation has quickly become of paramount importance in the design of engineered systems, both to support their features as well as their design. Tool support for high-level modeling formalisms has endowed design specifications with executable semantics. Such specifications typically include not only discrete-time and discrete-event behavior, but also continuous-time behavior that is stiff from a numerical integration perspective. The resulting stiff hybrid dynamic systems necessitate variable-step solvers to simulate the continuous-time behavior as well as solver algorithms for the simulation of discrete-time and discrete-event behavior. The combined solvers rely on complex computer code which makes it difficult to directly solve design tasks with the executable specifications. To further leverage the executable specifications in design, this work aims to formalize the semantics of stiff hybrid dynamic systems at a declarative level by removing implementation detail and only retaining ‘what’ the computer code does and not ‘how’ it does it. A stream-based approach is adopted to formalize variable-step solver semantics and to establish a computational model of time that supports discrete-time and discrete-event behavior. The corresponding declarative formalization is amenable to computational methods and it is shown how model checking can automatically generate, or synthesize , a feedforward control strategy for a stiff hybrid dynamic system. Specifically, a stamper in a surface mount device is controlled to maintain a low acceleration of the stamped component for a prescribed minimum duration of time.

[1]  Pieter J. Mosterman,et al.  Stream and State-Based Semantics of Hierarchy in Block Diagrams , 2008 .

[2]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[3]  Janos Sztipanovits,et al.  Semantics of Domain-Specific Modeling Languages , 2009 .

[4]  Pawel Bujakiewicz,et al.  Maximum weighted matching for high index differential algebraic equations , 1994 .

[5]  Hideki John Reekie,et al.  Modelling Asynchronous Streams in Haskell , 1994 .

[6]  Pieter J. Mosterman,et al.  On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis , 2011 .

[7]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[8]  Per Bjesse,et al.  A proof engine approach to solving combinational design automation problems , 2002, DAC '02.

[9]  J. M. Sanz-Serna,et al.  Symplectic integrators for Hamiltonian problems: an overview , 1992, Acta Numerica.

[10]  Ramine Nikoukhah.  Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous , 2007, EOOLT.

[11]  Pieter J. Mosterman,et al.  HYBRSIM—a modelling and simulation environment for hybrid bond graphs , 2002 .

[12]  John Guckenheimer,et al.  Numerical Analysis of Dynamical Systems , 1999 .

[13]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[14]  Marc Pouzet,et al.  The fundamentals of hybrid systems modelers , 2010, 49th IEEE Conference on Decision and Control (CDC).

[15]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[16]  Lawrence F. Shampine,et al.  Solving Index-1 DAEs in MATLAB and Simulink , 1999, SIAM Rev..

[17]  Pieter J. Mosterman.  Model-Based Design of Embedded Systems , 2007, 2007 IEEE International Conference on Microelectronic Systems Education (MSE'07).

[18]  G. Grübel,et al.  Robustness Analysis Applied to Autopilot Design, Part 1: mu-Analysis of Design Entries to a Robust Flight Control Benchmark , 1998 .

[19]  Flemming Nielson,et al.  Semantics with applications - a formal introduction , 1992, Wiley professional computing.

[20]  Pieter J. Mosterman,et al.  A hybrid modeling and verification paradigm for embedded control systems , 1998 .

[21]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[22]  Pieter J. Mosterman,et al.  Hybrid Models of Physical Systems and Discrete Controllers , 2000 .

[23]  Rafael Castro-Linares,et al.  Trajectory tracking for non-holonomic cars: A linear approach to controlled leader-follower formation , 2010, 49th IEEE Conference on Decision and Control (CDC).

[24]  P. V. Remoortere.  Physical systems theory in terms of bond graphs : P.C. Breedveld: Vakgroep Besturingsystemen en Computertechniek, THT, Afdeling Electrotechniek, Postbus 217, 7500 AE Enschede, The Netherlands. 1984, 200 pages, ISBN 90-9000599-4 , 1984 .

[25]  Edward A. Lee,et al.  A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION , 1997 .

[26]  G. Stavroulakis.  Multibody Dynamics with Unilateral Contacts by Friedrich Pfeiffer and Christoph Glocker, Wiley, New York, 1996 , 1998 .

[27]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[28]  Giorgio Battistelli,et al.  Model-free Adaptive Switching Control of Uncertain Time-Varying Plants , 2011 .

[29]  Jonathan Friedman,et al.  Using Model-Based Design for Automotive Systems Engineering - Requirements Analysis of the Power Window Example , 2006 .

[30]  High-Confidence Medical Devices : Cyber-Physical Systems for 21 st Century Health Care , 2009 .

[31]  Pieter J. Mosterman.  On the Normal Component of Centralized Frictionless Collision Sequences , 2007 .

[32]  Marc Pouzet,et al.  A Co-iterative Characterization of Synchronous Stream Functions , 1998, CMCS.

[33]  D. Post,et al.  Computational Science Demands a New Paradigm , 2005 .

[34]  L. Petzold.  A description of dassl: a differential/algebraic system solver , 1982 .

[35]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[36]  Baowen Xu,et al.  A survey of semantic description frameworks for programming languages , 2004, SIGP.

[37]  Friedrich Pfeiffer,et al.  Multibody Dynamics with Unilateral Contacts , 1996 .

[38]  Pieter J. Mosterman,et al.  An Ontology for Transitions in Physical Dynamic Systems , 1998, AAAI/IAAI.

[39]  Ingo Sander,et al.  System Modeling and Design Refinement in ForSyDe , 2003 .

[40]  Graham Kendall,et al.  The optimisation of the single surface mount device placement machine in printed circuit board assembly: a survey , 2009, Int. J. Syst. Sci..

[41]  Lund,et al.  Mixed-mode Integration for Real-time Simulation , 2000 .

[42]  Pieter J. Mosterman,et al.  Block Diagrams as a Syntactic Extension to , 2006 .

[43]  Brian Mirtich,et al.  Timewarp rigid body simulation , 2000, SIGGRAPH.