|DESIMINI RICCARDO||Cycle: XXXIII |
Section: Systems and Control
Tutor: PIRODDI LUIGI
Advisor: PRANDINI MARIA Major Research topic
:Computational approaches to verification and control of hybrid systemsAbstract:
The aim of this research is to develop novel methods for verifying the correct functioning of a hybrid system (i.e., a dynamical system with interacting continuous and discrete state components) and for imposing to the system some desired reachability properties related to its evolution by appropriately designing its input. In standard verification problems, the typical goal is to evaluate if the system executions associated with a set of initial conditions satisfy a certain specification - possibly depending on both the continuous and discrete state components evolution - for some given input. In this research project are addressed verification problems where the input is not a-priori given but has to be designed so as to satisfy the specifications over a finite and infinite horizon, despite of the presence of disturbances. We shall focus in particular on the class of piecewise affine systems that can be used to approximate nonlinear systems through some hybridization procedure, and develop efficient solutions relying on set-based computations. A possible application of this work is the testing of an avionic computer. Currently, the input design phase is done manually and takes a large fraction of the whole amount of time needed for the verification procedure. The availability of suitable automatic methods for input design is expected to produce a significant impact on the overall process.