A partial order approach to discrete dynamic feedback in a class of hybrid systems

Authors:
Domitilla Del Vecchio
Affiliations:
University of Michigan, Department of Electrical Engineering and Computer Science, Ann Arbor, MI
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

Citing 4
Cited 2

Mathematical control theory: deterministic finite dimensional systems (2nd ed.)

Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Symbolic Controller Synthesis for Discrete and Timed Systems

Hybrid Systems II
Viable Control of Hybrid Systems

Hybrid Systems II
Discrete state estimators for systems on a lattice

Automatica (Journal of IFAC)

A separation principle for a class of hybrid automata on a partial order

ACC'09 Proceedings of the 2009 conference on American Control Conference
Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial Order

SIAM Journal on Control and Optimization

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are available for measurement. The contribution of the present paper is twofold. First, a novel framework for performing dynamic feedback is proposed which relies on partial orders on the sets of inputs and of discrete states. Within this framework, a state estimator updates a lower and an upper bound of the set of current states. A controller then uses such upper and lower bounds to compute the upper and lower bounds of the set of inputs that maintain the current state in a desired set. Second, we show that under dynamic controllability assumptions, the conditions that allow to apply the developed algorithms can always be verified. Therefore, the partial order approach to dynamic feedback is general. A multi-robot system is presented to show the computational advantages in a system in which the size of the state set can be so large as to render enumeration and exhaustive techniques inapplicable.