A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems

基于数据的逻辑网络控制

Data-based control of Logical Networks

本文提出了一种基于有限数据的布尔控制网络控制方法，用于评估网络的基本特性并解决安全控制和输出调节问题。

Logical Zonotopes：一种用于布尔函数形式化验证的集合表示方法

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

本文提出新型二元向量集合表示逻辑zonotope，可通过生成元执行逻辑运算以降低复杂度，适用于二元空间离散动力系统分析，并在密钥发现与交通协议安全验证场景中验证了效用。

A General Control Framework for Boolean Networks

This paper focuses on proposing a general control framework for large-scale Boolean networks (\texttt{BNs}). Only by the network structure, the concept of structural controllability for \texttt{BNs} is formalized. A necessary and sufficient criterion is derived for the structural controllability of \texttt{BNs}; it can be verified with $Θ(n^2)$ time, where $n$ is the number of network nodes. An interesting conclusion is shown as that a \texttt{BN} is structurally controllable if and only if it is structurally fixed-time controllable. Afterwards, the minimum node control problem with respect to…

Formal assessment of some properties of Context-Aware Systems

Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynamics has stable equilibrium states, corresponding to constant inputs, and hence it does not exhibit oscillatory behaviors, and to establish other useful properties in order to implement a precise and t…

部分指定布尔网络的鲁棒控制

Robust Control of Partially Specified Boolean Networks

针对部分指定布尔网络的控制问题，提出符号方法解决状态爆炸问题，引入鲁棒性等量化指标优化控制，验证了方法高效可扩展，且单步扰动鲁棒性低于临时或永久扰动。