scientific article; zbMATH DE number 1956636

MaRDI QIDQ4417997zbMATH OpenFDO

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

Publication date 30 July 2003

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
• scientific article; zbMATH DE number 1705168

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:

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