Search Results - "Finite state machines"

Structural Stability and Regime Classification in Discrete-Time State–Event–Response Systems Through Induced Transition Topology.

Authors: Kim, Sunmi¹ (AUTHOR)

Source: Mathematics (2227-7390). Jun2026, Vol. 14 Issue 11, p1956. 27p.

A Hierarchical State Machine and Multimodal Sensor-Fusion Approach for Active Fall Prevention in Smart Walkers.

Authors: Korkunç, Mehmet Bilgin, Nurdan Bayraktaroğlu, Zeki Yağız

Source: Applied Sciences (2076-3417); May2026, Vol. 16 Issue 10, p4986, 40p

Research on Speed Estimation Method for Distributed Electric-Drive Loaders Based on Finite-State Machine.

Authors: Qi, Xinyu Liu, Yalei Yuan, Xiaohan et al.

Source: Sensors (14248220). May2026, Vol. 26 Issue 10, p3168. 19p.

Design of Robust Fault-Tolerant Finite-State Machines for Unmanned Aerial Vehicles.

Authors: Salauyou, Valery¹

Source: Applied Sciences (2076-3417); May2026, Vol. 16 Issue 9, p4201, 23p

Design of Unattended Rain and Snow Protection Device for Total Station Based on D-S Evidence Fusion.

Authors: Jia, Liangquan Liu, Yong Du, Guangzeng et al.

Source: Sensors (14248220). Apr2026, Vol. 26 Issue 8, p2327. 21p.

Reducing LUT Counts in Moore FSMs with Twofold State Assignment.

Authors: Barkalov, Alexander Titarenko, Larysa Krzywicki, Kazimierz

Source: Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 7, p3540, 29p

AN AUTOMATA-BASED APPROACH FOR SYNCHRONIZABLE MAILBOX COMMUNICATION.

Authors: DELPY, ROMAIN MUSCHOLL, ANCA SUTRE, GRÉGOIRE

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p

DETERMINISTIC SUFFIX-READING AUTOMATA.

Authors: KEERTHAN, R. SRIVATHSAN, B. VENKATESH, R. et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-31, 31p

DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA.

Authors: ANDRÉ, ÉTIENNE LIME, DIDIER ROUX, OLIVIER H.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-32, 32p

The zero-divisor conjecture and Mealy automata.

Authors: Bondarenko, Ievgen Juschenko, Kate

Source: Journal of Algebra & Its Applications. Aug2026, Vol. 25 Issue 9, p1-8. 8p.

Rotary Electromechanical System Integrating Non‐Reciprocal Memory and Combinational Logic.

Authors: Chen, Shujia Straney, Don Pasini, Damiano

Source: Advanced Science. 3/23/2026, Vol. 13 Issue 17, p1-13. 13p.

AN INTEGRATED BIM–AI MODEL FOR EVENT-DRIVEN CONSTRUCTION MANAGEMENT.

Authors: Borodin, M. O. Iliev, I. M. Tkach, T. V. et al.

Source: Scientific Bulletin of National Mining University; 2026, Issue 2, p112-120, 9p

Towards a Protocol-Aware Intrusion Detection System for LoRaWAN Networks.

Authors: Bringye, Zsolt Fleiner, Rita Kail, Eszter

Source: Future Internet. Mar2026, Vol. 18 Issue 3, p140. 27p.

Pseudo-deterministic finite automata (PDFA) as language acceptors.

Authors: Jain, A. Petalcorin Jr., G. C.

Source: Journal of Analysis & Applications. Mar2026, Vol. 24 Issue 1, p47-74. 28p.

Towards control in agents for human behavior change: an autism case.

Authors: Brännström, Andreas Nieves, Juan Carlos

Source: Journal of Intelligent & Fuzzy Systems; Feb2026, Vol. 50 Issue 2, p207-217, 11p

Underground Multi-Robot Systems at Work: A Revolution in Mining.

Authors: Vigara Puche, Victor Verma, Kashish Fumagalli, Matteo

Source: Applied Sciences (2076-3417); Feb2026, Vol. 16 Issue 3, p1212, 11p

A Low-Cost IMU-based System for Real-Time Barbell Repetition Counting.

Authors: Bhorge, Siddharth Gurav, Prathamesh Jadhav, Ritesh et al.

Source: Grenze International Journal of Engineering & Technology (GIJET); Jan2026, Vol. 12 Issue Part2, p4347-4351, 5p

Systemic Predictive and Prescriptive Maintenance.

Authors: Löfstrand, Magnus Eklund, Patrik

Source: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 2, p1088, 16p

ALGORITHMS FOR ACHIEVING MUTUAL INFORMATION COORDINATION.

Authors: Kravets, O. Ja. Martynenkov, B. V. Tcvetkov, A. V. et al.

Source: International Journal on Information Technologies & Security; 2026, Vol. 18 Issue 1, p13-20, 8p

FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.

Authors: BASILE, DAVIDE¹, davide.basile@isti.cnr.it

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p8:1-8:40, 40p