| 1. |
- Zhang, Kuize, et al.
(författare)
-
Detectability of boolean control networks
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 105-115
-
Bokkapitel (refereegranskat)abstract
- In Chap. 4, we discuss observability of Boolean control networks (BCNs). Intuitively, a BCN is observable if one can use an input sequence and the corresponding output sequence to determine the initial state. Once the initial state has been obtained, all subsequent states can be determined by input sequences since a BCN is deterministic.
|
|
| 2. |
- Zhang, Kuize, et al.
(författare)
-
Detectability of finite-state automata
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 179-192
-
Bokkapitel (refereegranskat)abstract
- A finite-state automaton (FSA) (see Sect. 2.3) is obtained from a standard nondeterministic finite automaton (NFA, see Sect. 1.3) by removing all accepting states and also replacing the unique initial state by a set of initial states. Such a modification can be used to better describe discrete-event systems (DESs) (Wonham and Cai 2019; Cassandras and Lafortune 2010). DESs usually refer to as event-driven processes that cannot be described by differential equations, where the latter usually represent time-driven processes. The FSA-based DESs are usually simple and many properties of FSAs are decidable, so FSAs are rather welcome in engineering-oriented studies. However, despite being simple, FSAs can also perform many good properties that are of both theoretical and practical importance. During the past three decades, plenty of properties and their verification or synthesis techniques on DESs in the framework of FSAs have been proposed and developed, e.g., controllability and observability (The notion of observability in the supervisory control framework is totally different from that studied in this book (see Chaps. 4, 5, 7).) (Ramadge and Wonham 1987; Ramadge 1986; Lin and Wonham 1988), diagnosability (Lin 1994; Sampath 1995), detectability (Shu et al. 2007; Shu and Lin 2011; Zhang 2017), opacity (Saboori and Hadjicostis 2014, 2012, 2011, 2013; Lin 2011), etc., where controllability and observability are defined on formal languages, diagnosability is defined on events, but the others are defined on states (except for that the result of Lin (2011) is defined on formal languages).
|
|
| 3. |
- Zhang, Kuize, et al.
(författare)
-
Detectability of labeled petri nets
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 195-209
-
Bokkapitel (refereegranskat)abstract
- In Chap. 9, we studied the verification and complexity problem of the notions of strong detectability and weak detectability for finite-state automata. In this chapter, we characterize these notions for labeled Petri nets (see Sect. 2.4).
|
|
| 4. |
- Zhang, Kuize, et al.
(författare)
-
Detectability of nondeterministic finite-transition systems
- 2020
-
Ingår i: QC 20191206. - Cham : Springer International Publishing. ; , s. 165-175
-
Bokkapitel (refereegranskat)abstract
- In the past few years, important applications of nondeterministic finite-transition systems (NFTSs) in formal verification and synthesis of (infinite-state) continuous (or hybrid) control systems have been witnessed (Tabuada 2009; Belta et al. 2017; Kloetzer and Belta 2008; Reissig 2011; Zamani 2014; Girard and Pappas 2007). In this methodology, the requirements or specifications for the control systems are described using temporal logics or automata Baier and Katoen (2008). Then, one constructs finite and often nondeterministic abstractions (NFTSs) of the control systems with the property that discrete (or symbolic) controllers designed on the abstractions by using automata-theoretic algorithms from computer science can be refined into controllers on the original control systems to make the requirements be met.
|
|
| 5. |
- Zhang, Kuize, et al.
(författare)
-
Different types of discrete-time and discrete-space dynamical systems
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 35-56
-
Bokkapitel (refereegranskat)abstract
- In this chapter, we introduce basic concepts and properties of discrete-time and discrete-space dynamical systems which will be discussed in this book, including Boolean control networks, nondeterministic finite-transition systems, finite automata, labeled Petri nets, and cellular automata.
|
|
| 6. |
- Zhang, Kuize, et al.
(författare)
-
Generalized reversibility of cellular automata
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 213-220
-
Bokkapitel (refereegranskat)abstract
- Reversibility is a fundamental property of microscopic physical systems, implied by the laws of quantum mechanics, which seems to be at odds with the Second Law of Thermodynamics (Schiff 2008; Toffoli and Margolus 1990). Nonreversibility always implies energy dissipation, in practice, in the form of heat. Using reversible cellular automata (CAs) to simulate such systems has caused wide attention since the early days of the investigation of CAs (Toffoli and Margolus 1990; Kari 2005). On the other hand, if a CA is not reversible but reversible over an invariant closed subset, e.g., the limit set (Taaki 2007), it can also be used to describe physical systems locally. In this chapter, (Theorems 11.1, 11.2, and 11.4 were reproduced from Zhang and Zhang (2015) with permission @ 2015 Old City Publishing Inc. Theorems 11.3 and 11.5 were reproduced from Taaki (2007) with permission @ 2007 Old City Publishing Inc.) we present a formal definition to represent this class of generalized reversible CAs, and investigate some of their topological properties. We refer the reader to Zhang and Zhang (2015), Taaki (2007) for further reading. Other variants of generalized reversibility can be found in Castillo-Ramirez and Gadouleau (2017).
|
|
| 7. |
- Zhang, Kuize, et al.
(författare)
-
Invertibility and nonsingularity of boolean control networks
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 59-86
-
Bokkapitel (refereegranskat)abstract
- As stated before, initially a Boolean control network (BCN) (see Σ1 in Fig. 3.1) was in a state, then as inputs were fed into the BCN one by one, state transitions occurred successively, yielding a sequence of outputs. What may interest us is: Could the above process be reversed? That is, whether there exists another BCN (see Σ2 in Fig. 3.1) that reverses the inputs and outputs of Σ1. In this chapter, we prove a series of fundamental results on this problem, and apply these results to the mammalian cell cycle.
|
|
| 8. |
- Zhang, Kuize, et al.
(författare)
-
Observability and detectability of large-scale boolean control networks
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 117-142
-
Bokkapitel (refereegranskat)abstract
- In Chaps. 4 and 5, we investigated how to verify different notions of observability and detectability for Boolean control networks (BCNs), and also studied how to determine the initial state (current state) of a BCN according to a particular notion of observability (detectability). In addition, we proved that the problems of verifying these notions are all NP-hard in the number of nodes. Hence, these problems are generally intractable. Actually, in general, for a BCN with more than 30 nodes, one cannot obtain whether it is observable or detectable in a reasonable amount of time by using a personal computer (PC). Hence BCNs with more than 30 nodes can be regarded as large-scale.
|
|
| 9. |
- Zhang, Kuize, et al.
(författare)
-
Observability of boolean control networks
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 87-104
-
Bokkapitel (refereegranskat)abstract
- Given a dynamical system, as the system evolves, a state trajectory is generated. Generally speaking, a quantitative analysis of the system closely depends on states of a trajectory. Particularly for a deterministic system, if the initial state has been determined, then the corresponding trajectory will be naturally determined by using an input sequence. That is, the initial state will help understand the whole information of the corresponding trajectory for deterministic systems.
|
|
| 10. |
- Zhang, Kuize, et al.
(författare)
-
Observability of nondeterministic finite-transition systems
- 2020
-
Ingår i: Communications and Control Engineering. - Cham : Springer International Publishing. ; , s. 145-163
-
Bokkapitel (refereegranskat)abstract
- In Chap. 4, we investigated four notions of observability for Boolean control networks (BCNs), i.e., multiple-experiment observability (Definition 4.1), strong multiple-experiment observability (Definition 4.2), single-experiment observability (Definition 4.3), and arbitrary-experiment observability (Definition 4.4), how to use these notions to determine the initial state of a BCN, how to verify these notions, etc.
|
|
