Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Loading…
Loading…
EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software
Han, De-Shuai, Yang, Qi-Liang, Xing, Jian-Chun, Ma, Guang-Lian
Published in Journal of computer science and technology (01.10.2020)
Published in Journal of computer science and technology (01.10.2020)
Get full text
Journal Article
Loading…
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models
Cortellessa, Vittorio, Eramo, Romina, Tucci, Michele
Published in 2018 IEEE International Conference on Software Architecture (ICSA) (01.04.2018)
Published in 2018 IEEE International Conference on Software Architecture (ICSA) (01.04.2018)
Get full text
Conference Proceeding
Loading…
Loading…
Stabilization of Networked Stochastic Systems Subject to Actuator Saturation
Get full text
Conference Proceeding
Loading…
L2−L∞ consensus of stochastic delayed multi-agent systems with ADT switching interaction topologies
Huang, Xin, Liu, Yamin, Wang, Yang, Zhou, Jianping, Fang, Muyun, Wang, Zhen
Published in Applied mathematics and computation (01.03.2020)
Published in Applied mathematics and computation (01.03.2020)
Get full text
Journal Article
Loading…
Loading…
Loading…
Novel adaptive iterative learning control design targeting unknown time-delays and non-square control gains
Shen, Ruohan, Li, Xuefang, Li, Xiao-Dong
Published in Journal of the Franklin Institute (15.08.2025)
Published in Journal of the Franklin Institute (15.08.2025)
Get full text
Journal Article
Loading…