Σ K –constraints for Hybrid Systems

DOI10.1007/978-3-642-11486-1_20zbMath1274.68127OpenAlexW2106517033MaRDI QIDQ3402282

Oleg V. Kudinov, Margarita 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)

This page was built for publication: Σ K –constraints for Hybrid Systems