-
Memoryless concretization relation
Authors:
Julien Calbert,
Sébastien Mattenet,
Antoine Girard,
Raphaël M. Jungers
Abstract:
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify the controller architecture. In the case of ASR, the concretized controller needs to simulate the concurrent evolution of two systems, the original and…
▽ More
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify the controller architecture. In the case of ASR, the concretized controller needs to simulate the concurrent evolution of two systems, the original and abstract systems, while for MCR, the designed controllers only need knowledge of the current concrete state. We demonstrate that the distinction between ASR and MCR becomes significant only when a non-deterministic quantizer is involved, such as in cases where the state space discretization consists of overlap** cells. We also show that any abstraction of a system that alternatingly simulates a system can be completed to satisfy MCR at the expense of increasing the non-determinism in the abstraction. We clarify the difference between the MCR and the feedback refinement relation (FRR), showing in particular that the former allows for non-constant controllers within cells. This provides greater flexibility in constructing a practical abstraction, for instance, by reducing non-determinism in the abstraction. Finally, we prove that this relation is not only sufficient, but also necessary, for ensuring the above properties.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
Authors:
Xiao Li,
Yutong Li,
Anouck Girard,
Ilya Kolmanovsky
Abstract:
The Neural Network (NN), as a black-box function approximator, has been considered in many control and robotics applications. However, difficulties in verifying the overall system safety in the presence of uncertainties hinder the deployment of NN modules in safety-critical systems. In this paper, we leverage the NNs as predictive models for trajectory tracking of unknown dynamical systems. We con…
▽ More
The Neural Network (NN), as a black-box function approximator, has been considered in many control and robotics applications. However, difficulties in verifying the overall system safety in the presence of uncertainties hinder the deployment of NN modules in safety-critical systems. In this paper, we leverage the NNs as predictive models for trajectory tracking of unknown dynamical systems. We consider controller design in the presence of both intrinsic uncertainty and uncertainties from other system modules. In this setting, we formulate the constrained trajectory tracking problem and show that it can be solved using Mixed-integer Linear Programming (MILP). The proposed MILP-based approach is empirically demonstrated in robot navigation and obstacle avoidance through simulations. The demonstration videos are available at https://xiaolisean.github.io/publication/2023-11-01-L4DC2024.
△ Less
Submitted 19 May, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Dimensionless Policies based on the Buckingham $π$ Theorem: Is This a Good Way to Generalize Numerical Results?
Authors:
Alexandre Girard
Abstract:
The answer to the question posed in the title is yes if the context (the list of variables defining the motion control problem) is dimensionally similar. This article explores the use of the Buckingham $π$ theorem as a tool to encode the control policies of physical systems into a more generic form of knowledge that can be reused in various situations. This approach can be interpreted as enforcing…
▽ More
The answer to the question posed in the title is yes if the context (the list of variables defining the motion control problem) is dimensionally similar. This article explores the use of the Buckingham $π$ theorem as a tool to encode the control policies of physical systems into a more generic form of knowledge that can be reused in various situations. This approach can be interpreted as enforcing invariance to the scaling of the fundamental units in an algorithm learning a control policy. First, we show, by restating the solution to a motion control problem using dimensionless variables, that (1) the policy map** involves a reduced number of parameters and (2) control policies generated numerically for a specific system can be transferred exactly to a subset of dimensionally similar systems by scaling the input and output variables appropriately. Those two generic theoretical results are then demonstrated, with numerically generated optimal controllers, for the classic motion control problem of swinging up a torque-limited inverted pendulum and positioning a vehicle in slippery conditions. We also discuss the concept of regime, a region in the space of context variables, that can help to relax the similarity condition. Furthermore, we discuss how applying dimensional scaling of the input and output of a context-specific black-box policy is equivalent to substituting new system parameters in an analytical equation under some conditions, using a linear quadratic regulator (LQR) and a computed torque controller as examples. It remains to be seen how practical this approach can be to generalize policies for more complex high-dimensional problems, but the early results show that it is a promising transfer learning tool for numerical approaches like dynamic programming and reinforcement learning.
△ Less
Submitted 28 February, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Safe Control and Learning Using Generalized Action Governor
Authors:
Nan Li,
Yutong Li,
Ilya Kolmanovsky,
Anouck Girard,
H. Eric Tseng,
Dimitar Filev
Abstract:
This paper introduces the Generalized Action Governor, which is a supervisory scheme for augmenting a nominal closed-loop system with the capability of strictly handling constraints. After presenting its theory for general systems and introducing tailored design approaches for linear and discrete systems, we discuss its application to safe online learning, which aims to safely evolve control param…
▽ More
This paper introduces the Generalized Action Governor, which is a supervisory scheme for augmenting a nominal closed-loop system with the capability of strictly handling constraints. After presenting its theory for general systems and introducing tailored design approaches for linear and discrete systems, we discuss its application to safe online learning, which aims to safely evolve control parameters using real-time data to improve performance for uncertain systems. In particular, we propose two safe learning algorithms based on integration of reinforcement learning/data-driven Koopman operator-based control with the generalized action governor. The developments are illustrated with a numerical example.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
On the economic viability of solar energy when upgrading cellular networks
Authors:
Zineb Garroussi,
Abdoul Wassi Badirou,
Mathieu D'amours,
André Girard,
Brunilde Sansò
Abstract:
The massive increase of data traffic, the widespread proliferation of wireless applications and the full-scale deployment of 5G and the IoT, imply a steep increase in cellular networks energy use, resulting in a significant carbon footprint. This paper presents a comprehensive model to show the interaction between the networking and energy features of the problem and study the economical and techn…
▽ More
The massive increase of data traffic, the widespread proliferation of wireless applications and the full-scale deployment of 5G and the IoT, imply a steep increase in cellular networks energy use, resulting in a significant carbon footprint. This paper presents a comprehensive model to show the interaction between the networking and energy features of the problem and study the economical and technical viability of green networking. Solar equipment, cell zooming, energy management and dynamic user allocation are considered in the upgrading network planning process. We propose a mixed-integer optimization model to minimize long-term capital costs and operational energy expenditures in a heterogeneous on-grid cellular network with different types of base station, including solar. Based on eight scenarios where realistic costs of solar panels, batteries, and inverters were considered, we first found that solar base stations are currently not economically interesting for cellular operators. We next studied the impact of a significant and progressive carbon tax on reducing greenhouse gas emissions (GHG). We found that, at current energy and equipment prices, a carbon tax ten-fold the current value is the only element that could make green base stations economically viable.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Chance-Constrained Controller State and Reference Governor
Authors:
Nan Li,
Anouck Girard,
Ilya Kolmanovsky
Abstract:
The controller state and reference governor (CSRG) is an add-on scheme for nominal closed-loop systems with dynamic controllers which supervises the controller internal state and the reference input to the closed-loop system to enforce pointwise-in-time constraints. By admitting both controller state and reference modifications, the CSRG can achieve an enlarged constrained domain of attraction com…
▽ More
The controller state and reference governor (CSRG) is an add-on scheme for nominal closed-loop systems with dynamic controllers which supervises the controller internal state and the reference input to the closed-loop system to enforce pointwise-in-time constraints. By admitting both controller state and reference modifications, the CSRG can achieve an enlarged constrained domain of attraction compared to conventional reference governor schemes where only reference modification is permitted. This paper studies the CSRG for systems subject to stochastic disturbances and chance constraints. We describe the CSRG algorithm in such a stochastic setting and analyze its theoretical properties, including chance-constraint enforcement, finite-time reference convergence, and closed-loop stability. We also present examples illustrating the application of CSRG to constrained aircraft flight control.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Action Governor for Discrete-Time Linear Systems with Non-Convex Constraints
Authors:
Nan Li,
Kyoungseok Han,
Anouck Girard,
H. Eric Tseng,
Dimitar Filev,
Ilya Kolmanovsky
Abstract:
This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary, the nominal control signal to a constraint-admissible one. The AG operates based on set-theoretic techniques and online optimization. This paper establishes its…
▽ More
This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary, the nominal control signal to a constraint-admissible one. The AG operates based on set-theoretic techniques and online optimization. This paper establishes its theoretical foundation, discusses its computational realization, and uses two simulation examples to illustrate its effectiveness.
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
A Novel Approach for Optimal Trajectory Design with Multiple Operation Modes of Propulsion System, Part 2
Authors:
Ehsan Taheri,
John L. Junkins,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
Equip** a spacecraft with multiple solar-powered electric engines (of the same or different types) compounds the task of optimal trajectory design due to presence of both real-valued inputs (power input to each engine in addition to the direction of thrust vector) and discrete variables (number of active engines). Each engine can be switched on/off independently and "optimal" operating power of…
▽ More
Equip** a spacecraft with multiple solar-powered electric engines (of the same or different types) compounds the task of optimal trajectory design due to presence of both real-valued inputs (power input to each engine in addition to the direction of thrust vector) and discrete variables (number of active engines). Each engine can be switched on/off independently and "optimal" operating power of each engine depends on the available solar power, which depends on the distance from the Sun. Application of the Composite Smooth Control (CSC) framework to a heliocentric fuel-optimal trajectory optimization from the Earth to the comet 67P/Churyumov-Gerasimenko is demonstrated, which presents a new approach to deal with multiple-engine problems. Operation of engine clusters with 4, 6, 10 and even 20 engines of the same type can be optimized. Moreover, engine clusters with different/mixed electric engines are considered with either 2, 3 or 4 different types of engines. Remarkably, the CSC framework allows us 1) to reduce the original multi-point boundary-value problem to a two-point boundary-value problem (TPBVP), and 2) to solve the resulting TPBVPs using a single-shooting solution scheme and with a random initialization of the missing costates. While the approach we present is a continuous neighbor of the discontinuous extremals, we show that the discontinuous necessary conditions are satisfied in the asymptotic limit. We believe this is the first indirect method to accommodate a multi-mode control of this level of complexity with realistic engine performance curves. The results are interesting and promising for dealing with a large family of such challenging multi-mode optimal control problems.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
A Novel Approach for Optimal Trajectory Design with Multiple Operation Modes of Propulsion System, Part 1
Authors:
Ehsan Taheri,
John L. Junkins,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
Efficient performance of a number of engineering systems is achieved through different modes of operation - yielding systems described as "hybrid", containing both real-valued and discrete decision variables. Prominent examples of such systems, in space applications, could be spacecraft equipped with 1) a variable-$I_{\text{sp}}$, variable-thrust engine or 2) multiple engines each capable of switc…
▽ More
Efficient performance of a number of engineering systems is achieved through different modes of operation - yielding systems described as "hybrid", containing both real-valued and discrete decision variables. Prominent examples of such systems, in space applications, could be spacecraft equipped with 1) a variable-$I_{\text{sp}}$, variable-thrust engine or 2) multiple engines each capable of switching on/off independently. To alleviate the challenges that arise when an indirect optimization method is used, a new framework --- Composite Smooth Control (CSC) --- is proposed that seeks smoothness over the entire spectrum of distinct control inputs. A salient aftermath of the application of the CSC framework is that the original multi-point boundary-value problem can be treated as a two-point boundary-value problem with smooth, differentiable control inputs; the latter is notably easier to solve, yet can be made to accurately approximate the former hybrid problem. The utility of the CSC framework is demonstrated through a multi-year, multi-revolution heliocentric fuel-optimal trajectory for a spacecraft equipped with a variable-$I_{\text{sp}}$, variable-thrust engine.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
A Reference Governor for Nonlinear Systems with Disturbance Inputs Based on Logarithmic Norms and Quadratic Programming
Authors:
Nan Li,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
This note describes a reference governor design for a continuous-time nonlinear system with an additive disturbance. The design is based on predicting the response of the nonlinear system by the response of a linear model with a set-bounded prediction error, where a state-and-input dependent bound on the prediction error is explicitly characterized using logarithmic norms. The online optimization…
▽ More
This note describes a reference governor design for a continuous-time nonlinear system with an additive disturbance. The design is based on predicting the response of the nonlinear system by the response of a linear model with a set-bounded prediction error, where a state-and-input dependent bound on the prediction error is explicitly characterized using logarithmic norms. The online optimization is reduced to a convex quadratic program with linear inequality constraints. Two numerical examples are reported.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Detection-averse optimal and receding-horizon control for Markov decision processes
Authors:
Nan Li,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
In this paper, we consider a Markov decision process (MDP), where the ego agent has a nominal objective to pursue while needs to hide its state from detection by an adversary. After formulating the problem, we first propose a value iteration (VI) approach to solve it. To overcome the "curse of dimensionality" and thus gain scalability to larger-sized problems, we then propose a receding-horizon op…
▽ More
In this paper, we consider a Markov decision process (MDP), where the ego agent has a nominal objective to pursue while needs to hide its state from detection by an adversary. After formulating the problem, we first propose a value iteration (VI) approach to solve it. To overcome the "curse of dimensionality" and thus gain scalability to larger-sized problems, we then propose a receding-horizon optimization (RHO) approach to obtain approximate solutions. We use examples to illustrate and compare the VI and RHO approaches, and to show the potential of our problem formulation for practical applications.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
An analytical safe approximation to joint chance-constrained programming with additive Gaussian noises
Authors:
Nan Li,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
We propose a safe approximation to joint chance-constrained programming where the constraint functions are additively dependent on a normally-distributed random vector. The approximation is analytical, meaning that it requires neither numerical integrations nor sampling-based probability approximations. Under mild assumptions, the approximation is a standard nonlinear program. We compare this new…
▽ More
We propose a safe approximation to joint chance-constrained programming where the constraint functions are additively dependent on a normally-distributed random vector. The approximation is analytical, meaning that it requires neither numerical integrations nor sampling-based probability approximations. Under mild assumptions, the approximation is a standard nonlinear program. We compare this new safe approximation to another analytical safe approximation for joint chance-constrained programming based on Boole's inequality through two examples representing the constrained control of linear Gaussian-Markov models. It is shown that our proposed safe approximation has a lower degree of conservatism compared to the one based on Boole's inequality.
△ Less
Submitted 2 March, 2019;
originally announced March 2019.
-
Planning Solar in Energy-managed Cellular Networks
Authors:
Mathieu D'Amours,
André Girard,
Brunilde Sansò
Abstract:
There has been a lot of interest recently on the energy efficiency and environmental impact of wireless networks. Given that the base stations are the network elements that use most of this energy, much research has dealt with ways to reduce the energy used by the base stations by turning them off during periods of low load. In addition to this, installing a solar harvesting sys- tem composed of s…
▽ More
There has been a lot of interest recently on the energy efficiency and environmental impact of wireless networks. Given that the base stations are the network elements that use most of this energy, much research has dealt with ways to reduce the energy used by the base stations by turning them off during periods of low load. In addition to this, installing a solar harvesting sys- tem composed of solar panels, batteries, charge con- trollers and inverters is another way to further reduce the network environmental impact and some research has been dealing with this for individual base stations. In this paper, we show that both techniques are tightly coupled. We propose a mathematical model that captures the synergy between solar installation over a network and the dynamic operation of energy-managed base stations. We study the interactions between the two methods for networks of hundreds of base stations and show that the order in which each method is intro- duced into the system does make a difference in terms of cost and performance. We also show that installing solar is not always the best solution even when the unit cost of the solar energy is smaller than the grid cost. We conclude that planning the solar installation and energy management of the base stations have to be done jointly.
△ Less
Submitted 27 August, 2018;
originally announced September 2018.
-
Optimal Strategies for Disjunctive Sensing and Control
Authors:
Richard L Sutherland,
Ilya V Kolmanovsky,
Anouck R Girard,
Frederick A Leve,
Christopher D Petersen
Abstract:
A disjunctive sensing and actuation problem is considered in which the actuators and sensors are prevented from operating together over any given time step. This problem is motivated by practical applications in the area of spacecraft control. Assuming a linear system model with stochastic process disturbance and measurement noise, a procedure to construct a periodic sequence that ensures bounded…
▽ More
A disjunctive sensing and actuation problem is considered in which the actuators and sensors are prevented from operating together over any given time step. This problem is motivated by practical applications in the area of spacecraft control. Assuming a linear system model with stochastic process disturbance and measurement noise, a procedure to construct a periodic sequence that ensures bounded states and estimation error covariance is described along with supporting analysis results. The procedure is also extended to ensure eventual satisfaction of probabilistic chance constraints on the state. The proposed scheme demonstrates good performance in simulations for spacecraft relative motion control.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Attitude Control of a 2U Cubesat by Magnetic and Air Drag Torques
Authors:
Richard Sutherland,
Ilya Kolmanovsky,
Anouck Girard
Abstract:
This paper describes the development of a magnetic attitude control subsystem for a 2U cubesat. Due to the presence of gravity gradient torques, the satellite dynamics are open-loop unstable near the desired pointing configuration. Nevertheless the linearized time-varying system is completely controllable, under easily verifiable conditions, and the system's disturbance rejection capabilities can…
▽ More
This paper describes the development of a magnetic attitude control subsystem for a 2U cubesat. Due to the presence of gravity gradient torques, the satellite dynamics are open-loop unstable near the desired pointing configuration. Nevertheless the linearized time-varying system is completely controllable, under easily verifiable conditions, and the system's disturbance rejection capabilities can be enhanced by adding air drag panels exemplifying a beneficial interplay between hardware design and control. In the paper, conditions for the complete controllability for the case of a magnetically controlled satellite with passive air drag panels are developed, and simulation case studies with the LQR and MPC control designs applied in combination with a nonlinear time-varying input transformation are presented to demonstrate the ability of the closed-loop system to satisfy mission objectives despite disturbance torques.
△ Less
Submitted 16 July, 2017;
originally announced July 2017.
-
Constrained Spacecraft Relative Motion Planning Exploiting Periodic Natural Motion Trajectories and Invariance
Authors:
Gregory R. Frey,
Christopher D. Petersen,
Frederick A. Leve,
Ilya V. Kolmanovsky,
Anouck R. Girard
Abstract:
Spacecraft relative motion planning is concerned with the design and execution of maneuvers relative to a nominal target. These types of maneuvers are frequently utilized in missions such as rendezvous and docking, satellite inspection and formation flight where exclusion zones representing spacecraft or other obstacles must be avoided. The presence of these exclusion zones leads to non-linear and…
▽ More
Spacecraft relative motion planning is concerned with the design and execution of maneuvers relative to a nominal target. These types of maneuvers are frequently utilized in missions such as rendezvous and docking, satellite inspection and formation flight where exclusion zones representing spacecraft or other obstacles must be avoided. The presence of these exclusion zones leads to non-linear and non-convex constraints which must be satisfied. In this paper, a novel approach to spacecraft relative motion planning with obstacle avoidance and thrust constraints is developed. This approach is based on a graph search applied to a virtual net of closed (periodic) natural motion trajectories, where the natural motion trajectories represent virtual net nodes (vertices), and adjacency and connection information is determined by conditions defined in terms of safe, positively-invariant tubes built around each trajectory. These conditions guarantee that transitions from one natural motion trajectory to another natural motion trajectory can be completed without constraint violations. The proposed approach improves the flexibility of a previous approach based on the use of forced equilibria, and has other advantages in terms of reduced fuel consumption and passive safety. The resulting maneuvers, if planned on-board, can be executed directly or, if planned off board, can be used to warm start trajectory optimizers to generate further improvements.
△ Less
Submitted 21 June, 2017; v1 submitted 18 March, 2017;
originally announced March 2017.
-
Reference Governor Strategies for Vehicle Rollover Avoidance
Authors:
Ricardo Bencatel,
Anouck Girard,
Ilya Kolmanovsky
Abstract:
The paper addresses the problem of vehicle rollover avoidance using reference governors applied to modify the driver steering input in vehicles with an active steering system. Several reference governor designs are presented and tested with a detailed nonlinear simulation model. The vehicle dynamics are highly nonlinear for large steering angles, including the conditions where the vehicle approach…
▽ More
The paper addresses the problem of vehicle rollover avoidance using reference governors applied to modify the driver steering input in vehicles with an active steering system. Several reference governor designs are presented and tested with a detailed nonlinear simulation model. The vehicle dynamics are highly nonlinear for large steering angles, including the conditions where the vehicle approaches a rollover onset, which necessitates reference governor design changes. Simulation results show that reference governor designs are effective in avoiding rollover. The results also demonstrate that the controllers are not overly conservative, adjusting the driver steering input only for very high steering angles.
△ Less
Submitted 7 August, 2016;
originally announced August 2016.
-
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
Authors:
Majid Zamani,
Alessandro Abate,
Antoine Girard
Abstract:
Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to t…
▽ More
Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to the verification of and the controller synthesis for logic specifications have not been formally investigated for this class of systems as of yet. With logic specifications we mean properties expressed as formulae in linear temporal logic or as automata on infinite strings. This paper addresses these complex objectives by constructively deriving approximately equivalent (bisimilar) symbolic models of stochastic switched systems. More precisely, this paper provides two different symbolic abstraction techniques: one requires state space discretization, but the other one does not require any space discretization which can be potentially more efficient than the first one when dealing with higher dimensional stochastic switched systems. Both techniques provide finite symbolic models that are approximately bisimilar to stochastic switched systems under some stability assumptions on the concrete model. This allows formally synthesizing controllers (switching signals) that are valid for the concrete system over the finite symbolic model, by means of mature automata-theoretic techniques in the literature. The effectiveness of the results are illustrated by synthesizing switching signals enforcing logic specifications for two case studies including temperature control of a six-room building.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Stability of switched linear hyperbolic systems by Lyapunov techniques (full version)
Authors:
Christophe Prieur,
Antoine Girard,
Emmanuel Witrant
Abstract:
Switched linear hyperbolic partial differential equations are considered in this paper. They model infinite dimensional systems of conservation laws and balance laws, which are potentially affected by a distributed source or sink term. The dynamics and the boundary conditions are subject to abrupt changes given by a switching signal, modeled as a piecewise constant function and possibly a dwell ti…
▽ More
Switched linear hyperbolic partial differential equations are considered in this paper. They model infinite dimensional systems of conservation laws and balance laws, which are potentially affected by a distributed source or sink term. The dynamics and the boundary conditions are subject to abrupt changes given by a switching signal, modeled as a piecewise constant function and possibly a dwell time. By means of Lyapunov techniques some sufficient conditions are obtained for the exponential stability of the switching system, uniformly for all switching signals. Different cases are considered with or without a dwell time assumption on the switching signals, and on the number of positive characteristic velocities (which may also depend on the switching signal). Some numerical simulations are also given to illustrate some main results, and to motivate this study.
△ Less
Submitted 18 July, 2013;
originally announced July 2013.
-
Dynamic Triggering Mechanisms for Event-Triggered Control
Authors:
Antoine Girard
Abstract:
In this paper, we present a new class of event triggering mechanisms for event-triggered control systems. This class is characterized by the introduction of an internal dynamic variable, which motivates the proposed name of dynamic event triggering mechanism. The stability of the resulting closed loop system is proved and the influence of design parameters on the decay rate of the Lyapunov functio…
▽ More
In this paper, we present a new class of event triggering mechanisms for event-triggered control systems. This class is characterized by the introduction of an internal dynamic variable, which motivates the proposed name of dynamic event triggering mechanism. The stability of the resulting closed loop system is proved and the influence of design parameters on the decay rate of the Lyapunov function is discussed. For linear systems, we establish a lower bound on the inter-execution time as a function of the parameters. The influence of these parameters on a quadratic integral performance index is also studied. Some simulation results are provided for illustration of the theoretical claims.
△ Less
Submitted 12 September, 2014; v1 submitted 10 January, 2013;
originally announced January 2013.
-
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation
Authors:
Antoine Girard
Abstract:
In this paper, we consider the problem of synthesizing low-complexity controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design naturally quantized switching controllers for…
▽ More
In this paper, we consider the problem of synthesizing low-complexity controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design naturally quantized switching controllers for safety or reachability specifications; these can be pre-computed offline and therefore the online execution time is reduced. Then, we present a technique to reduce the memory needed to store the control law by borrowing ideas from algebraic decision diagrams for compact function representation and by exploiting the non-determinism of the synthesized controllers. We show the merits of our approach by applying it to a simple model of temperature regulation in a building.
△ Less
Submitted 9 February, 2013; v1 submitted 20 September, 2012;
originally announced September 2012.
-
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming
Authors:
Mohamed Amin Ben Sassi,
Antoine Girard
Abstract:
In this paper, we consider a control synthesis problem for a class of polynomial dynamical systems subject to bounded disturbances and with input constraints. More precisely, we aim at synthesizing at the same time a controller and an invariant set for the controlled system under all admissible disturbances. We propose a computational method to solve this problem. Given a candidate polyhedral inva…
▽ More
In this paper, we consider a control synthesis problem for a class of polynomial dynamical systems subject to bounded disturbances and with input constraints. More precisely, we aim at synthesizing at the same time a controller and an invariant set for the controlled system under all admissible disturbances. We propose a computational method to solve this problem. Given a candidate polyhedral invariant, we show that controller synthesis can be formulated as an optimization problem involving polynomial cost functions over bounded polytopes for which effective linear programming relaxations can be obtained. Then, we propose an iterative approach to compute the controller and the polyhedral invariant at once. Each iteration of the approach mainly consists in solving two linear programs (one for the controller and one for the invariant) and is thus computationally tractable. Finally, we show with several examples the usefulness of our method in applications.
△ Less
Submitted 8 July, 2011;
originally announced July 2011.
-
Continuous-time consensus under persistent connectivity and slow divergence of reciprocal interaction weights
Authors:
Samuel Martin,
Antoine Girard
Abstract:
In this paper, we present new results on consensus for continuous-time multi- agent systems. We introduce the assumptions of persistent connectivity of the interaction graph and of slow divergence of reciprocal interaction weights. Persistent connectivity can be considered as the counterpart of the notion of ultimate connectivity used in discrete- time consensus protocols. Slow divergence of recip…
▽ More
In this paper, we present new results on consensus for continuous-time multi- agent systems. We introduce the assumptions of persistent connectivity of the interaction graph and of slow divergence of reciprocal interaction weights. Persistent connectivity can be considered as the counterpart of the notion of ultimate connectivity used in discrete- time consensus protocols. Slow divergence of reciprocal interaction weights generalizes the assumption of cut-balanced interactions. We show that under these two assumptions, the continuous-time consensus protocol succeeds: the states of all the agents converge asymptotically to a common value. Moreover, our proof allows us to give an estimate of the rate of convergence towards the consensus. We also provide two examples that make us think that both of our assumptions are tight.
△ Less
Submitted 6 November, 2012; v1 submitted 13 May, 2011;
originally announced May 2011.
-
Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices
Authors:
Antoine Girard,
Samuel Martin
Abstract:
In this paper, we propose an approach to controller synthesis for a class of constrained nonlinear systems. It is based on the use of a hybridization, that is a hybrid abstraction of the nonlinear dynamics. This abstraction is defined on a triangulation of the state-space where on each simplex of the triangulation, the nonlinear dynamics is conservatively approximated by an affine system subject t…
▽ More
In this paper, we propose an approach to controller synthesis for a class of constrained nonlinear systems. It is based on the use of a hybridization, that is a hybrid abstraction of the nonlinear dynamics. This abstraction is defined on a triangulation of the state-space where on each simplex of the triangulation, the nonlinear dynamics is conservatively approximated by an affine system subject to disturbances. Except for the disturbances, this hybridization can be seen as a piecewise affine hybrid system on simplices for which appealing control synthesis techniques have been developed in the past decade. We extend these techniques to handle systems subject to disturbances by synthesizing and coordinating local robust affine controllers defined on the simplices of the triangulation. We show that the resulting hybrid controller can be used to control successfully the original constrained nonlinear system. Our approach, though conservative, can be fully automated and is computationally tractable. To show its effectiveness in practical applications, we apply our method to control a pendulum mounted on a cart.
△ Less
Submitted 12 September, 2011; v1 submitted 14 March, 2011;
originally announced March 2011.
-
Computation of Polytopic Invariants for Polynomial Dynamical Systems using Linear Programming
Authors:
Mohamed Amin Ben Sassi,
Antoine Girard
Abstract:
This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given instant, it will remain in the set forever in the future. Polytopic invariants for polynomial systems can be verified by solving a set of optimization problems inv…
▽ More
This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given instant, it will remain in the set forever in the future. Polytopic invariants for polynomial systems can be verified by solving a set of optimization problems involving multivariate polynomials on bounded polytopes. Using the blossoming principle together with properties of multi-affine functions on rectangles and Lagrangian duality, we show that certified lower bounds of the optimal values of such optimization problems can be computed effectively using linear programs. This allows us to propose a method based on linear programming for verifying polytopic invariant sets of polynomial dynamical systems. Additionally, using sensitivity analysis of linear programs, one can iteratively compute a polytopic invariant set. Finally, we show using a set of examples borrowed from biological applications, that our approach is effective in practice.
△ Less
Submitted 20 June, 2012; v1 submitted 6 December, 2010;
originally announced December 2010.
-
Controller Synthesis for Safety and Reachability via Approximate Bisimulation
Authors:
Antoine Girard
Abstract:
In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial s…
▽ More
In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved "correct by design". We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use the presented techniques combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.
△ Less
Submitted 16 June, 2011; v1 submitted 22 October, 2010;
originally announced October 2010.
-
Opinion Dynamics with Decaying Confidence: Application to Community Detection in Graphs
Authors:
Irinel Constantin Morarescu,
Antoine Girard
Abstract:
We study a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. We consider a network of agents where each agent has an opinion. At each time step, the agents exchange their opinion with their neighbors and update it by taking into account only the opinions that differ from their own less than some confidence bound. This confidence bound is decaying: an a…
▽ More
We study a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. We consider a network of agents where each agent has an opinion. At each time step, the agents exchange their opinion with their neighbors and update it by taking into account only the opinions that differ from their own less than some confidence bound. This confidence bound is decaying: an agent gives repetitively confidence only to its neighbors that approach sufficiently fast its opinion. Essentially, the agents try to reach an agreement with the constraint that it has to be approached no slower than a prescribed convergence rate. Under that constraint, global consensus may not be achieved and only local agreements may be reached. The agents reaching a local agreement form communities inside the network. In this paper, we analyze this opinion dynamics model: we show that communities correspond to asymptotically connected component of the network and give an algebraic characterization of communities in terms of eigenvalues of the matrix defining the collective dynamics. Finally, we apply our opinion dynamics model to address the problem of community detection in graphs. We propose a new formulation of the community detection problem based on eigenvalues of normalized Laplacian matrix of graphs and show that this problem can be solved using our opinion dynamics model. We consider three examples of networks, and compare the communities we detect with those obtained by existing algorithms based on modularity optimization. We show that our opinion dynamics model not only provides an appealing approach to community detection but that it is also effective.
△ Less
Submitted 2 June, 2010; v1 submitted 27 November, 2009;
originally announced November 2009.
-
Asymptotic near-efficiency of the ''Gibbs-energy (GE) and empirical-variance'' estimating functions for fitting Mat{é}rn models -- II: Accounting for measurement errors via ''conditional GE mean''
Authors:
Didier A. Girard
Abstract:
Consider one realization of a continuous-time Gaussian process $Z$ which belongs to the Mat\' ern family with known ``regularity'' index $ν>0$. For estimating the autocorrelation-range and the variance of $Z$ from $n$ observations on a fine grid, we studied in Girard (2016) the GE-EV method which simply retains the empirical variance (EV) and equates it to a candidate ``Gibbs energy (GE)''…
▽ More
Consider one realization of a continuous-time Gaussian process $Z$ which belongs to the Mat\' ern family with known ``regularity'' index $ν>0$. For estimating the autocorrelation-range and the variance of $Z$ from $n$ observations on a fine grid, we studied in Girard (2016) the GE-EV method which simply retains the empirical variance (EV) and equates it to a candidate ``Gibbs energy (GE)'' i.e.~the quadratic form ${\bf z}^T R^{-1} {\bf z}/n$ where ${\bf z}$ is the vector of observations and $R$ is the autocorrelation matrix for ${\bf z}$ associated with a candidate range. The present study considers the case where the observation is ${\bf z}$ plus a Gaussian white noise whose variance is known. We propose to simply bias-correct EV and to replace GE by its conditional mean given the observation. We show that the ratio of the large-$n$ mean squared error of the resulting CGEM-EV estimate of the range-parameter to the one of its maximum likelihood estimate, and the analog ratio for the variance-parameter, have the same behavior than in the no-noise case: they both converge, when the grid-step tends to $0$, toward a constant, only function of $ν$, surprisingly close to $1$ provided $ν$ is not too large. We also obtain, for all $ν$, convergence to 1 of the analog ratio for the microergodic-parameter.
△ Less
Submitted 24 June, 2019; v1 submitted 5 September, 2009;
originally announced September 2009.
-
Approximately bisimilar symbolic models for incrementally stable switched systems
Authors:
Antoine Girard,
Giordano Pola,
Paulo Tabuada
Abstract:
Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable progress on stability and stabilization of switched systems, the constant evolution of technology demands that we make similar progress with respect to different, and perhaps more complex, objectives. This paper descri…
▽ More
Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable progress on stability and stabilization of switched systems, the constant evolution of technology demands that we make similar progress with respect to different, and perhaps more complex, objectives. This paper describes one particular approach to address these different objectives based on the construction of approximately equivalent (bisimilar) symbolic models for switched systems. The main contribution of this paper consists in showing that under standard assumptions ensuring incremental stability of a switched system (i.e. existence of a common Lyapunov function, or multiple Lyapunov functions with dwell time), it is possible to construct a finite symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori. To support the computational merits of the proposed approach, we use symbolic models to synthesize controllers for two examples of switched systems, including the boost DC-DC converter.
△ Less
Submitted 31 July, 2008;
originally announced July 2008.
-
Approximately bisimilar symbolic models for nonlinear control systems
Authors:
Giordano Pola,
Antoine Girard,
Paulo Tabuada
Abstract:
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems th…
▽ More
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model. The approximation error is a design parameter in the construction of the symbolic model and can be rendered as small as desired. Furthermore if the state space of the control system is bounded the obtained symbolic model is finite. For digital control systems, and under the stronger assumption of incremental input-to-state stability, symbolic models can be constructed through a suitable quantization of the inputs.
△ Less
Submitted 13 January, 2008; v1 submitted 1 June, 2007;
originally announced June 2007.
