Mixed continuous/discrete time modelling with exact time adjustments


Rovers, Kenneth C. and Kuper, Jan and Burgwal, Marcel D. van de and Kokkeler, André B.J. and Smit, Gerard J.M. (2011) Mixed continuous/discrete time modelling with exact time adjustments. In: First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2011, 6-7 July 2011, Istanbul, Turkey (pp. pp. 1111-1116).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Many systems interact with their physical environment. Design of such systems need a modelling and simulation tool which can deal with both the continuous and discrete aspects. However, most current tools are not adequately able to do so, as they implement both continuous and discrete time signals as consisting of separate values at a single global simulation clock. The consequence is that simulation, of a time delay for example, either yields inaccurate results or becomes inefficient.

We propose a solution by considering (continuous) signals as functions of time and by separating different notions of time. Signals thus correspond directly to their mathematical representation and e.g. time delays can be dealt with exactly. A second advantage is that discretisation of time can be dealt with locally, such that numerical approximations in the continuous time domain or sampling of the ADC can be calculated without influencing the time granularity of the rest of the system.

To handle such signals, we need higher order functions. As they are standard in functional languages, we implement our approach in Haskell. We illustrate the approach with a case study on beamforming in phased array systems.
Item Type:Conference or Workshop Item
Copyright:© 2011 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/77808
Official URL:https://doi.org/10.1109/IWCMC.2011.5982696
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 277733