Hybrid Systems: Computation and Control
Springer Berlin (Verlag)
978-3-540-33170-4 (ISBN)
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 HybridAutomata.- 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!.
| Erscheint lt. Verlag | 20.3.2006 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XII, 584 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 1850 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | algorithm • algorithms • Dependable Systems • Dynamical Systems • Embedded Systems • Formal Verification • hybrid control systems • Hybrid Systems • Model Checking • Modeling • real-time • Real-Time Systems • Scala • stochastic hybrid systems • Systems Analysis • systems modeling • systems verification |
| ISBN-10 | 3-540-33170-0 / 3540331700 |
| ISBN-13 | 978-3-540-33170-4 / 9783540331704 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
