Titlebook: Hybrid Systems: Computation and Control; 8th International Wo Manfred Morari,Lothar Thiele Conference proceedings 2005 Springer-Verlag Berl

supplementary

书目名称Hybrid Systems: Computation and Control影响因子(影响力)




书目名称Hybrid Systems: Computation and Control影响因子(影响力)学科排名




书目名称Hybrid Systems: Computation and Control网络公开度




书目名称Hybrid Systems: Computation and Control网络公开度学科排名




书目名称Hybrid Systems: Computation and Control被引频次




书目名称Hybrid Systems: Computation and Control被引频次学科排名




书目名称Hybrid Systems: Computation and Control年度引用




书目名称Hybrid Systems: Computation and Control年度引用学科排名




书目名称Hybrid Systems: Computation and Control读者反馈




书目名称Hybrid Systems: Computation and Control读者反馈学科排名

去掉

高原

同义联想法

https://doi.org/10.1007/b106766Augmented Reality; algorithms; automata; dependable systems; dynamical systems; embedded systems; formal v

N防腐剂

Fracture

Observability of Switched Linear Systems in Continuous TimeWe study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbitrary switching, and characterize both properties in both the autonomous and non-autonomous cases.

坚毅

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/h/image/430184.jpg

Latency

STING

Operational Semantics of Hybrid Systemsprogram in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in d

Ataxia

SOS Methods for Semi-algebraic Games and Optimizational ”primitive” in the analysis and design of hybrid dynamical systems. Fundamental tasks such as reachability analysis, abstraction verification, and the computation of stability and performance certificates, all use these operations extensively, and can quickly become the computational bottleneck i