state machine diagram
state chart, state machine chart, "state transition diagram"
state transition diagram
Issues on drawing the State Transition Diagram for arbitrary Cellular Automata
https://arxiv.org/pdf/0811.1513
Measures of Tipping Points, Robustness, and Path Dependence
https://arxiv.org/pdf/0811.0633
Color Graphs: An Efficient Model For Two-Dimensional Cellular Automata Linear Rules
https://arxiv.org/pdf/0802.3626
Stochastic approach to molecular interactions and computational theory of metabolic and genetic regulations
https://arxiv.org/pdf/q-bio/0612011
Feature Specification and Refinement with State Transition Diagrams
https://arxiv.org/pdf/1409.7232
CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair
https://arxiv.org/pdf/2409.12993
Development of monitoring systems for anomaly detection using ASTD specifications
https://arxiv.org/pdf/2207.11134
Can process mining help in anomaly-based intrusion detection?
https://arxiv.org/pdf/2206.10379
Discovering and Understanding the Security Hazards in the Interactions between IoT Devices, Mobile Apps, and Clouds on Smart Home Platforms
https://arxiv.org/pdf/1811.03241
Multi-UAV Cooperative Trajectory for Servicing Dynamic Demands and Charging Battery
https://arxiv.org/pdf/1805.08357
Two Dimensional Discrete Dynamics of Integral Value Transformations
https://arxiv.org/pdf/1709.05205
Deterministic Computing Mechanism for Perfect Density Classification
https://arxiv.org/pdf/1607.06909
Formal refinement of extended state machines
https://arxiv.org/pdf/1606.02016
Dynamics of transcription-translation networks
https://arxiv.org/pdf/1605.08474
State Based Service Description
https://arxiv.org/pdf/1409.7233
Towards Focus on Time
https://arxiv.org/pdf/1403.1006
Security in Cognitive Radio Networks
https://arxiv.org/pdf/1402.1137
Noise and information transmission in promoters with multiple internal states
https://arxiv.org/pdf/1307.8075
On Quantum Turing Machine Halting Deterministically
https://arxiv.org/pdf/1202.6530
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation
https://arxiv.org/pdf/0907.5055
Discrete Baker Transformation and Cellular Automata
https://arxiv.org/pdf/math/0407116
Point Mutations and Transitions Between Cellular Automata Attractor Basins
https://arxiv.org/pdf/nlin/0306033
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism
https://arxiv.org/pdf/2205.13375
State-Based Behavior Modeling in Software and Systems Engineering
https://arxiv.org/pdf/2205.07018
Integrating User Design and Formal Models within PVSio-Web
https://arxiv.org/pdf/1811.10821
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems
https://arxiv.org/pdf/1311.6092
Building on the DEPLOY Legacy: Code Generation and Simulation
https://arxiv.org/pdf/1210.7034