Analysis and Control of Finite-Value Systems

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. The book contains examples to provide a better understanding of the practical applications of finite-value systems.

SECTION I THEORY Introduction and Preliminaries Finite-Value Networks Notations Semi-Tensor Product of Matrices Boolean Networks Introduction to Boolean Networks Topological Structure of Boolean Networks Lyapunov-Based Stability Analysis Function Perturbation of Boolean Networks Feedback Stabilization of Boolean Control Networks Output Tracking of Boolean Control Networks Mix-Value Logical Networks Introduction to Mix-Value Logical Networks Topological Structure of Mix-Value Logical Networks Disturbance Decoupling of Mix-Value Logical Control Networks General Expression of Pseudo Logical Function Delayed Logical Networks Introduction to Delayed Logical Networks Topological Structure of Delayed Logical Networks Trajectory Controllability of Delayed Logical Control Networks Control Design for Output Tracking of Delayed Boolean Control Networks Switched Logical Networks Introduction to Switched Logical Networks Stability Analysis via Switching-Point Reachability Controllability Analysis and Control Design with State and Input Constraints Disturbance Decoupling Controller Design Probabilistic Logical Networks Introduction to Probabilistic Logical Networks Controllability of Context-Sensitive Probabilistic Logical Control Networks Optimal Control for Probabilistic Logical Control Networks Output Tracking Control of Probabilistic Logical Control Networks SECTION II APPLICATIONS Networked Evolutionary Games Introduction to Networked Evolutionary Games Algebraic Formulation of Networked Evolutionary Games Convergence Analysis of Networked Evolutionary Games Optimization of Networked Evolutionary Games Nonlinear Feedback Shift Registers Introduction to Shift Registers Analysis of Feedback Shift Registers via Boolean Networks Analysis of Feedback Shift Registers via Multi-Value Logical Networks Graph Theory Introduction to Graph Theory Graph Maximum Stable Set and Coloring Problems Robust Graph Coloring Problem T-Coloring and List Coloring Problems Finite-Field Networks Introduction to Finite-Field Networks Consensus of Finite-Field Networks with Switching Topologies and Linear Protocols Leader-Follower Consensus of Multi-Agent Systems over Finite Fields