The State Machine Diagram

2015 ◽  
pp. 85-106
Author(s):  
Martina Seidl ◽  
Marion Scholz ◽  
Christian Huemer ◽  
Gerti Kappel
Keyword(s):  
State Machine ◽  
The State ◽  
State Machine Diagram

Location- and Person-Independent Activity Recognition with WiFi, Deep Neural Networks, and Reinforcement Learning

2021 ◽  
Vol 2 (1) ◽  
pp. 1-25
Author(s):  
Yongsen Ma ◽  
Sheheryar Arshad ◽  
Swetha Muniraju ◽  
Eric Torkildson ◽  
Enrico Rantala ◽  
...  
Keyword(s):  
Neural Network ◽  
Neural Networks ◽  
Reinforcement Learning ◽  
Activity Recognition ◽  
Deep Neural Networks ◽  
State Machine ◽  
Recognition Algorithm ◽  
The State ◽  
Neural Architecture ◽  
Learning Agent

In recent years, Channel State Information (CSI) measured by WiFi is widely used for human activity recognition. In this article, we propose a deep learning design for location- and person-independent activity recognition with WiFi. The proposed design consists of three Deep Neural Networks (DNNs): a 2D Convolutional Neural Network (CNN) as the recognition algorithm, a 1D CNN as the state machine, and a reinforcement learning agent for neural architecture search. The recognition algorithm learns location- and person-independent features from different perspectives of CSI data. The state machine learns temporal dependency information from history classification results. The reinforcement learning agent optimizes the neural architecture of the recognition algorithm using a Recurrent Neural Network (RNN) with Long Short-Term Memory (LSTM). The proposed design is evaluated in a lab environment with different WiFi device locations, antenna orientations, sitting/standing/walking locations/orientations, and multiple persons. The proposed design has 97% average accuracy when testing devices and persons are not seen during training. The proposed design is also evaluated by two public datasets with accuracy of 80% and 83%. The proposed design needs very little human efforts for ground truth labeling, feature engineering, signal processing, and tuning of learning parameters and hyperparameters.

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 A fabric architecture towards block chain application using hyper ledger

2018 ◽  
Vol 7 (2.20) ◽  
pp. 83 ◽  
Author(s):  
Md Haseeb ◽  
K Raja Sekhar ◽  
Y V. Spandana ◽  
M Syam
Keyword(s):  
Business Models ◽  
State Machine ◽  
The State ◽  
Distributed Ledger ◽  
Block Chain ◽  
Fabric Architecture ◽  
State Machine Replication ◽  
Main Factor

Block chain is a trust which can be best understood by the state machine replication, It is decentralized distributed ledger which is along all peers in the network connected through nodes over Internet. Every Node in the chain have equal stake and also the main factor is every node which have greater CPU cycles has a chance to operate node by spending those CPU cycles and also show Proof Of Work. Hence when the block chain is used in Business Models it loses its Private transactions and Confidential Contracts.  

MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS

2010 ◽  
Vol 20 (08) ◽  
pp. 1119-1149 ◽  
Author(s):  
PENGCHENG ZHANG ◽  
HENRY MUCCINI ◽  
YUELONG ZHU ◽  
BIXIN LI
Keyword(s):  
Unified Modeling Language ◽  
State Machine ◽  
Underlying Structure ◽  
Unified Modeling ◽  
Industry Standard ◽  
Modeling Analysis ◽  
Uml Class Diagram ◽  
Uml Diagrams ◽  
Uml Sequence Diagram ◽  
State Machine Diagram

The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C and can be viewed as a blueprint for the development of end-point services. Consequently, it is worth providing a systematic approach for its modeling, analysis and verification. The Unified Modeling Language (UML) is an industry standard for modeling. Applying UML to model WS-CDL is obviously a promising solution to bring together academics and practitioners through a unique standard language. In this paper, we propose to use different UML diagrams to model WS-CDL. UML Component Diagram is used to model the underlying structure of WS-CDL. UML Sequence Diagram is utilized to model the activities in WS-CDL. UML State Machine Diagram is utilized to model the behaviors of each role participating in a WS-CDL specification. We then enrich the UML State Machine Diagram with data by the use of UML Class Diagram. Given the UML specification of WS-CDL, we then provide a systematic way of formally analyzing and verifying WS-CDL against desired properties. Some experiments show that our approach can verify structural, behavioral and data properties in a middle-scale data-enriched WS-CDL specification.

Research on Behavior Modeling and Simulation of Complex UAV Based on SysML State Machine Diagram

2021 ◽  
pp. 401-409
Author(s):  
Yuanjie Lu ◽  
Zhimin Liu ◽  
Zhixiao Sun ◽  
Miao Wang ◽  
Wenqing Yi ◽  
...  
Keyword(s):  
Modeling And Simulation ◽  
State Machine ◽  
Behavior Modeling ◽  
State Machine Diagram

The State Machine and Scenes

2014 ◽  
pp. 221-238
Author(s):  
Brad Manderscheid
Keyword(s):  
State Machine ◽  
The State
Sign in / Sign up

Export Citation Format

Share Document