Autori
Giordano Pola, Pierdomenico Pepe and Maria Domenica Di Benedetto
Abstract
In this contribution we propose decentralized control of incrementally stable networks of discrete–time nonlinear control systems, enforcing complex specifications expressed in terms of regular languages, within any desired accuracy. Regular languages, while being traditionally studied in the research community of discrete–event systems, also provide a useful mean to model a rather wide variety of complex specifications for control systems. The design of decentralized controllers is based on formal methods and in particular, on the use of discrete abstractions.
