迪基·阿兹基亚
人员信息
优化列表
2020年–今天
2023 [公元9年] 赫利西亚·努尔·法迪拉 , 迪基·阿兹基亚 , 迪迪克·库斯努尔·阿里夫 , 桂生寨 :
线性互联系统的分散静态输出反馈控制器设计。 国际期刊申请。 数学。 计算。 科学。 33 ( 1 ) ( 2023 ) 2022 [j8] Subiono公司 , 佐科·卡约诺 , 迪基·阿兹基亚 , 比扬·达瓦兹 :
在max-plus代数上使用小波变换的密码算法。 J.King Saud大学计算机。 信息科学。 34 ( 三 ) : 627-635 ( 2022 ) [j7] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
基于SMT的高维区间Max-Plus线性系统可达性分析。 IEEE传输。 自动。 控制。 67 ( 6 ) : 2700-2714 ( 2022 ) 2020 [c18] 雷布 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 穆罕默德·赛义法·穆菲德 , 拉贾什·雷 , 吴玉明 , 埃娜·扎法内拉 :
ARCH-COMP20类别报告:具有分段恒定动力学和有界模型检查的混合系统。 建筑 2020 : 1-15 [i4] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
高维Max-Plus线性系统的符号可达性分析。 CoRR公司 abs/2007.04510 ( 2020 )
2010 – 2019
2019 [c17] 子频道子频道 , 拉赫玛特·瓦胡迪·伊斯梅尔 , 塔希亚图·阿斯菲哈尼 , 迪基·阿兹基亚 :
使用无中心卡尔曼滤波器和递推最小二乘估计水动力系数。 国际捕鲸协会 2019 : 9-13 [第16条] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法·穆菲德 , 伊德里斯·里奥亚克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoTWeek 2019 : 1-13 [第15条] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
基于谓词抽象的Max-Plus线性系统有界模型检验。 格式 2019 : 142-159 [第14条] 赫利西亚·努尔·法迪拉 , 迪迪克·库斯努尔·阿里夫 , 法特马瓦蒂 , 迪基·阿兹基亚 , 桂生寨 :
集中和分散Hs ∞ 基于矩阵不等式方法的楼层建筑系统控制器设计。 ICEEI公司 2019 : 105-110 [i3] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
基于谓词抽象的Max-Plus线性系统有界模型检验。 CoRR公司 腹肌/1907.03564 ( 2019 ) 2018 [j6] 基斯托西尔·法希姆 , 迪基·阿兹基亚 :
使用max-plus代数的广义公共交通调度。 凯贝内提卡 54 ( 2 ) : 243-267 ( 2018 ) [第13条] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 , 穆罕默德·赛义法·穆菲德 , 埃娜·扎法内拉 :
ARCH-COMP18类别报告:具有分段恒定动力学的混合系统。 ADHS建筑 2018 : 1-13 [第12条] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
Max-Plus线性系统的热带抽象。 格式 2018 : 271-287 [第11条] 迪基·阿兹基亚 :
前言:3 第个 2018年INNS大数据和深度学习会议。 INNS大数据会议 2018 : 1 [i2] 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
Max-Plus-Linear系统的热带抽象。 CoRR公司 abs/1806.04604 ( 2018 ) 2017 [第10条] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 :
ARCH-COMP17类别报告:具有分段恒定动力学的混合系统。 建筑@CPSWeek 2017 : 124-133 2016 [j5] 迪基·阿兹基亚 , 张怡宁 , 亚历山德罗·阿巴特 :
VeriSiMPL 2:用于验证max-plus-linear系统的开源软件。 自由裁量权。 事件动态。 系统。 26 ( 1 ) : 109-145 ( 2016 ) [j4] Subiono公司 , 穆罕默德·赛义法·穆菲德 , 迪基·阿兹基亚 :
二部(min,max,+)-系统中拉丁方的特征问题。 自由裁量权。 事件动态。 系统。 26 ( 4 ) : 657-668 ( 2016 ) [j3] 萨代赫·埃斯迈尔·扎德赫·苏贾尼(Sadegh Esmaeil Zadeh Soudjani) , 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
随机Max-Plus-线性系统的形式化验证。 IEEE传输。 自动。 控制。 61 ( 10 ) : 2861-2876 ( 2016 ) 【c9】 伊登·多西亚蒂 , 马塞洛·特谢拉 , 理查森·里贝罗 , 马尔科·巴博萨 , 法瓦利姆 , 法比西奥·恩姆布雷克 , 迪基·阿兹基亚 :
数据库基础设施中的资源规划。 冰岛(1) 2016 : 53-62 【c8】 瓦哈布·罗斯坦普尔 , 迪基·阿兹基亚 , 萨代赫·埃斯迈尔·扎德赫·苏贾尼(Sadegh Esmaeil Zadeh Soudjani) , 巴特·德舒特 , 塔马斯·凯维茨基 :
随机max-plus线性系统的机会约束模型预测控制器综合。 表面活性剂 2016 : 3581-3588 [i1] 迪基·阿兹基亚 , 小曼纽尔·马佐。 :
使用时间博弈自动机的事件触发网络控制系统调度。 CoRR公司 abs/1610.03729 ( 2016 ) 2015 [注2] 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
Max-Plus-线性系统可达性分析的计算技术。 自动。 53 : 293-302 ( 2015 ) 【c7】 阿曼·谢里菲·科拉里贾尼 , 迪基·阿兹基亚 , 小曼纽尔·马佐。 :
事件触发控制系统调度的符号抽象。 疾病预防控制中心 2015 : 6153-6158 2014 【b1】 迪基·阿兹基亚 :
Max-Plus-线性系统的有限抽象:理论和算法。 荷兰代尔夫特理工大学, 2014 【c6】 迪基·阿兹基亚 , 萨代赫·埃斯迈尔·扎德赫·苏贾尼(Sadegh Esmaeil Zadeh Soudjani) , 亚历山德罗·阿巴特 :
随机最大加线性系统的有限抽象。 QEST公司 2014 : 74-89 【c5】 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
自治Max-Plus-线性系统的前向可达性计算。 TACAS公司 2014 : 248-262 【c4】 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
自治Max-Plus-线性系统的后向可达性。 WODES公司 2014 : 117-122 2013 [j1] 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
Max-Plus-线性系统的有限抽象。 IEEE传输。 自动。 控制。 58 ( 12 ) : 3039-3053 ( 2013 ) 【c3】 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
非自治Max-Plus-线性系统的有限抽象。 自动控制 2013 : 4387-4392 [c2] 迪基·阿兹基亚 , 亚历山德罗·阿巴特 :
VeriSiMPL:通过MPL模型的双模拟进行验证。 QEST公司 2013 : 274-277 2012 【c1】 迪基·阿兹基亚 , 巴特·德舒特 , 亚历山德罗·阿巴特 :
自治Max-Plus-线性系统的抽象和验证。 自动控制 2012 : 721-726