Programming in hybrid constraint languages
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 226-251
- https://doi.org/10.1007/3-540-60472-3_12
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- QD-Janus: A sequential implementation of Janus in PrologSoftware: Practice and Experience, 1993
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- Logics and models of real time: A surveyPublished by Springer Nature ,1992
- A language for compositional specification and verification of finite state hardware controllersProceedings of the IEEE, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A logic for default reasoningArtificial Intelligence, 1980