| [1] 百度百科. 物联网[EB/OL]. [2012-11-27]. http://baike.baidu. com/view/1136308.htm. [2] de Deugd S, Carroll R, Kelly K E, et al. SODA: Service Oriented Device Architecture[J]. IEEE Pervasive Computing, 2006, 5(3): 94-96. [3] Guinard D, Vlad T, Karnouskos S, et al. Interacting with the SOA-based Internet of Things: Discovery Query, Selection, and On-demand Provisioning of Web Services[J]. IEEE Transactions on Services Computing, 2010, 3(3): 223-235. [4] 李 浪, 李仁发, 李肯立, 等. 混成系统研究综述[J]. 计算机应用研究, 2008, 25(8): 2255-2259. [5] 李 力, 金 芝, 李 戈. 基于时间自动机的物联网服务建模和验证[J]. 计算机学报, 2011, 34(8): 1365-1377. [6] Henzinger T A. The Theory of Hybrid Automata[C]//Proc. of the 11th Annual IEEE Symposium on Logic in Computer Science. New Brunswick, USA: IEEE Press, 1996. [7] Platzer A. Differential Dynamic Logic for Hybrid Systems[J]. Journal of Automated Reasoning, 2008, 41(2): 143-189. [8] Sonntag C, Schiffelers R R H, van Beek D A, et al. Modeling and Simulation Using the Compositional Interchange Format for Hybrid Systems[C]//Proc. of International Conference on Mathematical Modeling. Vienna, Austria: [s. n.], 2009. [9] Renshaw D W, Loos S M, Platzer A. Distributed Theorem Proving for Distributed Hybrid Systems[M]//Formal Methods and Software Engineering. Heidelberg, Germany: Springer, 2011: 356-371. [10] Platzer A. Quantified Differential Dynamic Logic for Dis- tributed Hybrid Systems[M]//Computer Science Logic. Heidelberg, Germany: Springer, 2010: 469-483. [11] Loos S M, Platzer A, Nistor L. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified[C]//Proc. of the 17th International Symposium on Formal Methods. Limerick, Ireland: [s. n.], 2011. 编辑 金胡考 |