Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues Buch
ISBN: 9783540489832
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal ne… Mehr…
hive.co.uk No. 9783540489832. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues Buch
ISBN: 9783540489832
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal ne… Mehr…
hive.co.uk No. 9783540489832. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540489832
Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings, eBooks, eBook Download (PDF), This volume contains the proceedings of the Second Inter… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues Buch
ISBN: 9783540489832
; PDF; Scientific, Technical and Medical > Electronics & communications engineering > Electronics engineeri, Springer Berlin Heidelberg
hive.co.uk No. 9783540489832. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540489832
Hybrid Systems: Computation and Control - Second International Workshop HSCC'99 Berg en Dal The Netherlands March 29-31 1999 Proceedings: ab 74.99 € Medien > Bücher > E-books, [PU: Spring… Mehr…
eBook.de Nr. 33496655. Versandkosten:, , DE. (EUR 0.00) Details... |
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues Buch
ISBN: 9783540489832
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal ne… Mehr…
G. Bodner:
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues BuchISBN: 9783540489832
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal ne… Mehr…
2003
ISBN: 9783540489832
Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings, eBooks, eBook Download (PDF), This volume contains the proceedings of the Second Inter… Mehr…
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings - neues Buch
ISBN: 9783540489832
; PDF; Scientific, Technical and Medical > Electronics & communications engineering > Electronics engineeri, Springer Berlin Heidelberg
ISBN: 9783540489832
Hybrid Systems: Computation and Control - Second International Workshop HSCC'99 Berg en Dal The Netherlands March 29-31 1999 Proceedings: ab 74.99 € Medien > Bücher > E-books, [PU: Spring… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Hybrid Systems: Computation and Control
EAN (ISBN-13): 9783540489832
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-02-20T23:33:20+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-13T09:03:10+01:00 (Berlin)
ISBN/EAN: 9783540489832
ISBN - alternative Schreibweisen:
978-3-540-48983-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: went frits, vaandrager
Titel des Buches: berg 1094 1994
Daten vom Verlag:
Autor/in: Frits W. Vaandrager; Jan H. van Schuppen
Titel: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
Verlag: Springer; Springer Berlin
282 Seiten
Erscheinungsjahr: 2003-05-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
CCXCII, 282 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Computer; Scheduling; Simulation; architecture; automata; model; modeling; optimization; programming; verification; complexity; C; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Control and Systems Theory; System Performance and Evaluation; Applied Dynamical Systems; Control, Robotics, Automation; Computer Science; Künstliche Intelligenz; Regelungstechnik; Systemanalyse und -design; Mathematik für Ingenieure; Kybernetik und Systemtheorie; BC
SACRES: A Step Ahead in the Development of Critical Avionics Applications.- Approximating Hybrid System Dynamics for Analysis and Control.- High-Level Modeling and Analysis of an Air-Traffic Management System.- Geometric Categories, O-Minimal Structures and Control.- Polyhedral Flows in Hybrid Automata.- As Soon as Possible: Time Optimal Control for Timed Automata.- Verification of Hybrid Systems via Mathematical Programming.- Orthogonal Polyhedra: Representation and Computation.- A Geometric Approach to Bisimulation and Verification of Hybrid Systems.- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter.- Reachability Analysis Using Polygonal Projections.- Scale-Independent Hysteresis Switching.- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps.- A New Class of Decidable Hybrid Systems.- Synthesis of Control Software in a Layered Architecture from Hybrid Automata.- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.- Integration of Analog and Discrete Synchronous Design.- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.- Refinement and Continuous Behaviour.- Computing Controllers for Nonlinear Hybrid Systems.- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540365808 Hybrid Systems: Computation and Control (Freek Wiedijk; Oded Maler; Amir Pnueli)
< zum Archiv...