Generalizing Action Systems to Hybrid Systems

  title={Generalizing Action Systems to Hybrid Systems},
  author={Ralph-Johan Back and Luigia Petre and Ivan Porres},
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 12 extracted citations

Mathematics of Program Construction

Lecture Notes in Computer Science • 2012
View 14 Excerpts
Highly Influenced

A Refinement Calculus for Hybrid Systems

2014 19th International Conference on Engineering of Complex Computer Systems • 2014
View 1 Excerpt

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing • 2013
View 1 Excerpt

Formal timing model for hardware components

Proceedings Norchip Conference, 2004. • 2004


Publications referenced by this paper.

Paltor: Generalizing Action Systems to Hybrid Systems

• Ralph-Johan Back, Luigia Petre, Ivan Porres
TUCS Technical Report no 307, • 1999

Similar Papers

Loading similar papers…