Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

KALENDER SALE: Bis zu 50% reduziert!

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Hybrid Systems: Computation and Control".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis,...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 19356443

Buch 117.69 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 19356443

Buch 117.69 €
In den Warenkorb
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis,...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-7%
Lecture Notes in Computer Science: Hybrid Systems: Computation and Control

Lecture Notes in Computer Science: Hybrid Systems: Computation and Control

0 Sterne
eBook

Statt 117.69 € 19

109.40 €

Erschienen am 01.07.2003
Leider schon ausverkauft
Drives and Control for Industrial Automation

Drives and Control for Industrial Automation

Kok Kiong Tan, Andi Sudjana Putra

0 Sterne
Buch

149.79 €

In den Warenkorb
lieferbar
Analysis and Decision Making in Uncertain Systems

Analysis and Decision Making in Uncertain Systems

Zdzislaw Bubnicki

0 Sterne
Buch

133.50 €

In den Warenkorb
Erschienen am 15.01.2004
lieferbar
Dynamic Modeling, Predictive Control and Performance Monitoring

Dynamic Modeling, Predictive Control and Performance Monitoring

Biao Huang, Ramesh Kadali

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 11.04.2008
lieferbar
Control Systems with Input and Output Constraints

Control Systems with Input and Output Constraints

Adolf H. Glattfelder, Walter Schaufelberger

0 Sterne
Buch

85.59 €

In den Warenkorb
lieferbar
Advanced Fuzzy Logic Technologies in Industrial Applications

Advanced Fuzzy Logic Technologies in Industrial Applications

0 Sterne
Buch

160.49 €

Vorbestellen
Erschienen am 02.10.2006
Voraussichtlich lieferbar in 5 Tag(en)
Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques

Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques

Silvio Simani, Cesare Fantuzzi, Ron J. Patton

0 Sterne
Buch

181.89 €

Vorbestellen
Erschienen am 13.11.2002
Voraussichtlich lieferbar in 5 Tag(en)
Control Systems Theory and Applications for Linear Repetitive Processes

Control Systems Theory and Applications for Linear Repetitive Processes

Eric Rogers, K. Galkowski, D. H. Owens

0 Sterne
Buch

235.39 €

In den Warenkorb
Erschienen am 20.02.2007
lieferbar
Nonlinear Control of Engineering Systems

Nonlinear Control of Engineering Systems

Warren E. Dixon, Aman Behal, Darren M. Dawson, Siddharth P. Nagarkatti

0 Sterne
Buch

171.19 €

Vorbestellen
Erschienen am 26.06.2003
Voraussichtlich lieferbar in 5 Tag(en)
Linear Systems Control

Linear Systems Control

Elbert Hendricks, Ole Jannerup, Paul Haase Sørensen

0 Sterne
Buch

192.59 €

In den Warenkorb
Erschienen am 25.09.2008
lieferbar
Optimal Control, Stabilization and Nonsmooth Analysis

Optimal Control, Stabilization and Nonsmooth Analysis

0 Sterne
Buch

213.99 €

Vorbestellen
Erschienen am 20.04.2004
Voraussichtlich lieferbar in 3 Tag(en)
Ensuring Control Accuracy

Ensuring Control Accuracy

Alexander Nebylov

0 Sterne
Buch

117.69 €

Vorbestellen
Erschienen am 18.05.2004
Voraussichtlich lieferbar in 3 Tag(en)
Perspectives in Mathematical System Theory, Control, and Signal Processing

Perspectives in Mathematical System Theory, Control, and Signal Processing

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 28.02.2010
lieferbar
Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems

Emilia Villani, Paulo Eigi Miyagi, Robert Valette

0 Sterne
Buch

160.49 €

In den Warenkorb
lieferbar
Fuzzy Control

Fuzzy Control

0 Sterne
Buch

192.59 €

Vorbestellen
Erschienen am 15.08.2000
Voraussichtlich lieferbar in 3 Tag(en)
Robust Model Predictive Control for Large-Scale Manufacturing Systems subject to Uncertainties

Robust Model Predictive Control for Large-Scale Manufacturing Systems subject to Uncertainties

Jens Tonne

0 Sterne
Buch

49.00 €

In den Warenkorb
Erschienen am 17.01.2018
lieferbar
Stochastic Hybrid Systems

Stochastic Hybrid Systems

0 Sterne
Buch

192.59 €

In den Warenkorb
Erschienen am 19.06.2006
lieferbar
Steuerungstechnik

Steuerungstechnik

Ludger Overmeyer

0 Sterne
Buch

39.99 €

Vorbestellen
Erschienen am 23.04.2020
Erscheint im September 2021
Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

S. J. Kwon, Wan Kyun Chung

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 07.07.2004
lieferbar
Produktdetails
Produktinformationen zu „Hybrid Systems: Computation and Control “
Klappentext zu „Hybrid Systems: Computation and Control “
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Neth- lands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.
Inhaltsverzeichnis zu „Hybrid Systems: Computation and Control “
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 Linear Systems 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.-
... mehr
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.
... weniger
Bibliographische Angaben

  • 2003, 576 Seiten, Maße: 15,7 x 24,1 cm, Kartoniert (TB), Englisch
  • Verlag: Springer Berlin Heidelberg
  • ISBN-10: 3540009132
  • ISBN-13: 9783540009139
  • Erscheinungsdatum: 18.03.2003

Sprache:
Englisch
Kommentar zu "Hybrid Systems: Computation and Control"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Hybrid Systems: Computation and Control".

Kommentar verfassen
Andere Kunden kauften auch
Drives and Control for Industrial Automation

Drives and Control for Industrial Automation

Kok Kiong Tan, Andi Sudjana Putra

0 Sterne
Buch

149.79 €

In den Warenkorb
lieferbar
Analysis and Decision Making in Uncertain Systems

Analysis and Decision Making in Uncertain Systems

Zdzislaw Bubnicki

0 Sterne
Buch

133.50 €

In den Warenkorb
Erschienen am 15.01.2004
lieferbar
Dynamic Modeling, Predictive Control and Performance Monitoring

Dynamic Modeling, Predictive Control and Performance Monitoring

Biao Huang, Ramesh Kadali

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 11.04.2008
lieferbar
Control Systems with Input and Output Constraints

Control Systems with Input and Output Constraints

Adolf H. Glattfelder, Walter Schaufelberger

0 Sterne
Buch

85.59 €

In den Warenkorb
lieferbar
Advanced Fuzzy Logic Technologies in Industrial Applications

Advanced Fuzzy Logic Technologies in Industrial Applications

0 Sterne
Buch

160.49 €

Vorbestellen
Erschienen am 02.10.2006
Voraussichtlich lieferbar in 5 Tag(en)
Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques

Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques

Silvio Simani, Cesare Fantuzzi, Ron J. Patton

0 Sterne
Buch

181.89 €

Vorbestellen
Erschienen am 13.11.2002
Voraussichtlich lieferbar in 5 Tag(en)
Control Systems Theory and Applications for Linear Repetitive Processes

Control Systems Theory and Applications for Linear Repetitive Processes

Eric Rogers, K. Galkowski, D. H. Owens

0 Sterne
Buch

235.39 €

In den Warenkorb
Erschienen am 20.02.2007
lieferbar
Nonlinear Control of Engineering Systems

Nonlinear Control of Engineering Systems

Warren E. Dixon, Aman Behal, Darren M. Dawson, Siddharth P. Nagarkatti

0 Sterne
Buch

171.19 €

Vorbestellen
Erschienen am 26.06.2003
Voraussichtlich lieferbar in 5 Tag(en)
Linear Systems Control

Linear Systems Control

Elbert Hendricks, Ole Jannerup, Paul Haase Sørensen

0 Sterne
Buch

192.59 €

In den Warenkorb
Erschienen am 25.09.2008
lieferbar
Optimal Control, Stabilization and Nonsmooth Analysis

Optimal Control, Stabilization and Nonsmooth Analysis

0 Sterne
Buch

213.99 €

Vorbestellen
Erschienen am 20.04.2004
Voraussichtlich lieferbar in 3 Tag(en)
Ensuring Control Accuracy

Ensuring Control Accuracy

Alexander Nebylov

0 Sterne
Buch

117.69 €

Vorbestellen
Erschienen am 18.05.2004
Voraussichtlich lieferbar in 3 Tag(en)
Perspectives in Mathematical System Theory, Control, and Signal Processing

Perspectives in Mathematical System Theory, Control, and Signal Processing

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 28.02.2010
lieferbar
Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems

Emilia Villani, Paulo Eigi Miyagi, Robert Valette

0 Sterne
Buch

160.49 €

In den Warenkorb
lieferbar
Fuzzy Control

Fuzzy Control

0 Sterne
Buch

192.59 €

Vorbestellen
Erschienen am 15.08.2000
Voraussichtlich lieferbar in 3 Tag(en)
Robust Model Predictive Control for Large-Scale Manufacturing Systems subject to Uncertainties

Robust Model Predictive Control for Large-Scale Manufacturing Systems subject to Uncertainties

Jens Tonne

0 Sterne
Buch

49.00 €

In den Warenkorb
Erschienen am 17.01.2018
lieferbar
Stochastic Hybrid Systems

Stochastic Hybrid Systems

0 Sterne
Buch

192.59 €

In den Warenkorb
Erschienen am 19.06.2006
lieferbar
Steuerungstechnik

Steuerungstechnik

Ludger Overmeyer

0 Sterne
Buch

39.99 €

Vorbestellen
Erschienen am 23.04.2020
Erscheint im September 2021
Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

S. J. Kwon, Wan Kyun Chung

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 07.07.2004
lieferbar
Weitere Empfehlungen zu „Hybrid Systems: Computation and Control “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Hybrid Systems: Computation and Control“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich