Toward an approximation theory for computerised control

DOI10.1007/3-540-45828-X_22MaRDI QIDQ4439589zbMATH OpenFDO

Authors Paul Caspi, Albert Benveniste

Publication date 14 December 2003

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/2491/24910294.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Hybrid Systems: Computation and Control
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Approximate bisimulation: a bridge between computer science and control theory
• Foundations of a theory of discontinuous systems. I
• scientific article; zbMATH DE number 751057

Cited in

(12)

• Approximate equivalence and synchronization of metric transition systems
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
• Quantitative simulation games
• Computing the estimator-controller form of a compensator
• Computation and control. Proceedings of the Bozeman conference, Bozeman, Montana/USA, August 1-11, 1988
• Computer-intensive methods in control and signal processing. The curse of dimensionality
• Interface simulation distances
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Quantifying conformance using the Skorokhod metric
• Hybrid Systems: Computation and Control
• Approximate bisimulation: a bridge between computer science and control theory
• Simulation distances

This page was built for publication: Toward an approximation theory for computerised control

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