96 search results - page 5 / 20 » A symbolic approach to controlling piecewise affine systems |
JIRS
2006
14 years 9 months ago
2006
This paper deals with a novel method of continuous-time model-predictive control for nonlinear time-delayed systems. The problems relating to time delays are solved by incorporatin...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Stabilizability of linear time invariant networked systems of general structure is studied with an observer-based approach. In the assumption of piecewise constant controls an ...
79
Voted
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...