Control synthesis of timed discrete event systems based on predicate invariance.

Control synthesis of timed discrete event systems based on predicate invariance. Research Abstract Details 

Research Abstract Table of Contents

Jump to the:

Control synthesis of timed discrete event systems based on predicate invariance. Abstract Text:

H Chen,H M Hanisch,

In this paper, arc-timed Petri nets are used to model controlled real-time discrete event systems, and the control synthesis problem that designs a controller for a system to satisfy its given closed-loop behavior specification is addressed. For the problem with the closed-loop behavior specified by a state predicate, real-time control-invariant predicates are introduced, and a fixpoint algorithm to compute the unique extremal control-invariant subpredicate of a given predicate, key to the control synthesis, is presented. For the problem with the behavior specified by a labeled arc-timed Petri net, it is shown that the control synthesis problem can be transformed into one that synthesizes a controller for an induced arc-timed Petri net with a state predicate specification. The problem can then be solved by using the fixpoint algorithm as well. The algorithm involves conjunction and disjunction operations of polyhedral sets and can be algorithmically implemented, making automatic synthesis of controllers for real-time discrete event systems possible.

Control synthesis of timed discrete event systems based on predicate invariance. Publishing Authors By Initials

H Chen,HM Hanisch,

For similar abstracts research abstracts see: abstracts research

PUBMED ID PMID:

MEDLINE DATE:

Control synthesis of timed discrete event systems based on predicate invariance. Journal Published:

PUBLICATION TYPE: Journal Article

Journal: IEEE transactions on systems, man, and cybernetics

VOLUME: 30

Page Numbers: 713-24

Journal Abbreviation:

ISSN: 1083-4419

DAY: 6

MONTH: 02

YEAR: 2000

Control synthesis of timed discrete event systems based on predicate invariance. Information

Number of References:

LANGUAGE: eng

NlmUniqueID: 9890044

Control synthesis of timed discrete event systems based on predicate invariance. Keywords Mesh Terms:

KEYWORDS:

MESH TERMS:

Chemical & Substance for Abstract: Control synthesis of timed discrete event systems based on predicate invariance. Information

Substance Name:

Registry Number:

Grant and Affiliation Information for Control synthesis of timed discrete event systems based on predicate invariance.

AFFILIATION: Dept. of Electr. & Comput. Eng., Connecticut Univ., Storrs, CT.

Country: United States

AGENCY:

GRANT:

ACRONYM:

MEDLINETA: IEEE Trans Syst Man Cybern B C

REFSOURCE:

DATABASENAME:

ACCESSION NUMBER:

Number Hits: 0

Control synthesis of timed discrete event systems based on predicate invariance Related Publications

• A new monoclonal antibody (A78-G/A7) to the Thomsen-Friedenreich pan-tumor antigen.
• Control synthesis of timed discrete event systems based on predicate invariance.
• First Experiences with Laparoscopic Adjustable Gastric Banding (LAGB) in the Treatment of Patients with Childhood Craniopharyngioma and Morbid Obesity1.
• Glucuronic acid can extend O-linked core 1 glycans, but it contributes only weakly to the negative surface charge of Drosophila melanogaster Schneider-2 cells.
• High density O-glycosylation on tandem repeat peptide from secretory MUC1 of T47D breast cancer cells.
• Immunohistochemical in situ characterization of orthopedic implants on polymethyl metacrylate embedded cutting and grinding sections.
• Initiation of Mammalian O-Mannosylation in Vivo Is Independent of a Consensus Sequence and Controlled by Peptide Regions within and Upstream of the {alpha}-Dystroglycan Mucin Domain.
• Muscle, a review of anatomy, histology and physiology.
• Recombinant MUC1 probe authentically reflects cell-specific O-glycosylation profiles of endogenous breast cancer mucin. High density and prevalent core 2-based glycosylation.
• [Elective portasystemic shunt: selection criteria, choice of procedure,results]
• [Errors and dangers of mechanical suture instruments--correction and prevention]