Verification and Control of Hybrid Systems: A Symbolic Approach
119.12 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10316311
Beschreibung
Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.
Eigenschaften
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen