A formalized description approach to continuous time systems

DOI10.1007/10720123_13MaRDI QIDQ2723336zbMATH OpenFDO

Authors

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720123_13

zbMATH Keywords

computer aided designcontinuous-time systemnuclear power plant

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Recommendations

• Towards a theory of continuous flow models
• SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATION
• A logical DES approach to the design of hybrid control systems
• Computer-aided design and programming
• scientific article; zbMATH DE number 227128

Cited in

(2)

• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Formal methods for discrete-time dynamical systems

This page was built for publication: A formalized description approach to continuous time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723336)