[go: up one dir, main page]

Chao et al., 2003 - Google Patents

Necessary conditions for control consistency in hierarchical control of discrete-event systems

Chao et al., 2003

Document ID
16403322781492141432
Author
Chao Z
Xi Y
Publication year
Publication venue
IEEE transactions on automatic control

External Links

Snippet

Hierarchical consistency is an important concept in control theory of hierarchical discrete- event systems (DESs). In order to establish corresponding control structure in high level, Wong introduced (1990, 1994) the concept of control consistency, which implies hierarchical …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring

Similar Documents

Publication Publication Date Title
Baier et al. Symbolic model checking for probabilistic processes
Benveniste et al. Diagnosis of asynchronous discrete-event systems: a net unfolding approach
Marsan et al. The effect of execution policies on the semantics and analysis of stochastic Petri nets
CN114281590B (en) Automatic fault tree generation method
CN112771550A (en) Automatic generation of efficient rule set implementations
US11935664B2 (en) Dynamic characteristic analysis method of DET and RELAP5 coupling based on universal instrumental variable method
Chao et al. Necessary conditions for control consistency in hierarchical control of discrete-event systems
Sevinc Automation of simplification in discrete event modelling and simulation
Klaudel et al. Asynchronous links in the PBC and M-nets
Aziz et al. Sequential synthesis using S1S
Wheeler et al. Protocol analysis using numerical Petri nets
CN113052443A (en) Dynamic characteristic analysis method for coupling DDET (distributed double entry transient) with RELAP (equal energy density) 5 based on auxiliary variable method
Li et al. What's in a Name? Linear Temporal Logic Literally Represents Time Lines
Gong et al. Perturbation analysis of multiclass queueing systems with admission control
Finkel et al. On the ω-language expressive power of extended petri nets
Engelfriet et al. Tree languages generated by context-free graph grammars
Nawaz et al. Using PVS for modeling and verification of probabilistic connectors
CN112784447A (en) Nuclear power plant accident modeling method for DET and RELAP5 program dynamic coupling framework
CN113051726A (en) Dynamic characteristic analysis method based on coupling of discrete dynamic event tree and RELAP5
Giua et al. Marking estimation of Petri nets with pairs of nondeterministic transitions
Eremeev et al. Temporal reasoning component for real-time intelligent decision-support systems
Rico et al. Model-checking for real-time systems specified in LOTOS
Kim et al. HRNCE grammars—A hypergraph generating system with an eNCE way of rewriting
Macii et al. Formal verification of digital systems by automatic reduction of data paths
Flores Hybrid representation constraint propagation