Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit - nuovo libro

EAN (ISBN-13): 9783540009139
ISBN (ISBN-10): 3540009132
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2003
Editore: Springer Berlin Heidelberg Core >1
576 Pagine
Peso: 0,859 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-02-14T18:24:56+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-11T11:11:07+01:00 (Zurich)
ISBN/EAN: 3540009132

ISBN - Stili di scrittura alternativi:
3-540-00913-2, 978-3-540-00913-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : ler, berg, wendt, eli amir, maler, freek, oded
Titolo del libro: prague, proceedings international workshop, computer systems, 2003 band, republic com, czech, hybrid systems computation control 2005, lecture notes computer science, antiquariats buchhandel, hybrid iii, april, englisch international, edit

---

Dati dell'editore

Autore: Freek Wiedijk; Oded Maler; Amir Pnueli
Titolo: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Editore: Springer; Springer Berlin
564 Pagine
Anno di pubblicazione: 2003-03-18
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 564 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Simulation; automata; calculus; control systems; dynamical systems; embedded systems; hybrid modeling; hybrid systems; hybridization; model checking; modeling; operating system; reactive systems; robotics; systems specification; Theory of Computation; Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Computer Science Logic and Foundations of Programming; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; Software Engineering; EA

Abstracts of Invited Presentations.- The Mathematics of Matter and the Mathematics of Mind.- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.- Developing Home Robotics Products: Challenges and Lessons Learned.- Regular Contributions.- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.- Reachability Analysis of Nonlinear Systems Using Conservative Approximation.- Mode Reconstruction for Source Coding and Multi-modal Control.- Hybrid Control Design for a Wheeled Mobile Robot.- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems.- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions.- A Greedy Approach to Identification of Piecewise Affine Models.- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.- Reachability Questions in Piecewise Deterministic Markov Processes.- Automatic Verification of a Turbogas Control System with the Mur? Verifier.- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators.- Conditions of Optimal Classification for Piecewise Affine Regression.- Approximate Stabilisation of Uncertain Hybrid Systems.- Efficient Mode Enumeration of Compositional Hybrid Systems.- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.- Modelling, Well-Posedness, and Stability of Switched Electrical Networks.- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.- On Systematic Simulation of Open Continuous Systems.- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.- Event Prediction for Switching LinearSystems with Time Varying Thresholds Using Orthogonal Functions.- On the Causality of Mixed-Signal and Hybrid Models.- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.- Multi-object Adaptive Cruise Control.- Universality and Language Inclusion for Open and Closed Timed Automata.- On the Application of Hybrid Control to CPU Reservations.- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback.- Qualitative Heterogeneous Control of Higher Order Systems.- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.- Hybrid Modelling and Control of Power Electronics.- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules.- Efficient Representation and Computation of Reachable Sets for Hybrid Systems.- Model Checking LTL over Controllable Linear Systems Is Decidable.- Approximate Reachability for Linear Systems.- Observability of Linear Hybrid Systems.- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.
Includes supplementary material: sn.pub/extras