This technical note is concerned with the problem of simultaneous design of observers and
controllers for a class of piecewise-affine systems against signal quantization occurring in …

A probabilistic Boolean network (PBN) is a collection of Boolean networks endowed with a
probability structure describing the likelihood with which a constituent network is active at …

This work puts forward a novel technique to generate finite abstractions of autonomous and
nonautonomous Max-Plus-Linear (MPL) models, a class of discrete-event systems used to …

This paper investigates stability analysis for piecewise affine (PWA) systems and specifically
contributes a new robust model predictive control strategy for PWA systems in the presence …

In this paper, we propose a definition of equivalence via stochastic bisimulation for the class
of discrete-time stochastic linear control systems with possibly degenerate normally …

A new event-triggered model predictive control (MPC) method is proposed for PWA systems
with model-plant mismatch, such that, for a given asymptotically constant reference signal …

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 …

For discrete-time piecewise affine systems, exponential stability and quadratic performance
are analyzed in the presence of disturbances. Our approach is based on constructing a …

The main aim of the paper is to analyse effectiveness of the approximation method from the
nonlinear discretised into discrete piece-wise affine model. Accuracy and numerical …

In this paper we propose definitions of equivalence via stochastic bisimulation and of
equivalence of stochastic external behavior for the class of discrete-time stochastic …