Using HyTech to synthesize control parameters for a steam boiler
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 265-282
- https://doi.org/10.1007/bfb0027241
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A user guide to HyTechPublished by Springer Nature ,1995
- A note on abstract interpretation strategies for hybrid automataPublished by Springer Nature ,1995
- Automated analysis of an audio control protocolPublished by Springer Nature ,1995
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977