UNIVERSITY OF HERTFORDSHIRE
             COMPUTER SCIENCE RESEARCH COLLOQUIUM

                            presents


         "Efficient Safety Verification of Hybrid Systems"

                        Dr. Olga Tveretina
                  (School of Computer Science,
                 University of Hertfordshire, UK)

                    3 October 2012  (Wednesday)
                            1 -2  pm


                  Hatfield, College Lane Campus
                      * * Room C152  * *

                  Everyone is Welcome to Attend

                  Refreshments will be available







Abstract: Many of the applications of hybrid systems, such as intelligent
highway systems, air traffic management systems and others are safety
critical and require the guarantee of safe operation. Formal verification
of safety properties consists of checking whether the set of reachable
states has a nonempty intersection with the set of unsafe states. This
problem is undecidable in general.

Approaches for safety verification mostly include approximation and
abstraction techniques. These  methods are easy to fail when applied
to large systems since the complexity rises up very quickly with the
system size. One possible way to speed up computations is to pay more
attention to the spacial properties of the systems under analysis.

In my talk I will consider the class of hybrid systems called multi-linear
systems or piecewise-constant derivative systems. These systems are
decidable for two dimensions  and undecidable for higher dimensions. I
will show that certain fragments of high-dimensional multi-linear systems
are suitable for computing the reachable sets exactly and demonstrate
the efficiency of the approach with examples.


---------------------------------------------------
Hertfordshire Computer Science Research Colloquium
http://cs-colloq.stca.herts.ac.uk