QQ客服 官方微博 反馈留言

	Safety verification of nonlinear hybrid systems based on invariant clusters
	Kong, Hui[1]; Bogomolov, Sergiy[2]; Schilling, Christian[3]; Jiang, Yu[4]; Henzinger, Thomas A.[5]
	2017
会议名称	20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017
会议日期	2017-04-18
页码	163-172
收录类别	EI
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/5187899
专题	河南大学
作者单位	[1]IST Austria Klosterneuburg, Austria [2]Australian National University, Canberra, Australia [3]University of Freiburg, Freiburg, Germany [4]Tsinghua University, Beijing Henan University, Kaifeng, China [5]IST Austria, Klosterneuburg, Austria
推荐引用方式 GB/T 7714	Kong, Hui[1],Bogomolov, Sergiy[2],Schilling, Christian[3],et al. Safety verification of nonlinear hybrid systems based on invariant clusters[C]. 见:20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017. 2017-04-18.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。