CS Seminar: Enric Rodríguez-Carbonell, January 11, 2005

Speaker

Dr. Enric Rodríguez-Carbonell,
Departament de Llenguatges i Sistemes Informàtics (LSI),
Technical University of Catalonia (UPC), Barcelona, Spain.

Date and Time

Tuesday, January 11, 2005 at 15:45

Place

Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

Applications of Polynomial Invariants

Abstract

In a previous talk, the application of polynomial invariants to the verification of imperative programs has been discussed. In this seminar it is shown how polynomial invariants can also be employed in order to verify properties of other classes of systems: Petri nets and hybrid systems. Petri nets are a mathematical modelling tool for studying systems that are characterized as being concurrent, asynchronous, distributed, parallel, non-deterministic, and/or stochastic. On the other hand, hybrid systems are systems that have discrete event dynamics as well as continuous time dynamics. They are used in the analysis of, e.g, continuous systems with phased operations (walking robots, biological cell growth and division) and continuous systems controlled by discrete logic (aircraft autopilot modes, thermostats, chemical plants with valves and pumps, automobile automatic transmissions).

Slides

Applications of Polynomial Invariants (pdf, 198 kB).

Contact Person

Roberto Bagnara

[Page last updated on January 21, 2013, 08:18:53.]