Modular Finite State Machines Implemented as Event-Condition-Action Systems

Almeida, Emanuel T.; Luntz, Jonathan; Tilbury, Dawn M.

doi:10.3182/20050703-6-cz-1902.00346

Cited by 10 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, although MFSMs have some advantages over existing methods, much work remains to be done on expanding the types of properties that can be verified in a modular fashion, and integrating MFSMs into industrial programming platforms. Some work has been done on a more state-based approach to MFSMs (Almeida, Luntz, & Tilbury, 2005).…”

Section: Article In Pressmentioning

confidence: 99%

Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

Endsley

Almeida

Tilbury

2006

Control Engineering Practice

View full text Add to dashboard Cite

Section: Article In Pressmentioning

confidence: 99%

Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

Endsley

Almeida

Tilbury

2006

Control Engineering Practice

View full text Add to dashboard Cite

“…systems that maintain ongoing interactions with their environments). In such a system centered around the E-C-A paradigm, when an event occurs, a condition is evaluated (by a querying mechanism) and the system takes corresponding action[15]. ParadigmPlus (2020) 1:3…”

mentioning

confidence: 99%

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling

et al. 2020

View full text Add to dashboard Cite

In Business Process Management (BPM), process modelling has been solved in various ways. However, there are no commonly accepted modelling tools (languages). Some of them are criticized for their inability to capture both the lifecycle, informational and organizational models of processes. For some others, process modelling is generally done using a single graph; this does not facilitate modularity, maintenance and scalability. In addition, some of these languages are very general; hence, their application to specific domain processes (such as administrative processes) is very complex. In this paper, we present a new language and a new methodology, dedicated to administrative process modelling. This language is based on a variant of attributed grammars and is able to capture the lifecycle, informational and organizational models of such processes. Also, it proposes a simple graphical formalism allowing to model each process's execution scenario as an annotated tree (modularity). In the new language, a particular emphasis is put on modelling (using "views") the perceptions that actors have on processes and their data.

show abstract

“…The SLC communicates with all cell level controllers and with the factory-wide software platform. It has been built as an Event-Condition-Action (ECA) Modular Finite State Machine, a variation of an MFSM controller that is driven by ECA rules (for higher reconfigurability) 3 .…”

Section: Logic Controlmentioning

confidence: 99%

The Distributed Reconfigurable Factory Testbed (Drft): A Collaborative Cross University Manufacturing System Testbed.

Luntz

Almeida

Tilbury

et al.

2006 Annual Conference &Amp; Exposition Proceedings

View full text Add to dashboard Cite

As a collaborative effort between the University of Michigan (UM), and Morgan State University (MSU) in Baltimore, a Distributed Reconfigurable Factory Testbed (DRFT) has been developed as part of the NSF Engineering Research Center (ERC) on Reconfigurable Manufacturing. The testbed combines hardware and simulation components at both universities operating under common control using secure channels over the Internet, and is designed in such a way as to ease the addition and modification of its various components The original UM RFT comprises 1) a serial-parallel manufacturing line, 2) a Virtual Factory software component, 3) factory-wide open software integration platform and data warehouse, 5) modular logic control developed at the cell level, and 6) a multi-teir networked control and diagnostic structure. To this system, the MSU portion was added comprising an Automated Storage and Retrieval system and a conveyor, where communication for monitoring and control was achieved via the OPC protocol operating through a Virtual Private Network (VPN).Students from both universities came together to plan the application and control structure for the combined system, giving students at MSU a chance to learn first-hand from the experiences of the students at UM. A demand-pull manufacturing application was built on the combined testbed where the MSU system functioned as a "Supply Cell" operating under control of the System Level Controller and the Software Infrastructure at UM. A robust handshaking communication protocol was developed to ensure the correct ordering of events in the presence of Internet communication delays and uncertainties. The inventory of the Supply Cell was tracked at UM where decisions about part availability to meet orders were made by the Software Infrastructure. Once parts were retrieved form the MSU Supply Cell, identical parts were introduced to the UM manufacturing line and virtual factory for machining and assembly. Web-based Human Machine Interfaces (HMI's) enabled students at both sites to monitor and control the operation of the entire system, and students could communicate and view both systems over a set of webcams. The combined testbed was successfully demonstrated at the ERCs annual NSF site visit in May 2005.

show abstract

Modular Finite State Machines Implemented as Event-Condition-Action Systems

Cited by 10 publications

References 7 publications

Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling

The Distributed Reconfigurable Factory Testbed (Drft): A Collaborative Cross University Manufacturing System Testbed.

Contact Info

Product

Resources

About