In this page you can find the material of the Formal methods for the control of large-scale networked nonlinear systems with logic specifications course.

 

Lectures organization

M.D. Di Benedetto
pdf Introduction to LSNNSs and control with logic specifications (2 MB)
pdf Metric systems as a unifying framework for modeling plants, controllers and specificationsĀ (1 MB)
pdf Relations for metric transition systems (1 MB)

 

P. Pepe
pdf Review on internal and external stability notions for nonlinear systems
Nonlinear time-delay systems: basic theory and stability (1 MB)

 

G. Pola
pdf Regular languages
Lecture notes (1 MB)
Slides (1 MB)
pdf Symbolic models for stable nonlinear systems
Lecture notes (1 MB)
Slides (1 MB)
pdf Symbolic models for time-delay systems (1 MB)
pdf Symbolic models for unstable nonlinear systems (1 MB)
pdf Decentralized control of networks of nonlinear systems (1 MB)
pdf Conclusions (1 MB)

 

A. Borri
pdf Control design with logic specifications and efficient algorithms
Lecture notes (1 MB)
Slides (1 MB)
pdf Symbolic models and control for nonlinear systems with disturbances and applications (3 MB)
pdf Symbolic models for networked nonlinear systems (2 MB)
pdf Tools (1 MB)

 

Download of all of the files (15 MB)