A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

DOI10.1076/MCMD.8.1.49.8338zbMATH Open1005.93033OpenAlexW1974975325MaRDI QIDQ3147797FDOQ3147797

Authors: V. Chandra, Ratnesh Kumar 

Publication date: 19 February 2003

Published in: Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1076/mcmd.8.1.49.8338

Recommendations

• Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
• scientific article; zbMATH DE number 4200091
• Discrete events and general systems theory
• scientific article; zbMATH DE number 1383199
• scientific article; zbMATH DE number 1262883

zbMATH Keywords

polynomial complexityvalidationdiscrete event systemsdebuggingreconfigurationinitial conditionsprecedence relationsmanufacturing control systemsrule-based modellingautomata modelsevent occurrence rules

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cited In (5)

• A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation
• REALIZATION THEORY OF DISCRETE-EVENT SYSTEMS AND ITS APPLICATION TO THE UNIQUENESS AND UNIVERSALITY OF DEVS FORMALISM
• Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
• Grafcet: behavioural issues and control synthesis
• Modeling for supervisor synthesis -- a lock-bridge combination case study

This page was built for publication: A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3147797)