Buch, Englisch, Band 1567, 458 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1440 g
Buch, Englisch, Band 1567, 458 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1440 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-65643-2
Verlag: Springer Berlin Heidelberg
ferences.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
Weitere Infos & Material
Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems.- Controller Scheduling Using Neural Networks: Implementation and Experimental Results.- Rigorous Design of a Fault Diagnosis and Isolation Algorithm.- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems.- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.- Hybrid Systems with Finite Bisimulations.- Extracting Stable Timed Automata from Switched Model Reference Systems.- Sliding Mode Model Semantics and Simulation for Hybrid Systems.- Time-Deterministic Hybrid Transition Systems.- Heuristic Optimization and Dynamical System Safety Verification.- A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems.- Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control.- Action Systems with Continuous Behaviour.- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.- Optimal Controller Switching for Stochastic Systems.- Robust Control of Hybrid Systems: Performance Guided Strategies.- Analysis of Slope-Parametric Rectangular Automata.- Control of Interval Temporal Systems.- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.
