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影響因子(影響力)學(xué)科排名




書目名稱Hybrid Systems: Computation and Control網(wǎng)絡(luò)公開度




書目名稱Hybrid Systems: Computation and Control網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Hybrid Systems: Computation and Control被引頻次




書目名稱Hybrid Systems: Computation and Control被引頻次學(xué)科排名




書目名稱Hybrid Systems: Computation and Control年度引用




書目名稱Hybrid Systems: Computation and Control年度引用學(xué)科排名




書目名稱Hybrid Systems: Computation and Control讀者反饋




書目名稱Hybrid Systems: Computation and Control讀者反饋學(xué)科排名

去掉

高原

同義聯(lián)想法

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.

堅(jiān)毅

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