Systèmes dynamiques hybrides : Une introduction au contrôle et à la vérification

Titre original :

Hybrid Dynamical Systems: An Introduction to Control and Verification

Contenu du livre :

Les méthodes pour les systèmes hybrides sont réparties sur un large spectre, allant des méthodes connues dans le domaine discret (cyber) à une extrémité, aux approches traditionnelles pour les systèmes physiques continus à l'autre extrémité.

Enracinés à des extrémités opposées, les informaticiens et les théoriciens du contrôle ont apporté des contributions significatives au domaine des systèmes hybrides en étendant les méthodes traditionnelles du domaine discret ou continu pour traiter les systèmes hybrides. Cependant, en général, il y a eu peu de travaux sur l'intégration des méthodes de ces deux domaines.

Cela s'explique peut-être par le fait que les méthodes formelles utilisées en informatique relèvent traditionnellement du domaine des mathématiques discrètes, tandis que les approches de la théorie du contrôle relèvent principalement du domaine des mathématiques continues. Une tendance notable dans la littérature récente sur les systèmes hybrides met l'accent sur la synthèse de contrôleurs hybrides pour les systèmes dynamiques continus ou hybrides afin de satisfaire des spécifications logiques temporelles compliquées. C'est ce que l'on appelle le contrôle symbolique ou le contrôle de supervision hybride, qui peut être considéré comme un croisement entre ces deux écoles de pensée.

Hybrid Dynamical Systems met l'accent sur des méthodes issues à la fois de l'informatique et de la théorie du contrôle, et donne aux lecteurs une image complète de l'ensemble du domaine des systèmes dynamiques hybrides. Tout en fournissant une vue d'ensemble concise pour un chercheur dans le domaine, le style didactique permet de l'utiliser dans le cadre d'un cours et pour les étudiants.

Autres informations sur le livre :

• ISBN : 9781601987846
• Auteur : Hai Lin
• Éditeur : New Publ Inc
• Langue : anglais
• Reliure : Broché