research-article

The problem with time in mixed continuous/discrete time modelling

Authors:

Kenneth C. Rovers,

Jan Kuper,

Gerard J. M. SmitAuthors Info & Claims

ACM SIGBED Review, Volume 8, Issue 2

Pages 27 - 30

https://doi.org/10.1145/2000367.2000373

Published: 01 June 2011 Publication History

Get Access

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.

References

[1]

K. C. H. Blom, M. D. van de Burgwal, K. C. Rovers, A. B. J. Kokkeler, and G. J. M. Smit. DVB-S signal tracking techniques for mobile phased arrays. In IEEE 72nd Vehicular Technology Conference (VTC 2010-Fall), page 5, Ottawa, ON, Canada, Sep 2010.

Crossref

Google Scholar

[2]

L. P. Carloni, R. Passerone, A. Pinto, and A. L. Angiovanni-Vincentelli. Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation, 1(1):1--193, 2006.

Digital Library

Google Scholar

[3]

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE, 91(1):127--144, Jan 2003.

Google Scholar

[4]

C. Elliott and P. Hudak. Functional Reactive Animation. In ICFP '97, pages 263--273. ACM, 1997.

Digital Library

Google Scholar

[5]

P. Fritzson and V. Engelson. Modelica - A Unified Object-Oriented Language for System Modeling and Simulation. In E. Jul, editor, ECOOP'98 --- Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science. 1998.

Digital Library

Google Scholar

[6]

P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In Advanced Functional Programming, Lecture Notes in Computer Science. 2003.

Google Scholar

[7]

E. A. Lee. Cyber physical systems: Design challenges. Technical Report UCB/EECS-2008-8, EECS Department, University of California, Berkeley.

Google Scholar

[8]

A. Vachoux, C. Grimm, and K. Einwich. SystemC-AMS Requirements, Design Objectives and Rationale. In Proceedings of the conference on Design, Automation and Test in Europe (DATE '03). IEEE, 2003.

Digital Library

Google Scholar

[9]

H. Zheng. Operational semantics of hybrid systems. PhD thesis, Berkeley, CA, USA, 2007.

Digital Library

Google Scholar

Cited By

View all

Sood SMalik ARoop P(2022)Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)10.1109/MEMOCODE57689.2022.9954590(1-11)Online publication date: 13-Oct-2022
https://doi.org/10.1109/MEMOCODE57689.2022.9954590
Mustafee NPowell JBrailsford SDiallo SPadilla JTolk A(2015)Hybrid simulation studies and hybrid simulation systemsProceedings of the 2015 Winter Simulation Conference10.5555/2888619.2888809(1678-1692)Online publication date: 6-Dec-2015
https://dl.acm.org/doi/10.5555/2888619.2888809
Mustafee NPowell JBrailsford SDiallo SPadilla JTolk A(2015)Hybrid simulation studies and Hybrid Simulation systems: Definitions, challenges, and benefits2015 Winter Simulation Conference (WSC)10.1109/WSC.2015.7408287(1678-1692)Online publication date: Dec-2015
https://doi.org/10.1109/WSC.2015.7408287
Show More Cited By

Index Terms

The problem with time in mixed continuous/discrete time modelling
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
    2. Simulation types and techniques
      1. Discrete-event simulation

Recommendations

Planning for mixed discrete continuous domains
CPAIOR'06: Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Mixed discrete-continuous systems are hybrid systems that exhibit both discrete changes of state, describable in terms of their logical and metric properties, and continuous numeric change describable in terms of differential equations. Continuous ...
Continuous Verification by Discrete Reasoning
Optimal mixed discrete-continuous planning for linear hybrid systems
HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control

Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating high-quality ...

Comments

Information & Contributors

Information

Published In

ACM SIGBED Review Volume 8, Issue 2

Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems

June 2011

41 pages

EISSN:1551-3688

DOI:10.1145/2000367

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2011

Published in SIGBED Volume 8, Issue 2

Check for updates

Qualifiers

Research-article

Funding Sources

Thales Nederland B.V. and STW projects

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
92
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sood SMalik ARoop P(2022)Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)10.1109/MEMOCODE57689.2022.9954590(1-11)Online publication date: 13-Oct-2022
https://doi.org/10.1109/MEMOCODE57689.2022.9954590
Mustafee NPowell JBrailsford SDiallo SPadilla JTolk A(2015)Hybrid simulation studies and hybrid simulation systemsProceedings of the 2015 Winter Simulation Conference10.5555/2888619.2888809(1678-1692)Online publication date: 6-Dec-2015
https://dl.acm.org/doi/10.5555/2888619.2888809
Mustafee NPowell JBrailsford SDiallo SPadilla JTolk A(2015)Hybrid simulation studies and Hybrid Simulation systems: Definitions, challenges, and benefits2015 Winter Simulation Conference (WSC)10.1109/WSC.2015.7408287(1678-1692)Online publication date: Dec-2015
https://doi.org/10.1109/WSC.2015.7408287
Wang YZhou XLiang D(2012)Study on Integrated Modeling Methods toward Co-simulation of Cyber-Physical SystemProceedings of the 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems10.1109/HPCC.2012.261(1736-1740)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1109/HPCC.2012.261
Rovers KKuper J(2012)UniTi: Unified Composition and Time for Multi-domain Model-based DesignInternational Journal of Parallel Programming10.1007/s10766-012-0226-541:2(261-304)Online publication date: 21-Nov-2012
https://doi.org/10.1007/s10766-012-0226-5
Rovers Kvan de Burgwal MKuper JKokkeler ASmit G(2011)Multi-domain transformational design flow for embedded systems2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation10.1109/SAMOS.2011.6045449(93-101)Online publication date: Jul-2011
https://doi.org/10.1109/SAMOS.2011.6045449

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Planning for mixed discrete continuous domains

Continuous Verification by Discrete Reasoning

Optimal mixed discrete-continuous planning for linear hybrid systems

Comments

Published In

Publisher

Publication History

Check for updates

Qualifiers

Funding Sources

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Planning for mixed discrete continuous domains

Continuous Verification by Discrete Reasoning

Optimal mixed discrete-continuous planning for linear hybrid systems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Funding Sources

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations