Hybrid systems iv
Auteur :
Antsaklis, Panos J.
ISBN :
9783540633587
Date de publication :
30 juil. 1997
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
1310 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; and goal reachability.