A bounded model checking technique for discrete-time nonlinear systems
From MaRDI portal
Publication:6546447
DOI10.1007/978-3-031-43835-6_5MaRDI QIDQ6546447
Gul A. Agha, Eun-Hee Kim, YoungMin Kwon
Publication date: 29 May 2024
System identification (93B30) Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Generalized predictive control. I: The basic algorithm
- A theory of timed automata
- Uppaal in a nutshell
- STL model checking of continuous and hybrid systems
- A design of GPU-based quantitative model checking
- Bounded Model Checking of Hybrid Systems for Control
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
This page was built for publication: A bounded model checking technique for discrete-time nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546447)
