_K -constraints for hybrid systems

DOI10.1007/978-3-642-11486-1_20zbMATH Open1274.68127OpenAlexW2106517033MaRDI QIDQ3402282FDOQ3402282

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

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

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

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)