胰脏
发表于 2025-3-28 16:23:11
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.
注视
发表于 2025-3-28 19:12:23
http://reply.papertrans.cn/44/4302/430185/430185_42.png
削减
发表于 2025-3-29 00:40:35
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
发表于 2025-3-29 03:11:01
http://reply.papertrans.cn/44/4302/430185/430185_44.png
值得赞赏
发表于 2025-3-29 09:15:26
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
发表于 2025-3-29 12:56:15
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
发表于 2025-3-29 18:41:21
http://reply.papertrans.cn/44/4302/430185/430185_47.png
LIMIT
发表于 2025-3-29 22:57:18
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
发表于 2025-3-30 03:47:57
http://reply.papertrans.cn/44/4302/430185/430185_49.png
残忍
发表于 2025-3-30 04:30:20
http://reply.papertrans.cn/44/4302/430185/430185_50.png