_K -constraints for hybrid systems

DOI10.1007/978-3-642-11486-1_20MaRDI QIDQ3402282zbMATH OpenOpenAlexFDO

Authors Oleg Kudinov, M. V. Korovina

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11486-1_20

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Recommendations

• Constraints for Continuous Reachability in the Verification of Hybrid Systems
• Constraint-Based Approach for Analysis of Hybrid Systems
• scientific article; zbMATH DE number 1522990
• Symbolic verification of hybrid systems: an algebraic approach
• Constraint nets: a semantic model for hybrid dynamic systems

Cited in

(1)

• Hybrid Systems with Constraints

This page was built for publication: \(\Sigma _{K }\)-constraints for hybrid systems

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