Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Conditions de vente :

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Conditions de livraison :

Orders usually dispatched within two working days.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Formal Methods for Discrete-time Dynamical Systems

Formal Methods for Discrete-time Dynamical Systems

Belta, Calin/ Yordanov, Boyan/ Gol, Ebru Aydin

Neuf(s) - Couverture rigide

Informations commerciales relatives au vendeur