Controlling a Class of Nonlinear Systems on Rectangles

Departments of Manuf. & Aerosp. & Mech. Eng., Boston Univ., Brookline, MA
IEEE Transactions on Automatic Control (Impact Factor: 3.17). 12/2006; DOI: 10.1109/TAC.2006.884957
Source: IEEE Xplore

ABSTRACT In this paper, we focus on a particular class of nonlinear affine control systems of the form xdot=f(x)+Bu, where the drift f is a multi-affine vector field (i.e., affine in each state component), the control distribution B is constant, and the control u is constrained to a convex set. For such a system, we first derive necessary and sufficient conditions for the existence of a multiaffine feedback control law keeping the system in a rectangular invariant. We then derive sufficient conditions for driving all initial states in a rectangle through a desired facet in finite time. If the control constraints are polyhedral, we show that all these conditions translate to checking the feasibility of systems of linear inequalities to be satisfied by the control at the vertices of the state rectangle. This work is motivated by the need to construct discrete abstractions for continuous and hybrid systems, in which analysis and control tasks specified in terms of reachability of sets of states can be reduced to searches on finite graphs. We show the application of our results to the problem of controlling the angular velocity of an aircraft with gas jet actuators

  • [Show abstract] [Hide abstract]
    ABSTRACT: We develop a framework for optimal control policy synthesis for non-deterministic transition systems subject to temporal logic specifications. We use a fragment of temporal logic to specify tasks such as safe navigation, response to the environment, persistence, and surveillance. By restricting specifications to this fragment, we avoid a potentially doubly-exponential automaton construction. We compute feasible control policies for non-deterministic transition systems in time polynomial in the size of the system and specification. We also compute optimal control policies for average, minimax (bottleneck), and average cost-per-task-cycle cost functions. We highlight several interesting cases when optimal policies can be computed in time polynomial in the size of the system and specification. Additionally, we make connections between computing optimal control policies for an average cost-per-task-cycle cost function and the generalized traveling salesman problem. We give simulation results for motion planning problems.
    2013 IEEE 52nd Annual Conference on Decision and Control (CDC); 12/2013
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This thesis addresses the definition and the application of formal techniques in the field of Computational Systems Biology, with particular focus on bone remodelling (BR), the cellular process of bone renewal, and on the analysis and control of disease processes. Firstly, we study the multiscale and spatial mechanisms that connects disruptions at the molecular signalling level, to osteoporosis and other diseases characterized by low bone mass and structural weakening at the tissue level. We define a modelling framework based on a formal specification language which extends the Shape Calculus, a process algebra with spatial and geometrical primitives. The executable side is obtained by encoding the specification into an agent-based model, where agents are enriched with stochastic actions and perception. This framework is used to define a novel spatial and individual-based model of bone remodelling, parametrized in order to reproduce both healthy and osteoporotic conditions, and to analyse how the disposition of bone cells affects bone microstructure at the tissue level. Secondly, we propose a methodological study aiming at evaluating and comparing different models of bone remodelling and different techniques for the analysis of bone diseases and of stabilization and homeostasis-related properties. We consider a non-linear ODE model, over which we perform simulation and sensitivity analysis; a stochastic model on which we employ probabilistic model checking; and a hybrid piecewise-multiaffine approximation of the ODEs, supporting model checking and LTL-based parameter synthesis. We extend the model in order to describe osteoporosis and osteomyelitis (a bone infection) and we show how quantitative verification methods could provide clinically meaningful diagnostic estimators. Thirdly, we investigate the use of formal languages and hybrid techniques in the modelling of disease processes and in the synthesis of treatment strategies. In particular, hybrid models allow us to describe the disease dynamics in a continuous fashion, while the scheduling of multiple drugs discretely. We define a process-algebraic language for specifying general disease processes and treatments, called D-CGF (an extension to the CGF process algebra), from which multiple semantics can be derived: stochastic hybrid automata and hybrid dynamical systems. Then, hybrid non-linear control is employed to compute the optimal scheduling of multiple therapies. The approach is applied to an epidemic model of the H1N1 influenza, where we derive the optimal combination of vaccination and antiviral treatments.
    03/2014, Degree: PhD, Supervisor: Emanuela Merelli
  • [Show abstract] [Hide abstract]
    ABSTRACT: Abstraction-based approaches to the design of complex control systems construct finite-state models that are formally related to the original control systems, then leverage symbolic techniques from finite-state synthesis to compute controllers satisfying specifications given in a temporal logic, and finally refine the obtained control schemes back to the given concrete complex models. While such approaches have been successfully used to perform synthesis over non-probabilistic control systems, there are only few results available for probabilistic models: hence the goal of this paper, which considers continuous-time controlled stochastic differential equations. We show that for every stochastic control system satisfying a stochastic version of incremental input-to-state stability, and for every ε > 0, there exists a finite-state abstraction that is ε-approximate bisimilar to the stochastic control system (in the sense of moments). We demonstrate the effectiveness of the construction by synthesizing a controller for a stochastic control system with respect to linear temporal logic specifications. Since stochastic control systems are a common mathematical models for many complex safety critical systems subject to uncertainty, our techniques promise to enable a new, automated, correct-by-construction controller synthesis approach for these systems.
    2013 IEEE 52nd Annual Conference on Decision and Control (CDC); 12/2013


Available from