Description |
1 online resource (xii, 584 pages) : illustrations, map |
Series |
Lecture notes in computer science, 0302-9743 ; 3927 |
|
Lecture notes in computer science ; 3927. 0302-9743
|
Contents |
Invited Talks -- Motion Coordination for Multi-agent Networks -- Towards a Third Generation of Control Systems -- Hybrid Systems--And Everything Else -- Regular Papers -- Behavioural Approximations for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems -- On the Stability of Zeno Equilibria -- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid Modelling and Control of the Common Rail Injection System -- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A Lattice Theory for Solving Games of Imperfect Information -- Observability of Hybrid Automata by Abstraction -- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks -- Decision Problems for the Verification of Real-Time Software -- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control -- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition -- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective -- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation -- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes -- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints -- Approximate Abstraction of Stochastic Hybrid Automata -- A Fully Automated Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine Systems -- Approximation, Sampling and Voting in Hybrid Computing Systems -- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems -- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems -- Estimation and Conflict Detection in Human Controlled Systems -- Stability Analysis of Hybrid Systems Via Small-Gain Theorems -- Stochastic Hybrid Delay Population Dynamics -- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback -- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems -- Verifying Average Dwell Time by Solving Optimization Problems -- Interchange Format for Hybrid Systems: Abstract Semantics -- Model Checking of Hybrid Systems: From Reachability Towards Stability -- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems -- Fixed Point Iteration for Computing the Time Elapse Operator -- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks -- Beyond Zeno: Get on with It! |
Analysis |
HSCC |
|
Hybrid systems |
|
Computation |
|
simulatiemodellen |
|
simulation models |
|
systemen |
|
systems |
|
computerwetenschappen |
|
computer sciences |
|
computational science |
|
procesarchitectuur |
|
process architecture |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Hybrid computers -- Congresses
|
|
COMPUTERS -- Hardware -- Mainframes & Minicomputers.
|
|
Informatique.
|
|
Hybrid computers.
|
Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Hespanha, João P.
|
|
Tiwari, Ashish, 1973-
|
ISBN |
9783540331711 |
|
3540331719 |
|
3540331700 |
|
9783540331704 |
|