7 citations · 18 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2019★ 1 cited
Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu +2
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient…
eess.SY2016★ 4 cited
Reducing complexity of autonomous control agents for verifiability
Paolo Izzo, Hongyang Qu, Sandor M. Veres
The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a lim…