Continuous-time models for system design and analysis

DOI10.1007/978-3-319-91908-9_22zbMath1485.93204OpenAlexW2977566895MaRDI QIDQ2075779

Yanyan Li

Publication date: 16 February 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_22

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Design techniques (robust design, computer-aided design, etc.) (93B51) Networked control (93B70) Computational methods for problems pertaining to systems and control theory (93-08)

Related Items (2)

Geometric Model Checking of Continuous Space ⋮ Symbolic analysis of linear hybrid automata -- 25 years later

Uses Software

• Uppaal

This page was built for publication: Continuous-time models for system design and analysis