scholarly journals Developing a PLC-friendly state machine model: lessons learned

2014 ◽  
Author(s):  
Wim Pessemier ◽  
Geert Deconinck ◽  
Gert Raskin ◽  
Philippe Saey ◽  
Hans Van Winckel
Keyword(s):  
State Machine ◽  
Lessons Learned ◽  
Machine Model

scholarly journals Better state pictures facilitating state machine characteristic conjecture

2021 ◽  
Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata
Keyword(s):  
Virtual Machines ◽  
Mutual Exclusion ◽  
State Machine ◽  
Formal Proof ◽  
The State ◽  
Lessons Learned ◽  
Java Virtual Machines ◽  
Core Part ◽  
Proximity Principle

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.

scholarly journals STATE MACHINE MODEL OF HYPOTHESIZED VOLUNTARY ACTION SELECTION MECHANISM OF SUBSTANTIA NIGRA PARS COMPACTA AND LOCUS COERULEUS

2019 ◽  
Author(s):  
Christopher Rourk
Keyword(s):  
Electron Transport ◽  
Substantia Nigra ◽  
Action Selection ◽  
Neural Correlates ◽  
State Machine ◽  
Voluntary Action ◽  
Substantia Nigra Pars Compacta ◽  
Selection Mechanism ◽  
Machine Model ◽  
Apparent Ability

A hypothesized voluntary action selection mechanism for the SNc and LC has been proposed that is based on the apparent ability of ferritin and neuromelanin to support electron transport in those tissues. (Rourk 2018; Rourk 2019). A state machine model is presented in this paper that provides an explanation for neural correlates of that hypothesized voluntary action selection mechanism to the human experience of consciousness.

Sign in / Sign up

Export Citation Format

Share Document