Generalised substitution language and differentials

DOI10.1007/3-540-45648-1_21MaRDI QIDQ4472198zbMATH OpenFDO

Authors James Blow, A. J. Galloway

Publication date 3 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720396.htm

zbMATH Keywords

embedded control software

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• A uniform substitution calculus for differential dynamic logic
• Computing with continuous change
• Hybrid action systems
• A complete uniform substitution calculus for differential dynamic logic
• Action systems with continuous behaviour

Cited in

(1)

• From control law diagrams to Ada via \textsf{Circus}

This page was built for publication: Generalised substitution language and differentials

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