Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems a...
Κύριος συγγραφέας: | Platzer, André (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ανά: Platzer, AndrΓ©
Έκδοση: (2010) -
Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2005) -
Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2010) -
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005) -
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Έκδοση: (2015)