On some relations between dynamical systems and transition systems
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Smooth dynamical systems which realize arithmetical and logical operationsPublished by Springer Nature ,2005
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Integration Graphs: A class of decidable hybrid systemsLecture Notes in Computer Science, 1993
- An approach to the description and analysis of hybrid systemsLecture Notes in Computer Science, 1993
- Computability properties of low-dimensional dynamical systemsLecture Notes in Computer Science, 1993
- Prom timed to hybrid systemsLecture Notes in Computer Science, 1992
- Defining software by continuous, smooth functionsIEEE Transactions on Software Engineering, 1991
- An Introduction to Convex PolytopesPublished by Springer Nature ,1983