## A Component-Based Approach to Modeling and Simulating Mixed-Signal and Hybrid Systems (2003)

### Cached

### Download Links

Venue: | ACM Trans. on Modeling and Computer Simulation, special |

Citations: | 17 - 8 self |

### BibTeX

@ARTICLE{Liu03acomponent-based,

author = {Jie Liu and Edward A. Lee},

title = {A Component-Based Approach to Modeling and Simulating Mixed-Signal and Hybrid Systems},

journal = {ACM Trans. on Modeling and Computer Simulation, special},

year = {2003},

volume = {12},

pages = {343--368}

}

### OpenURL

### Abstract

Systems with both continuous and discrete behaviors can be modeled using a mixed-signal style or a hybrid systems style. This paper presents a component-based modeling and simulation framework that supports both modeling styles. The component framework, based on an actor meta-model, takes a hierarchical approach to manage heterogeneity in modeling complex systems. We describe how ordinary differential equations, discrete-event systems, and finite state machines can be built under this meta-model. A mixed-signal system is a hierarchical composition of continuous-time and discrete-event models, and a hybrid system is a hierarchical composition of continuous-time and finite-state-machine models. Hierarchical composition and information hiding help building clean models and efficient execution engines. Simulation technologies, in particular, the interaction between a continuous-time ODE solving engine and various discrete simulation engines are discussed. A signal type system is introduced to schedule hybrid components inside a continuous-time environment. Breakpoints are used to control the numerical integration step sizes so that discrete events are handled properly. A "refiring" mechanism and a "rollback" mechanism are designed to manage continuous components inside a discrete-event environment. The technologies are implemented in the Ptolemy II software environment. Examples are given to show the applications of this framework in mixed-signal and hybrid systems.

### Citations

1153 | Actors: A Model of Concurrent Computation in Distributed Systems - Agha - 1986 |

527 | The theory of hybrid automata
- Henzinger
- 1996
(Show Context)
Citation Context ... heterogeneous modeling techniques to achieve scalable designs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention in system theory [3]=-=[18]-=-, micro-electromechanical devices and systems (MEMS) [29], computer-aided design (CAD) [2][5][30], and automatic control [7][31], among other communities. Two kinds of integration have been widely acc... |

276 | cars on smart roads: problems of control - Smart - 1993 |

163 |
Numerical Methods for Ordinary Differential Systems. The Initial Value Problem
- Lambert
- 1991
(Show Context)
Citation Context ...contraction mappings and the continuity of x state that if the step size is sufficiently small, the fixed-point iteration always converges, and the converged value is the solution for x at time t + h =-=[20]-=-. xt ( + h) = xt () fxt ( ()ut , ()t , ) + fxt ( ( + h) , ut ( + h) , t+ h) + ----------------------------------------------------------------------------------------------------- h 2 Under the compon... |

144 | Hybrid I/O automata - Lynch, Segala, et al. - 2003 |

131 | Lee,“Hierarchical Finite State Machines with Multiple Concurrency Models
- Girault, Lee, et al.
- 1999
(Show Context)
Citation Context ... model sequential operation modes in the lifetime of the system and the transitions among these modes. For this, we introduce the notion of a modal meta-model called *-charts (pronounced star-charts) =-=[15]-=- that allows state machines to be composed with many concurrent models in ahierarchicalway. p1 p2 A2 A2 D2: director p5 p6 p2 p3 p4 p5 A3 Figure 3. An illustration of Ptolemy II component architecture... |

121 |
Introduction to Physical Modeling with Modelica
- Tiller
(Show Context)
Citation Context ...niques, the integration of continuous and discrete dynamics has received attention in system theory [3][18], micro-electromechanical devices and systems (MEMS) [29], computer-aided design (CAD) [2][5]=-=[30], an-=-d automatic control [7][31], among other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices −− the mixed-signal style that integrates con... |

108 | Improving simulation for network research - Bajaj, Breslau, et al. - 1999 |

91 | What's Ahead for Embedded Software
- Lee
- 2000
(Show Context)
Citation Context ...s to express and explore their ideas in their preferred domain-specific ways of thinking, and to integrate small designs systematically to build complex systems. Multi-paradigm modeling and design [6]=-=[21]-=-[24][28] integrates heterogeneous modeling techniques to achieve scalable designs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention i... |

88 | Studies in hybrid systems: Modeling, analysis, and control. Unpublished doctoral dissertation - Branicky |

87 |
ACTORS : A model of Concurrent computations
- Agha
- 1990
(Show Context)
Citation Context ...sulate an execution and provide communication interfaces to other actors. Our notion of actors, called Ptolemy actors due to its implementation in the Ptolemy project, differs from Agha’s actor mode=-=l [1]-=- in the sense that Ptolemy actors do not necessarily associate with a thread of control. An actor can be an atomic actor, at the bottom of the hierarchy. An actor can be a composite, which contains ot... |

78 |
Modeling concurrent real-time processes using discrete events
- Lee
- 1998
(Show Context)
Citation Context ...anism is typically used to register events that trigger the source actor’s next execution. 1. Discreteness here means the time stamps of all events are order isomorphic to a subset of natural number=-=s [22]-=-. 14 of 37sEvents in a system are processed in chronological order. This implies that for any actor execution, the output events cannot be earlier in time than the input events that trigger them. This... |

57 | Linear System Theory - Callier, Desoer - 1991 |

55 | Object-oriented modelling of hybrid systems
- Cellier, Elmquist, et al.
- 1993
(Show Context)
Citation Context ...gration of Stateflow [17], analog and mixed-signal extensions of hardware description languages such as VHDLAMS and Verilog-AMS [5], object-oriented modeling frameworks such as Omola[26] and Modelica =-=[14]-=-[30], and the hybrid concurrent constraint language HCC [16]. These approaches typically assume a unified model, such as a continuous-time model with discontinuities, to capture semantically different... |

49 | An overview of hybrid simulation phenomena and their support by simulation packages
- Mosterman
- 1999
(Show Context)
Citation Context ...omain engineers. As systems become more complex, intelligent, software-enabled, and interconnected, the integration of multiple modeling formalisms becomes a major bottleneck in engineering design [6]=-=[27]-=-. 2of37sAn ideal modeling and design framework should allow engineers to express and explore their ideas in their preferred domain-specific ways of thinking, and to integrate small designs systematica... |

42 |
Combustion Theory
- unknown authors
- 1983
(Show Context)
Citation Context ...ror prone. u(t) f(x(t), u(t), t) Figure 7. A conceptual block diagram for continuous-time systems. For example, a transfer function has zero-initial-state controllable canonical form (see for example =-=[8]): . x(t-=-) ∫ x(t) Ys ( ) s + b ----------- Us ( ) s 2 = ----------------------------- – a1s – a0 g(x(t), u(t), t) y(t) (2) 16 of 37s· x1 · which can be built as the composite actor shown in Figure 8. x... |

33 |
J.K.: Automotive Powertrain Modeling for Control
- Cho, Hendrick
- 1989
(Show Context)
Citation Context ...eterogeneous systems. 2. Heterogeneity and Hierarchy We motivate hierarchical heterogeneous modeling and design methodologies by an example. Consider an automotive powertrain control (see for example =-=[10]-=-), depicted in Figure 1. A cylinder of an internal combustion engine has four working phases, intake (I), compress (C), explode (E), and exhaust (H). The engine generates torque that drives the car bo... |

30 |
A use of Limit Cycle Oscillations to Obtain Robust Analog-to-Digital Converters
- Candy
- 1974
(Show Context)
Citation Context ...ce is shown in Figure 16. The random delays introduced by the controller make the settling time vary from time to time. 6.2 Mixed-signal modeling: Σ⁄ ∆ Modulated A/D Conversion Sigma-delta modula=-=tion [9]-=-, also called pulse density modulation, is an over sampling A/D conversion technology. The analog input is over sampled N times faster than the requested digital output frequency, and quantized to one... |

27 |
Hybrid Control of Air Traffic Management Systems
- Tomlin
- 1998
(Show Context)
Citation Context ...inuous and discrete dynamics has received attention in system theory [3][18], micro-electromechanical devices and systems (MEMS) [29], computer-aided design (CAD) [2][5][30], and automatic control [7]=-=[31], am-=-ong other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices −− the mixed-signal style that integrates continuous-time differential equat... |

25 | Challenges for Microsensors, Microactuators, and Microsystems
- Senturia, “CAD
- 1998
(Show Context)
Citation Context ...signs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention in system theory [3][18], micro-electromechanical devices and systems (MEMS) =-=[29], co-=-mputer-aided design (CAD) [2][5][30], and automatic control [7][31], among other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices −− th... |

24 | Computing with continuous change
- Gupta, Jagadeesan, et al.
- 1998
(Show Context)
Citation Context ...s of hardware description languages such as VHDLAMS and Verilog-AMS [5], object-oriented modeling frameworks such as Omola[26] and Modelica [14][30], and the hybrid concurrent constraint language HCC =-=[16]-=-. These approaches typically assume a unified model, such as a continuous-time model with discontinuities, to capture semantically different components, but lack information hiding to help scale up de... |

23 | Ptolemy ii - heterogeneous concurrent modeling and design in java - Davis - 2000 |

19 | Heterogeneous simulation – mixing discrete-event models with dataflow
- Chang, Ha, et al.
- 1997
(Show Context)
Citation Context ...e smallest time stamp is taken out from the queue, and its destination component is executed. Additional subtleties exist for handling events with the same time stamp. We take an approach proposed in =-=[11]-=-, which applies topological sorting to actors and yields a deterministic ordering on simultaneous events. An actor can schedule itself to be executed at a particular future time by placing a pure even... |

15 |
Micro accelerometer design with digital feedback control
- Lemkin
- 1997
(Show Context)
Citation Context ...d A/D convertors have been extensively 28 of 37sdeveloped. Recently, this technique has been applied to micro-electromechanical accelerometers to reduce noise and improve stability and sensing ranges =-=[23]. Fig-=-ure 17 shows a model for a Σ⁄ ∆ modulated micro-accelerometer. A CT composite actor, CTSubsystem, is used to model the mechanical dynamics of the accelerometer, which is built by silicon beams an... |

13 | Omola—An object-oriented modeling language - Mattsson, Andersson - 1993 |

12 | Computer automated multi-paradigm modeling in control systems technology - Mosterman, Sztipanovits, et al. - 2004 |

9 | Simultaneous events and lookahead in simulation protocols
- Jha, Bagrodia
- 2000
(Show Context)
Citation Context ...s that the local time of the CT component should be greater than or equal to the global time whenever it executes. Look-ahead executions are not entirely new in coordinating discrete-event simulators =-=[19]-=-. In the mixed-signal cases, this implies that the CT component should be able to remember its past states and be ready to rollback if the input event time is smaller than its current local time. The ... |

8 | Mastering Simulink 4 - Dabney, Harman - 2001 |

7 |
System specification in rosetta
- Alexander, Kamath, et al.
- 2000
(Show Context)
Citation Context ...g techniques, the integration of continuous and discrete dynamics has received attention in system theory [3][18], micro-electromechanical devices and systems (MEMS) [29], computer-aided design (CAD) =-=[2][5][-=-30], and automatic control [7][31], among other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices −− the mixed-signal style that integra... |

7 |
2002. Computer Automated Multi-Paradigm Modeling
- J, Vangheluwe
(Show Context)
Citation Context ...ress and explore their ideas in their preferred domain-specific ways of thinking, and to integrate small designs systematically to build complex systems. Multi-paradigm modeling and design [6][21][24]=-=[28]-=- integrates heterogeneous modeling techniques to achieve scalable designs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention in system... |

5 |
Motivating Hierarchical Run-Time Models
- Liu, Jefferson, et al.
(Show Context)
Citation Context ... express and explore their ideas in their preferred domain-specific ways of thinking, and to integrate small designs systematically to build complex systems. Multi-paradigm modeling and design [6][21]=-=[24]-=-[28] integrates heterogeneous modeling techniques to achieve scalable designs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention in sy... |

5 |
Omola - An Object Oriented Modeling Language
- Mattsson, Andersson
- 1993
(Show Context)
Citation Context ...link with the integration of Stateflow [17], analog and mixed-signal extensions of hardware description languages such as VHDLAMS and Verilog-AMS [5], object-oriented modeling frameworks such as Omola=-=[26]-=- and Modelica [14][30], and the hybrid concurrent constraint language HCC [16]. These approaches typically assume a unified model, such as a continuous-time model with discontinuities, to capture sema... |

4 |
Requirements modeling technology: A vision for better, faster, and cheaper systems
- Barker
- 2000
(Show Context)
Citation Context ...y domain engineers. As systems become more complex, intelligent, software-enabled, and interconnected, the integration of multiple modeling formalisms becomes a major bottleneck in engineering design =-=[6]-=-[27]. 2of37sAn ideal modeling and design framework should allow engineers to express and explore their ideas in their preferred domain-specific ways of thinking, and to integrate small designs systema... |

4 | Heterogeneous simulation—mixing discrete-event models with dataflow - Chang, Ha, et al. - 1997 |

3 |
VHDL 1076.1 - analog and mixed signal extensions to VHDL
- Christen, Bakalar
- 1996
(Show Context)
Citation Context ...echniques, the integration of continuous and discrete dynamics has received attention in system theory [3][18], micro-electromechanical devices and systems (MEMS) [29], computer-aided design (CAD) [2]=-=[5][30]-=-, and automatic control [7][31], among other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices −− the mixed-signal style that integrates... |

3 | Hybrid Systems II - Antsaklis, Kohn, et al. - 1995 |

1 |
Taming Heterogeneity — the Ptolemy Approach,” to appear
- Eker, Janneck, et al.
(Show Context)
Citation Context ... the communication among components; directors implement models of computation that guard the interaction styles among actors. A more formal and complete discussion of the actor model can be found in =-=[13] and-=- is out of the scope of this paper. However, we focus on two specific aspects −− modal models and signal type systems, which are essential for modeling mixed-signal and hybrid systems. 3.1 Actors ... |

1 | Motivating hierarchical run-time models in measurement and control systems - LIU, JEFFERSON, et al. - 2001 |