-
Analysis of 3GM Callisto Gravity Experiment of the JUICE Mission
Authors:
Mauro Di Benedetto,
Paolo Cappuccio,
Serena Molli,
Lorenzo Federici,
Alessandro Zavoli
Abstract:
The ESA's JUICE mission will provide a thorough investigation of the Jupiter system and the Galilean moons during its nominal tour, comprising flybys of Europa and Callisto, and an orbital phase about Ganymede at the end of the mission. The 3GM experiment will exploit accurate Doppler and range measurements to determine the moons' orbits and gravity fields (both static and tidal) and infer their i…
▽ More
The ESA's JUICE mission will provide a thorough investigation of the Jupiter system and the Galilean moons during its nominal tour, comprising flybys of Europa and Callisto, and an orbital phase about Ganymede at the end of the mission. The 3GM experiment will exploit accurate Doppler and range measurements to determine the moons' orbits and gravity fields (both static and tidal) and infer their interior structure. This paper presents the attainable accuracies of the Callisto geodesy experiment and addresses the effect of different flybys mean anomaly distribution and geometry on the estimation of the tidal Love number k2.
△ Less
Submitted 9 January, 2021;
originally announced January 2021.
-
On Approximate Diagnosability of Nonlinear Systems
Authors:
Elena De Santis,
Giordano Pola,
Maria Domenica Di Benedetto
Abstract:
This paper deals with diagnosability of discrete-time nonlinear systems with unknown inputs and quantized outputs. We propose a novel notion of diagnosability that we term approximate diagnosability, corresponding to the possibility of detecting within a finite delay and within a given accuracy if a set of faulty states is reached or not. Addressing diagnosability in an approximate sense is primar…
▽ More
This paper deals with diagnosability of discrete-time nonlinear systems with unknown inputs and quantized outputs. We propose a novel notion of diagnosability that we term approximate diagnosability, corresponding to the possibility of detecting within a finite delay and within a given accuracy if a set of faulty states is reached or not. Addressing diagnosability in an approximate sense is primarily motivated by the fact that system outputs in concrete applications are measured by sensors that introduce measurement errors. Consequently, it is not possible to detect exactly if the state of the system has reached or not the set of faulty states. In order to check approximate diagnosability on the class of nonlinear systems we use tools from formal methods. We first derive a symbolic model approximating the original system within any desired accuracy. This step allows us to check approximate diagnosability of the symbolic model. We then establish the relation between approximate diagnosability of the symbolic model and of the original nonlinear system.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems
Authors:
Giordano Pola,
Costanzo Manes,
Arjan J. van der Schaft,
Maria Domenica Di Benedetto
Abstract:
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 linear control systems with possibly degenerate normally distributed disturbances. The first notion is inspired by the notion of probabilistic bisimulation for probabilistic chains while the second one by the notion of equivale…
▽ More
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 linear control systems with possibly degenerate normally distributed disturbances. The first notion is inspired by the notion of probabilistic bisimulation for probabilistic chains while the second one by the notion of equivalence of external behavior for (nonstochastic) behavioral systems. Geometric necessary and sufficient conditions for checking these notions are derived. Model reduction via Kalman-like decomposition is also proposed. Connections with stochastic linear realization theory and stochastic reachability are established.
△ Less
Submitted 25 November, 2016;
originally announced November 2016.
-
Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles
Authors:
Alessio Iovine,
Francesco Valentini,
Elena De Santis,
Maria Domenica Di Benedetto,
Marco Pratesi
Abstract:
In this paper a mesoscopic hybrid model, i.e. a microscopic hybrid model that takes into account macroscopic parameters, is introduced for designing a human-inspired Adaptive Cruise Control. A control law is proposed with the design goal of replacing and imitating the behaviour of a human driver in a car-following situation where lane changes are possible. First, a microscopic hybrid automaton mod…
▽ More
In this paper a mesoscopic hybrid model, i.e. a microscopic hybrid model that takes into account macroscopic parameters, is introduced for designing a human-inspired Adaptive Cruise Control. A control law is proposed with the design goal of replacing and imitating the behaviour of a human driver in a car-following situation where lane changes are possible. First, a microscopic hybrid automaton model is presented, based on human psycho-physical behavior, for both longitudinal and lateral vehicle control. Then a rule for changing time headway on the basis of macroscopic quantities is used to describe the interaction among next vehicles and their impact on driver performance. Simulation results show the advantages of the mesoscopic model. A feasibility analysis of the needed communication network is also presented.
△ Less
Submitted 9 September, 2016;
originally announced October 2016.
-
Observability and diagnosability of finite state systems: a unifying framework
Authors:
Elena De Santis,
Maria Domenica Di Benedetto
Abstract:
In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while diagnosability corresponds to the possibility of determining the past occurrence of some particular states, for example faulty states. A unifying framework is proposed…
▽ More
In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while diagnosability corresponds to the possibility of determining the past occurrence of some particular states, for example faulty states. A unifying framework is proposed where observability and diagnosability properties are defined with respect to a critical set, i.e. a set of discrete states representing a set of faults, or more generally a set of interest. These properties are characterized and the involved conditions provide an estimation of the delay required for the detection of a critical state, of the precision of the delay estimation and of the duration of a possible initial transient where the diagnosis is not possible or not required. Our framework makes it possible to precisely compare some of the observability and diagnosability notions existing in the literature with the ones introduced in our paper, and this comparison is presented.
△ Less
Submitted 25 November, 2016; v1 submitted 10 August, 2016;
originally announced August 2016.
-
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels
Authors:
Alessio Iovine,
Sabah Benamane Siad,
Gilney Damm,
Elena De Santis,
Maria Domenica Di Benedetto
Abstract:
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from renewable energy sources (renewables), such as photovoltaic arrays. The interconnection of such renewables with storage systems through a Direct Current (DC) MicroGrid can fulfill these requirements. A "Plug and Play" appr…
▽ More
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from renewable energy sources (renewables), such as photovoltaic arrays. The interconnection of such renewables with storage systems through a Direct Current (DC) MicroGrid can fulfill these requirements. A "Plug and Play" approach based on the "System of Systems" philosophy using distributed control methodologies is developed in the present work. This approach allows to interconnect a number of elements to a DC MicroGrid as power sources like photovoltaic arrays, storage systems in different time scales like batteries and supercapacitors, and loads like electric vehicles and the main AC grid. The proposed scheme can easily be scalable to a much larger number of elements.
△ Less
Submitted 3 August, 2016; v1 submitted 2 August, 2016;
originally announced August 2016.
-
Nonlinear Control of an AC-connected DC MicroGrid
Authors:
Alessio Iovine,
Sabah Benamane Siad,
Gilney Damm,
Elena De Santis,
Maria Domenica Di Benedetto
Abstract:
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from renewable energy sources (renewables), such as photovoltaic arrays. A solution for interconnecting such renewables to the main grid is to use storage systems and a Direct Current (DC) MicroGrid. A "Plug and Play" approach…
▽ More
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from renewable energy sources (renewables), such as photovoltaic arrays. A solution for interconnecting such renewables to the main grid is to use storage systems and a Direct Current (DC) MicroGrid. A "Plug and Play" approach based on the "System of Systems" philosophy using distributed control methodologies is developed in the present work. This approach allows to interconnect a number of elements to a DC MicroGrid as power sources like photovoltaic arrays, storage systems in different time scales like batteries and supercapacitors, and loads like electric vehicles and the main AC grid. The proposed scheme can easily be scalable to a much larger number of elements.
△ Less
Submitted 3 August, 2016; v1 submitted 28 July, 2016;
originally announced July 2016.
-
Decentralized Supervisory Control of Networks of Nonlinear Control Systems
Authors:
Giordano Pola,
Pierdomenico Pepe,
Maria D. Di Benedetto
Abstract:
The paradigm of Cyber-Physical Systems of Systems (CPSoS) is becoming rather popular in the control systems research community because of its expressive power able to properly handle many engineered complex systems of interest. Decentralized control techniques offer a promising approach in taming the inherent complexity of CPSoS, also connected with the design of needed communication infrastructur…
▽ More
The paradigm of Cyber-Physical Systems of Systems (CPSoS) is becoming rather popular in the control systems research community because of its expressive power able to properly handle many engineered complex systems of interest. Decentralized control techniques offer a promising approach in taming the inherent complexity of CPSoS, also connected with the design of needed communication infrastructures and computing units. In this paper, we propose decentralized control of networks of discrete-time nonlinear control systems, enforcing complex specifications expressed in terms of regular languages, within any desired accuracy. As discussed in the paper, regular languages, while being traditionally studied in the research community of discrete-event systems, also provide a useful mean to model a rather wide variety of complex specifications for control systems. The design of decentralized controllers is based on formal methods and in particular, on the use of discrete abstractions. Efficient synthesis of such controllers is derived by resorting to on-the-fly algorithmic techniques that also allow the use of parallel computing architectures. Advantages and disadvantages of the decentralized approach over a centralized one, also in terms of computational complexity, are discussed. An illustrative example is presented, which shows the applicability and effectiveness of the results proposed.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
Co-design of controller and routing redundancy over a wireless network
Authors:
G. D. Di Girolamo,
A. D'Innocenzo,
M. D. Di Benedetto
Abstract:
In this paper we investigate the exploitation of redundancy when routing actuation data to a discrete-time LTI system connected to the controller via a wireless network affected by packet drops. We assume that actuation packets can be delivered from the controller to the actuator via multiple paths, each associated with a delay and a packet loss probability. We show that the joint design of contro…
▽ More
In this paper we investigate the exploitation of redundancy when routing actuation data to a discrete-time LTI system connected to the controller via a wireless network affected by packet drops. We assume that actuation packets can be delivered from the controller to the actuator via multiple paths, each associated with a delay and a packet loss probability. We show that the joint design of controller gain and routing redundancy exploitation can tremendously improve the control performance. To achieve this goal we set up and solve a LQR problem for a class of systems that extends discrete-time Markov Jump Linear Systems, in that both continuous and discrete control signals can be actuated.
△ Less
Submitted 22 September, 2015; v1 submitted 21 August, 2015;
originally announced August 2015.
-
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control
Authors:
Alessio Iovine,
Francesco Valentini,
Elena De Santis,
Marika Di Benedetto,
Marco Pratesi
Abstract:
In this paper a mesoscopic hybrid automaton is introduced in order to obtain a human-inspired based adaptive cruise control.
In this paper a mesoscopic hybrid automaton is introduced in order to obtain a human-inspired based adaptive cruise control.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction
Authors:
Davide Pezzuti,
Giordano Pola,
Elena De Santis,
Maria D. Di Benedetto
Abstract:
Motivated by safety-critical applications in cyber-physical systems, in this paper we study the notion of critical observability and design of observers for networks of Finite State Machines (FSMs). Critical observability is a property of FSMs that corresponds to the possibility of detecting if the current state of an FSM belongs to a set of critical states modeling operations that may be unsafe o…
▽ More
Motivated by safety-critical applications in cyber-physical systems, in this paper we study the notion of critical observability and design of observers for networks of Finite State Machines (FSMs). Critical observability is a property of FSMs that corresponds to the possibility of detecting if the current state of an FSM belongs to a set of critical states modeling operations that may be unsafe or, in general, operations of specific interest in a particular application. A critical observer is an observer that detects on-line the occurrence of critical states. When a large-scale network of FSMs is considered, the construction of such an observer is prohibitive because of the large computational effort needed. In this paper we propose a decentralized architecture for critical observers of networks of FSMs, where on-line detection of critical states is performed by local critical observers, each associated with an FSM of the network. For the efficient design of decentralized critical observers we first extend on-the-fly algorithms traditionally used in the community of formal methods for the formal verification and control design of FSMs. We then extend to networks of FSMs, bisimulation theory traditionally given in the community of formal methods for single FSMs. The proposed techniques provide a remarkable computational complexity reduction, as discussed throughout the paper and also demonstrated by means of illustrative examples. Finally, we propose an example in the context of biological networks, which illustrates the applicability of our results and also the interest arising from concrete application domains.
△ Less
Submitted 1 February, 2017; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
Authors:
Giordano Pola,
Pierdomenico Pepe,
Maria Domenica Di Benedetto
Abstract:
Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems. In this paper we address construction of symbolic models for networks of discrete-time nonlinear control systems. The main result of the paper shows that under some small gain theorem-type conditions, a network of symbol…
▽ More
Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems. In this paper we address construction of symbolic models for networks of discrete-time nonlinear control systems. The main result of the paper shows that under some small gain theorem-type conditions, a network of symbolic models can be constructed which approximates a network of incrementally stable control systems in the sense of approximate bisimulation with any desired accuracy. Compositional design of quantization parameters of the symbolic models is also derived and based on the topological properties of the network.
△ Less
Submitted 13 August, 2014; v1 submitted 31 March, 2014;
originally announced April 2014.
-
Modeling, analysis and design of linear systems with switching delays
Authors:
R. M. Jungers,
A. D'Innocenzo,
M. D. Di Benedetto
Abstract:
We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching propagation delays, due to e.g. the routing in a multi-hop communication network. We show how to model these systems as regular switching linear systems and, as a corollary, we provide an (exponential-time) algorithm for ro…
▽ More
We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching propagation delays, due to e.g. the routing in a multi-hop communication network. We show how to model these systems as regular switching linear systems and, as a corollary, we provide an (exponential-time) algorithm for robust stability analysis. We also show that the general stability analysis problem is NP-hard in general. Even though the systems studied here are inherently switching systems, we show that their particular structure allows for analytical understanding of the dynamics, and even efficient algorithms for some problems: for instance, we give an algorithm that computes in a finite number of steps the minimal look-ahead knowledge of the delays necessary to achieve controllability. We finally show that when the switching signal cannot be measured it can be necessary to use nonlinear controllers for stabilizing a linear plant.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks
Authors:
A. D'Innocenzo,
M. D. Di Benedetto,
F. Smarra
Abstract:
A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We provide necessary and sufficient conditions on the plant dynamics and on the communication protocol conf…
▽ More
A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We provide necessary and sufficient conditions on the plant dynamics and on the communication protocol configuration such that the Fault Detection and Isolation (FDI) problem of failures and malicious attacks to communication nodes can be solved.
△ Less
Submitted 9 September, 2013;
originally announced September 2013.
-
Optimal co-design of control, scheduling and routing in multi-hop control networks
Authors:
F. Smarra,
A. D'Innocenzo,
M. D. Di Benedetto
Abstract:
A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. Given a SISO LTI plant, we will address the problem of co-designing a digital controller and the network parameters (scheduling…
▽ More
A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. Given a SISO LTI plant, we will address the problem of co-designing a digital controller and the network parameters (scheduling and routing) in order to guarantee stability and maximize a performance metric on the transient response to a step input, with constraints on the control effort, on the output overshoot and on the bandwidth of the communication channel. We show that the above optimization problem is a polynomial optimization problem, which is generally NP-hard. We provide sufficient conditions on the network topology, scheduling and routing such that it is computationally feasible, namely such that it reduces to a convex optimization problem.
△ Less
Submitted 31 August, 2012; v1 submitted 28 August, 2012;
originally announced August 2012.
-
Feedback stabilization of dynamical systems with switched delays
Authors:
Raphael M. Jungers,
Alessandro D'Innocenzo,
Maria D. Di Benedetto
Abstract:
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless multi-hop communication network. We show that we can cast this problem as a subclass of classical switching systems, which is a non-trivial generalization of classical LTI systems with timevarying delays. We consider bo…
▽ More
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless multi-hop communication network. We show that we can cast this problem as a subclass of classical switching systems, which is a non-trivial generalization of classical LTI systems with timevarying delays. We consider both cases where delay-dependent and delay independent controllers are used, and show that both can be modeled as switching systems with unconstrained switchings. We provide NP-hardness results for the stability verification problem, and propose a general methodology for approximate stability analysis with arbitrary precision. We finally give evidence that non-trivial design problems arise for which new algorithmic methods are needed.
△ Less
Submitted 21 July, 2012;
originally announced July 2012.
-
Symbolic models for nonlinear control systems affected by disturbances
Authors:
Alessandro Borri,
Giordano Pola,
Maria Domenica Di Benedetto
Abstract:
In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems af…
▽ More
In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.
-
Link Failure Detection in Multi-hop Control Networks
Authors:
Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Emmanuele Serra
Abstract:
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensors, actuators and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We characterize the problem of detecting the failure of links of the radio connectivity graph and provide necessary and suffi…
▽ More
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensors, actuators and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We characterize the problem of detecting the failure of links of the radio connectivity graph and provide necessary and sufficient conditions on the plant dynamics and on the communication protocol. We also provide a methodology to \emph{explicitly} design the network topology, scheduling and routing of a communication protocol in order to satisfy the above conditions.
△ Less
Submitted 26 August, 2011;
originally announced August 2011.
-
Digital Self Triggered Robust Control of Nonlinear Systems
Authors:
M. D. Di Benedetto,
S. Di Gennaro,
A. D'Innocenzo
Abstract:
In this paper we develop novel results on self triggering control of nonlinear systems, subject to perturbations and actuation delays. First, considering an unperturbed nonlinear system with bounded actuation delays, we provide conditions that guarantee the existence of a self triggering control strategy stabilizing the closed--loop system. Then, considering parameter uncertainties, disturbances,…
▽ More
In this paper we develop novel results on self triggering control of nonlinear systems, subject to perturbations and actuation delays. First, considering an unperturbed nonlinear system with bounded actuation delays, we provide conditions that guarantee the existence of a self triggering control strategy stabilizing the closed--loop system. Then, considering parameter uncertainties, disturbances, and bounded actuation delays, we provide conditions guaranteeing the existence of a self triggering strategy, that keeps the state arbitrarily close to the equilibrium point. In both cases, we provide a methodology for the computation of the next execution time. We show on an example the relevant benefits obtained with this approach, in terms of energy consumption, with respect to control algorithms based on a constant sampling, with a sensible reduction of the average sampling time.
△ Less
Submitted 25 August, 2011;
originally announced August 2011.
-
Fault Tolerant Stabilizability of Multi-Hop Control Networks
Authors:
Maria D. Di Benedetto,
Alessandro D'Innocenzo,
Emmanuele Serra
Abstract:
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We address the problem of characterizing controllability and observability of a MCN, by means of necessary and sufficient condi…
▽ More
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We address the problem of characterizing controllability and observability of a MCN, by means of necessary and sufficient conditions on the plant dynamics and on the communication scheduling and routing. We provide a methodology to design scheduling and routing, in order to satisfy controllability and observability of a MCN for any fault occurrence in a given set of configurations of failures.
△ Less
Submitted 7 April, 2011; v1 submitted 22 March, 2011;
originally announced March 2011.
-
Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation
Authors:
Giordano Pola,
Pierdomenico Pepe,
Maria Domenica Di Benedetto
Abstract:
Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying delay signals and we propose one approach to the control design of such systems, which is based on the construction of symbolic models. Symbolic models are abst…
▽ More
Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying delay signals and we propose one approach to the control design of such systems, which is based on the construction of symbolic models. Symbolic models are abstract descriptions of dynamical systems where one symbolic state and one symbolic input correspond to an aggregate of states and an aggregate of inputs. We first introduce the notion of incremental input-delay-to-state stability and characterize it by means of Lyapunov-Krasovskii functionals. We then derive sufficient conditions for the existence of symbolic models that are shown to be alternating approximately bisimilar to the original system. Further results are also derived which prove the computability of the proposed symbolic models in a finite number of steps.
△ Less
Submitted 11 December, 2011; v1 submitted 26 November, 2010;
originally announced November 2010.
-
Integrated symbolic control design for nonlinear systems with infinite states specifications
Authors:
Giordano Pola,
Alessandro Borri,
Maria D. Di Benedetto
Abstract:
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because they provide a sound mathematical framework for analysing and controlling embedded systems. In this paper we give a further contribution to this research line, by addressing the problem of symbolic control design of nonlin…
▽ More
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because they provide a sound mathematical framework for analysing and controlling embedded systems. In this paper we give a further contribution to this research line, by addressing the problem of symbolic control design of nonlinear systems with infinite states specifications, modelled by differential equations. We first derive the symbolic controller solving the control design problem, given in terms of discrete abstractions of the plant and the specification systems. We then present an algorithm which integrates the construction of the discrete abstractions with the design of the symbolic controller. Space and time complexity analysis of the proposed algorithm is performed and a comparison with traditional approaches currently available in the literature for symbolic control design, is discussed. Some examples are included, which show the interest and applicability of our results.
△ Less
Submitted 14 June, 2010;
originally announced June 2010.
-
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Authors:
Giordano Pola,
Pierdomenico Pepe,
Maria D. Di Benedetto,
Paulo Tabuada
Abstract:
Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to economics. However, the inherent complexity of such systems poses serious difficulties to control design, when control objectives depart from the standard ones inves…
▽ More
Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to economics. However, the inherent complexity of such systems poses serious difficulties to control design, when control objectives depart from the standard ones investigated in the current literature, e.g. stabilization, regulation, and etc. In this paper we propose one approach to control design, which is based on the construction of symbolic models, where each symbolic state and each symbolic label correspond to an aggregate of continuous states and to an aggregate of input signals in the original system. The use of symbolic models offers a systematic methodology for control design in which constraints coming from software and hardware, interacting with the physical world, can be integrated. The main contribution of this paper is in showing that incrementally input-to-state stable time-delay systems do admit symbolic models that are approximately bisimilar to the original system, with a precision that can be rendered as small as desired. An algorithm is also presented which computes the proposed symbolic models. When the state and input spaces of time-delay systems are bounded, which is the case in many realistic situations, the proposed algorithm is shown to terminate in a finite number of steps.
△ Less
Submitted 25 March, 2009; v1 submitted 2 March, 2009;
originally announced March 2009.
-
Observability and Detectability of Linear Switching Systems: A Structural Approach
Authors:
Elena De Santis,
Maria Domenica Di Benedetto,
Giordano Pola
Abstract:
We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of the system from the knowledge of the output for a suitable choice of the control input. We derive a necessary and sufficient condition for observability that can be verified computationally. A characterization of control…
▽ More
We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of the system from the knowledge of the output for a suitable choice of the control input. We derive a necessary and sufficient condition for observability that can be verified computationally. A characterization of control inputs ensuring observability of switching systems is given. Moreover, we prove that checking detectability of a linear switching system is equivalent to checking asymptotic stability of a suitable switching system with guards extracted from it, thus providing interesting links to Kalman decomposition and the theory of stability of hybrid systems.
△ Less
Submitted 27 February, 2008;
originally announced February 2008.
