Bounded Model Checking of Hybrid Systems for Control

DOI10.1109/TAC.2015.2417839zbMath1360.93078OpenAlexW2052868267WikidataQ56918330 ScholiaQ56918330MaRDI QIDQ2982511

Eun-Hee Kim, YoungMin Kwon

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2015.2417839

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Quantitative Model Checking for a Controller Design ⋮ A design of GPU-based quantitative model checking ⋮ Controller design for discrete-time hybrid linear parameter-varying systems with semi-Markov mode switching

This page was built for publication: Bounded Model Checking of Hybrid Systems for Control