# 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).

PDF
Restricted to UT campus only : Request a copy 778kB |

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 |

Faculty: | 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 EndNote HTML Citation Reference Manager |

Repository Staff Only: item control page

Metis ID: 277733