Bounded Model Checking of Hybrid Systems for Control

DOI10.1109/TAC.2015.2417839MaRDI QIDQ2982511zbMATH OpenOpenAlexWikidataFDO

Authors YoungMin Kwon, Eun-Hee Kim

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)

Cited in

(6)

• Controller design for discrete-time hybrid linear parameter-varying systems with semi-Markov mode switching
• A design of GPU-based quantitative model checking
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• Quantitative Model Checking for a Controller Design
• A bounded model checking technique for discrete-time nonlinear systems
• A finite state automaton for quantum computing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982511)