国家自然科学基金(60903030)

作品数：2被引量：0H指数：0
导出分析报告
相关期刊：《Tsinghua Science and Technology》《Frontiers of Computer Science》更多>>
相关主题：LGEINVARIANTI-ADYNAMICAL_SYSTEMDIFFERENTIALLY更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SMT-based query tracking for differentially private data analytics systems
《Frontiers of Computer Science》2018年第6期1192-1207,共16页Chen LUO Fei HE 
supported in part by the National Program on Key Basic Research Project (973Program)(2010CB328003); the National Natural Science Foundation of China (Grant Nos.61672310, 61272001,60903030,91218302); the National Key Technologies R&D Program of China (SQ2012BAJY4052).
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant
《Tsinghua Science and Technology》2014年第2期211-222,共12页Hui Kong Fei He Xiaoyu Song Ming Gu Hongyan Tan Jiaguang Sun 
supported by the National Key Basic Research and Development (973) Program of China (No. 2010CB328003);the National Natural Science Foundation of China (Nos. 61272001,60903030,and 91218302);the National Key Technology Research and Development Program (No. SQ2012BAJY4052);the Tsinghua University Initiative Scientific Research Program
To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified ...
关键词：inductive invariant semi-algebraic dynamical system safety verification hybrid system nonlinearsystem 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部