Kwon, YoungMin; Kim, Eunhee Bounded model checking of hybrid systems for control. (English) Zbl 1360.93078 IEEE Trans. Autom. Control 60, No. 11, 2961-2976 (2015). Editorial remark: No review copy delivered. Cited in 1 ReviewCited in 3 Documents MSC: 93A30 Mathematical modelling of systems (MSC2010) 68Q60 Specification and verification (program logics, model checking, etc.) 68Q45 Formal languages and automata PDFBibTeX XMLCite \textit{Y. Kwon} and \textit{E. Kim}, IEEE Trans. Autom. Control 60, No. 11, 2961--2976 (2015; Zbl 1360.93078) Full Text: DOI