_____________________________________________________________________
SUMMARY
The aim of the project is to support and extend cooperation between the Laboratory of Parallel and Distributed Systems (ParaDiSe) at the Faculty of Informatics, Masaryk University, and the research team at Hybrid and Networked Systems Lab (HyNeSs Lab) at Boston University, in order to conduct research into the control and verification of hybrid systems. Both the control and verification of continuous and hybrid systems involves the application of advanced techniques for control strategy synthesis, analysis, verification and validation.
The research team at Boston University is specialised in control of hybrid and continuous systems, namely biological and robotic systems in particular. The lab has an extensive experimental environment for the implementation and testing of suggested concepts for robot motion planning. The team at Masaryk University aims to develop formal verification problematics.
The main target of the proposed project can be divided into two areas. The first one is the formulation of new approaches for the abstraction and modelling of complex systems in order to obtain approximately accurate model of the systems, which is to be automatically verified and controlled under complex requirements. The second research area concerns the design and development of methods for the synthesis of control strategies based on principles of formal verification. Part of the research is also aimed at the usage of the new technologies for improving the efficiency of synthesis and verification process.
_____________________________________________________________________
SOLUTIONS
- Designing the formal analysis of piecewise affine systems through formula-guided refinement
- Producing a least-violating control strategy synthesis with safety rules
- Developing timed automata approach to verification of systems with degradation
_____________________________________________________________________
LINK: http://paradise.fi.muni.cz/grants.html
_____________________________________________________________________
