Symbolic models and control of discrete-time piecewise affine systems: An approximate simulation approach
G Pola, MD Di Benedetto - IEEE Transactions on Automatic …, 2013 - ieeexplore.ieee.org
Symbolic models have been recently used as a sound mathematical formalism for the formal
verification and control design of purely continuous and hybrid systems. In this note we …
verification and control design of purely continuous and hybrid systems. In this note we …
Approximate bisimulations for constrained discrete-time linear systems (ICCAS 2015)
G Ma, L Qin, X Liu, C Shi, G Wu - 2015 15th International …, 2015 - ieeexplore.ieee.org
In this paper, we consider the problem of approximate bisimulations for constrained discrete-
time linear systems. First, we develop a theory of approximation for transition systems with …
time linear systems. First, we develop a theory of approximation for transition systems with …
Analysis for a class of discrete-time switched systems via approximate bisimulations
G Ma, X Liu - 2016 12th World Congress on Intelligent Control …, 2016 - ieeexplore.ieee.org
The problem of approximate bisimulations for incrementally stable discrete-time switched
systems is investigated. First, a theory of approximation for transition systems with …
systems is investigated. First, a theory of approximation for transition systems with …
On Analysis of Discrete-time Piecewise Affine Systems
S Mirzazad-Barijough - 2013 - etda.libraries.psu.edu
Piecewise affine systems play an important role in tractable modeling of general nonlinear
systems. A piecewise affine system models a nonlinear system as a finite number of affine …
systems. A piecewise affine system models a nonlinear system as a finite number of affine …
[图书][B] On analysis of discrete-time piecewise affine systems
SM Barijough - 2013 - search.proquest.com
Piecewise affine systems play an important role in tractable modeling of general nonlinear
systems. A piecewise affne system models a nonlinear system as a finite number of affine …
systems. A piecewise affne system models a nonlinear system as a finite number of affine …