E-resources
Peer reviewed
Open access
-
Zhang, Yuling; Liu, Gaiyun; Wu, Naiqi; Li, Zhiwu
IET control theory & applications, 20/May , Volume: 18, Issue: 8Journal Article
This work investigates quantitative supervisory control of discrete event systems modeled with Petri nets under the fixed‐initial‐credit energy objective. A weight function referred to as an energy function is defined on a Petri net to characterize the energy level of a transition. The proposed fixed‐initial‐credit energy problem aims to design a supervisor such that the energy level of a transition sequence in a supervised system is higher than 0 under a given initial energy level. The problem is eventually transformed into a two‐player game between a system and a supervisor; supervisor synthesis is reduced to finding a winning strategy in the two‐player game. Instead of enumerating the complete state space of the underlying Petri net, two information structures are utilized, namely the conventional basis reachability graph and the newly proposed essential marking graph, to construct two‐player games based on each of them. It is shown that a winning strategy for a supervisor decoded from the game based on the basis reachability graph of the Petri net is a solution to the problem but is in general restrictive. Further, it is shown that the set of strategies for a supervisor in the game based on the essential marking graph is consistent with that from the game based on the reachability graph of a Petri net. The two developed approaches do not require an exhaustive exploration of the state space of a plant, thus achieving higher efficiency. This work investigates quantitative supervisory control of discrete event systems modeled with Petri nets under the fixed‐initial‐credit energy objective. We utilize two information structures to construct two‐player games based on each of them. The supervisor synthesis problem is reduced to finding a winning strategy in the two‐player game.
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
If the library membership card is not in the list,
add a new one.
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Source: Personal bibliographies
and: SICRIS
The material is available in full text. If you wish to order the material anyway, click the Continue button.