Generalizing Action Systems to Hybrid Systems

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

From This Paper

Topics from this paper.

Citations

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

References

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…