Formal Methods for Autonomous Systems
Les méthodes formelles font référence à des approches mathématiques rigoureuses du développement de systèmes et ont joué un rôle clé dans l'établissement de l'exactitude des systèmes critiques de sécurité. Les principaux éléments constitutifs des méthodes formelles sont les modèles et les spécifications, qui sont analogues aux comportements et aux exigences dans la conception des systèmes et qui nous donnent les moyens de vérifier et de synthétiser les comportements des systèmes avec des garanties formelles.
Dans cette monographie, les auteurs examinent l'état actuel de l'art des applications des méthodes formelles dans le domaine des systèmes autonomes. Ils examinent d'abord la synthèse correcte par construction sous diverses formulations dans des environnements connus avant d'aborder le concept d'incertitude avec des systèmes qui utilisent l'apprentissage à l'aide de méthodes formelles, y compris en surmontant certaines limitations de ces systèmes. Enfin, ils examinent la synthèse de systèmes avec surveillance pour s'assurer qu'un système peut revenir à la normale. Ils concluent sur les orientations futures des méthodes formelles dans l'apprentissage par renforcement, l'incertitude, la protection de la vie privée, l'explicabilité des méthodes formelles, la réglementation et la certification.
Couvrant des sujets importants tels que la synthèse et l'apprentissage par renforcement, il s'agit d'une ressource complète pour les étudiants, les praticiens et les chercheurs sur l'utilisation des méthodes formelles dans les systèmes modernes.
| ISBN : | 9781638282723 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Actuellement disponible, en stock.
