Atjaunināt sīkdatņu piekrišanu

E-grāmata: Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings

Edited by , Edited by
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 106,47 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 2224,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society andorganized in cooperation with ACM/SIGBED.
Regular Papers
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
1(15)
Alessandro Abate
Alessandro D'Innocenzo
Maria D. Di Benedetto
Shankar S. Sastry
Co-simulation Tools for Networked Control Systems
16(14)
Ahmad T. Al-Hammouri
Michael S. Branicky
Vincenzo Liberatore
On the Maximum Principle for Impulsive Hybrid Systems
30(13)
Vadim Azhmyakov
Sid Ahmed Attia
Jorg Raisch
Algebraic Identification of MIMO SARX Models
43(15)
Laurent Bako
Rene Vidal
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
58(14)
L. Benvenuti
A. Ferrari
E. Mazzi
A.L. Sangiovanni Vincentelli
Controller Synthesis with Budget Constraints
72(15)
Krishnendu Chatterjee
Rupak Majumdar
Thomas A. Henzinger
Trading Infinite Memory for Uniform Randomness in Timed Games
87(14)
Krishnendu Chatterjee
Thomas A. Henzinger
Vinayak S. Prabhu
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components
101(15)
Christian G. Claudel
Alexandre M. Bayen
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
116(14)
P.J.L. Cuijpers
M.A. Reniers
A Control Lyapunov Approach to Predictive Control of Hybrid Systems
130(14)
S. Di Cairano
M. Lazar
A. Bemporad
W.P.M.H. Heemels
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems
144(14)
S. Di Cairano
K.H. Johansson
A. Bemporad
R.M. Murray
Anytime Control Algorithms for Embedded Real-Time Systems
158(14)
Daniele Fontanelli
Luca Greco
Antonio Bicchi
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
172(15)
Martin Franzle
Holger Hermanns
Tino Teige
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
187(14)
Goran Frehse
Sumit Kumar Jha
Bruce H. Krogh
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
201(14)
Antoine Girard
Giordano Pola
Paulo Tabuada
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
215(14)
Antoine Girard
Colas Le Guernic
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
229(15)
R. Grosu
E. Bartocci
F. Corradini
E. Entcheva
S.A. Smolka
A. Wasilewska
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
244(15)
Tingting Han
Joost-Pieter Katoen
Alexandru Mereacre
Observer-Based Control of Linear Complementarity Systems
259(14)
W. P. M. H. Heemels
M. K. Camlibel
B. Brogliato
J. M. Schumacher
Complementarity Systems in Constrained Steady-State Optimal Control
273(14)
A. Jokic
M. Lazar
P. P. J. van den Bosch
Dealing with Nondeterminism in Symbolic Control
287(14)
Marius Kloetzer
Calin Belta
Safety and Liveness in Intelligent Intersections
301(15)
Hemant Kowshik
Derek Caveney
P. R. Kumar
LTLC: Linear Temporal Logic for Control
316(14)
YoungMin Kwon
Gul Agha
Switched and PieceWise Nonlinear Hybrid System Identification
330(14)
Fabien Lauer
Gerard Bloch
Verification of Supervisory Control Software Using State Proximity and Merging
344(14)
Flavio Lerda
James Kapinski
Edmund M. Clarke
Bruce H. Krogh
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements
358(14)
Alexandre R. Mesquita
Joao P. Hespanha
Karl Astrom
Noncausal Optimal Tracking of Linear Switched Systems
372(14)
Gou Nakura
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems
386(15)
Mihaly Petreczky
Rene Vidal
A Decidable Class of Planar Linear Hybrid Systems
401(14)
Pavithra Prabhakar
Vladimeros Vladimerou
Mahesh Viswanathan
Geir E. Dullerud
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
415(14)
Nacim Ramdani
Nacim Meslem
Yves Candau
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
429(14)
Derek Riley
Xenofon Koutsoukos
Kasandra Riley
Distributed Lyapunov Functions in Analysis of Graph Models of Software
443(14)
Mardavij Roozbehani
Alexandre Megretski
Emilio Frazzoli
Eric Feron
On the Optimality of Dubins Paths across Heterogeneous Terrain
457(14)
Ricardo G. Sanfelice
Emilio Frazzoli
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems
471(15)
Axel Schild
Jan Lunze
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
486(14)
Lorenzo Sella
Pieter Collins
Input-to-State Stabilization with Quantized Output Feedback
500(14)
Yoav Sharon
Daniel Liberzon
Bisimilar Finite Abstractions of Interconnected Systems
514(14)
Yuichi Tazaki
Jun-ichi Imura
On Controllability of Timed Continuous Petri Nets
528(14)
C. Renato Vazquez
Antonio Ramirez
Laura Recalde
Manuel Silva
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
542(14)
Boyan Yordanov
Calin Belta
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems
556(14)
Kerim Yunt
Composition of Motion Description Languages
570(14)
Wenqi Zhang
Herbert G. Tanner
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems
584(14)
Wei Zhang
Jianghai Hu
Short Papers
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
598(4)
Alessandro Abate
Maria Prandini
John Lygeros
Shankar Sastry
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries
602(4)
Saurabh Amin
Falk M. Hante
Alexandre M. Bayen
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
606(4)
Amit Bhatia
Emilio Frazzoli
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
610(4)
Manuela L. Bujorianu
John Lygeros
Rom Langerak
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems
614(4)
Matthew Daigle
Xenofon Koutsoukos
Gautam Biswas
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
618(4)
Sumit Kumar Jha
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems
622(4)
Andrew Lamperski
Aaron D. Ames
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time
626(4)
Ji-Woong Lee
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
630(4)
Ian M. Mitchell
Yoshihiko Susuki
Approximate Control Design for Solar Driven Sensor Nodes
634(4)
Clemens Moser
Lothar Thiele
Davide Brunelli
Luca Benini
Modular Development of Hybrid Systems for Verification in Coq
638(4)
Milad Niqui
Olga Tveretina
Steering a Leader-Follower Team Via Linear Consensus
642(4)
Fabio Pasqualetti
Simone Martini
Antonio Bicchi
Logical Verification and Systematic Parametric Analysis in Train Control
646(4)
Andre Platzer
Jan-David Quesel
Information Theoretical Approach to Identification of Hybrid Systems
650(4)
Li Pu
Jinchun Hu
Badong Chen
A Policy Iteration Technique for Time Elapse over Template Polyhedra (Extended Abstract)
654(4)
Sriram Sankaranarayanan
Thao Dang
Franjo Ivancic
Generating Box Invariants
658(4)
Ashish Tiwari
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles
662(4)
Laurent Tournier
Jean-Luc Gouze
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
666(4)
Yoshiyuki Tsuchie
Toshimitsu Ushio
On the Timing of Discrete Events in Event-Driven Control Systems
670(4)
Manel Velasco
Pau Marti
Camilo Lozoya
Decentralized Event-Triggered Broadcasts over Networked Control Systems
674(5)
Xiaofeng Wang
Michael D. Lemmon
Author Index 679