Titlebook: Hybrid Systems: Computation and Control; 9th International Wo Jo?o P. Hespanha,Ashish Tiwari Conference proceedings 2006 Springer-Verlag Be

胰臟

On the Stability of Zeno Equilibriaria, we consider a form of asymptotic stability that is global in the continuous state, but local in the discrete state. We provide sufficient conditions for stability of these equilibria, resulting in sufficient conditions for the existence of Zeno behavior.

注視

削減

Improving Efficiency of Finite Plans by Optimal Choice of Input Setsd by the choice of inputs, and provides some results as to optimal performance in terms of accuracy and range. Efficiency is here measured in terms of computational complexity and description length (in number of bits) of finite plans.

CRP743

值得贊賞

Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networksmetric constraints specific to models of genetic regulatory networks. We show the feasibility of our approach by the reconstruction of switching thresholds in a PWA model of the carbon starvation response in the bacterium ..

Physiatrist

Decision Problems for the Verification of Real-Time Softwarepushdown automata with only one clock is undecidable. Thus there is no algorithm to check language inclusion of real-time programs for specifications given by visibly pushdown specifications with just one clock.

ITCH

LIMIT

Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decompositionertain structural information, and the on-line, where this available precomputed information is used to efficiently compute the optimal solution of the original problem in real time. The method is illustrated through its application to the control of a boost dc-dc converter.

BARB

殘忍