On systematic simulation of open continuous systems

DOI10.1007/3-540-36580-X_22MaRDI QIDQ4417997zbMATH OpenFDO

Authors James Kapinski, Oded Maler, Olaf Stursberg, Bruce H. Krogh

Publication date 30 July 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/2623/26230283.htm

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Systematic Simulation Using Sensitivity Analysis
• scientific article; zbMATH DE number 7361375
• Simulation-equivalent reachability of large linear systems with inputs
• Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
• Simulation revisited

Cited in

(7)

• Forward and backward simulations. I. Untimed Systems
• Simulating R Systems by P Systems
• Systematic Simulation Using Sensitivity Analysis
• Bounded and Unbounded Safety Verification Using Bisimulation Metrics
• scientific article; zbMATH DE number 53442 (Why is no real title available?)
• Robustness of temporal logic specifications for continuous-time signals
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

This page was built for publication: On systematic simulation of open continuous systems

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