The problem with time in mixed continuous/discrete time modelling

Authors:
Kenneth C. Rovers;Jan Kuper;Gerard J. M. Smit
Affiliations:
University of Twente, AE Enschede, The Netherlands;University of Twente, AE Enschede, The Netherlands;University of Twente, AE Enschede, The Netherlands
Venue:
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Year:
2011

Citing 5
Cited 0

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
SystemC-AMS Requirements, Design Objectives and Rationale

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation
Operational semantics of hybrid systems

Operational semantics of hybrid systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The design of cyber-physical systems requires the use of mixed continuous time and discrete time models. Current modelling tools have problems with time transformations (such as a time delay) or multi-rate systems. We will present a novel approach that implements signals as functions of time, directly corresponding to their mathematical representation. This enables an exact implementation of time transformations and as an additional advantage enables local control over time. A representation of components and signals in both domains is provided, together with composition operators to allow the specification of signal flow diagrams.