research-article

A core language for executable models of cyber physical systems: work in progress report

Authors:

Robert Cartwright,

Verónica Gaspes,

Alexandre ChapoutotAuthors Info & Claims

ACM SIGBED Review, Volume 8, Issue 2

Pages 39 - 43

https://doi.org/10.1145/2000367.2000376

Published: 01 June 2011 Publication History

Abstract

Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. Focusing on the expressivity of equations on continuous functions, this work considered only minimal interaction with discrete behaviors and only a static number of statically connected components. However, the interaction between continuous and hybrid components in many cyber physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber physical systems.

References

[1]

Acumen website. http://www.acumen-language.org, March 2011.

[2]

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138, February 1995.

Digital Library

[3]

R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in charon. In Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC '00, 2000.

Digital Library

[4]

D. Broman. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. PhD thesis, Department of Computer and Information Science, Linköping University, 2010.

[5]

W. M. Haddad and V. Chellaboina. Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach. Princeton University Press, 2008.

[6]

N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.

Digital Library

[7]

T. A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS '96, 1996.

Digital Library

[8]

R. Kaiabachev, W. Taha, and A. Zhu. E-frp with priorities. In Proceedings of the 7th ACM & IEEE international conference on Embedded software, EMSOFT '07, 2007.

Digital Library

[9]

A. Lamperski and A. D. Ames. On the existence of zeno behavior in hybrid systems with non-isolated zeno equilibria. In 47th IEEE Conference on Decision and Control, 2008.

[10]

A. Platzer and J.-D. Quesel. European train control system: A case study in formal verification. In Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering, ICFEM '09, 2009.

Digital Library

[11]

Z. Wan and P. Hudak. Functional reactive programming from first principles. SIGPLAN Not., 35, May 2000.

Digital Library

[12]

Z. Wan, W. Taha, and P. Hudak. Real-time frp. SIGPLAN Not., 36, October 2001.

Digital Library

[13]

Z. Wan, W. Taha, and P. Hudak. Event-driven frp. In Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL '02, 2002.

Digital Library

[14]

G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, Cambridge, Massachusetts, 1993.

Digital Library

[15]

H. Zheng, E. A. Lee, and A. D. Ames. Beyond zeno: Get on with it! In J. P. Hespanha and A. Tiwari, editors, HSCC, volume 3927 of Lecture Notes in Computer Science. Springer, 2006.

Digital Library

[16]

A. Y. Zhu, J. Inoue, M. L. Peralta, W. Taha, M. K. O'Malley, and D. Powell. Implementing haptic feedback environments from high-level descriptions. In Proceedings of the 2009 International Conference on Embedded Software and Systems, 2009.

Digital Library

[17]

Y. Zhu, E. Westbrook, J. Inoue, A. Chapoutot, C. Salama, M. Peralta, T. Martin, W. Taha, M. O'Malley, R. Cartwright, A. Ames, and R. Bhattacharya. Mathematical equations as executable models of mechanical systems. In Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10.

Digital Library

Cited By

Alharthi MTaha AVasilev VAtkinson K(2014)An Acumen/NS-3 integration for modeling networked Cyber-Physical Systems2014 27th Biennial Symposium on Communications (QBSC)10.1109/QBSC.2014.6841211(189-192)Online publication date: Jun-2014
https://doi.org/10.1109/QBSC.2014.6841211

Index Terms

A core language for executable models of cyber physical systems: work in progress report
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation

Recommendations

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
ICDCSW '12: Proceedings of the 2012 32nd International Conference on Distributed Computing Systems Workshops

Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. By focusing on the expressivity of equations formed from continuous functions, this work did not accommodate a wide range of ...
Towards Independent In-Cloud Evolution of Cyber-Physical Systems
CPSNA '14: Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications

The capabilities of Cyber-Physical Systems (CPSs) are increasingly being extended towards new composite services deployed across a range of smart sensing and controlling devices. These services enable the emergence of multiple end-to-end cyber-physical ...
Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer
IMIS '13: Proceedings of the 2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing

Cyber-physical systems (CPSs) are integrations of computation with physical processes. CPSs are widely applied in areas such as health care, traffic control, smart home, etc. Modeling and verification of CPSs is inevitable in these areas and of the ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

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

Copyright © 2011 Authors.

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

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
161
Total Downloads

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

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Alharthi MTaha AVasilev VAtkinson K(2014)An Acumen/NS-3 integration for modeling networked Cyber-Physical Systems2014 27th Biennial Symposium on Communications (QBSC)10.1109/QBSC.2014.6841211(189-192)Online publication date: Jun-2014
https://doi.org/10.1109/QBSC.2014.6841211

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents