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.
| P. Pepe |
|
 |
Review on internal and external stability notions for nonlinear systems Nonlinear time-delay systems: basic theory and stability (1 MB) |
| G. Pola |
|
|
Regular languages Lecture notes (1 MB) Slides (1 MB) |
|
Symbolic models for stable nonlinear systems Lecture notes (1 MB) Slides (1 MB) |
|
Symbolic models for time-delay systems (1 MB) |
|
Symbolic models for unstable nonlinear systems (1 MB) |
|
Decentralized control of networks of nonlinear systems (1 MB) |
|
Conclusions (1 MB) |
| A. Borri |
|
|
Control design with logic specifications and efficient algorithms Lecture notes (1 MB) Slides (1 MB) |
|
Symbolic models and control for nonlinear systems with disturbances and applications (3 MB) |
|
Symbolic models for networked nonlinear systems (2 MB) |
|
Tools (1 MB) |