wikidata.org
International Conference on Hybrid Systems: Computation and Control
container_hvggws4aarca5da3cwlmumbtr4
Homepage URLs
http://www.wikicfp.com/cfp/program?id=1235 |
Example Publications
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems
Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
2020
|
International Conference on Hybrid Systems: Computation and Control
doi:10.1145/3365365.3382223 dblp:conf/hybrid/HanMS20
Local lipschitzness of reachability maps for hybrid systems with applications to safety
Mohamed Maghenem, Ricardo G. Sanfelice
2020
|
International Conference on Hybrid Systems: Computation and Control
doi:10.1145/3365365.3382215 dblp:conf/hybrid/MaghenemS20
Robust output feedback control with guaranteed constraint satisfaction
Sadra Sadraddini, Russ Tedrake
2020
|
International Conference on Hybrid Systems: Computation and Control
doi:10.1145/3365365.3382211 dblp:conf/hybrid/SadraddiniT20
Convergence of ant colony multi-agent swarms
Daniel Jarne Ornia, Manuel Mazo
2020
|
International Conference on Hybrid Systems: Computation and Control
doi:10.1145/3365365.3382199 dblp:conf/hybrid/OrniaM20
Implicit structural analysis of multimode DAE systems
Benoît Caillaud, Mathias Malandain, Joan Thibault
2020
|
International Conference on Hybrid Systems: Computation and Control
doi:10.1145/3365365.3382201 dblp:conf/hybrid/CaillaudMT20