Development of a framework-independent code generator from State Machine Diagrams
S Jung, W Lee - IEEE Access, 2024 - ieeexplore.ieee.org
State machine diagrams offer the advantage of expressing the system clearly and easily to
understand because they express the operation of the system in highly readable graphics. In …
understand because they express the operation of the system in highly readable graphics. In …
Application of the Principle of Information Objects Description Formalization for the Design of Information Protection Systems
V Lutsenko, D Progonov - Eastern-European Journal of Enterprise …, 2022 - papers.ssrn.com
The development of information independence of the State requires the introduction of the
latest technologies for analyzing, storing, processing, and transmitting information. The focus …
latest technologies for analyzing, storing, processing, and transmitting information. The focus …
[PDF][PDF] Customized lean 3D simulation environment for intralogistics
P Pawlewski - European Research Studies, 2021 - ersj.eu
Purpose: The aim of the article is to summarize the author's work, experiences, and
publications in the form of a presentation of a coherent concept (requirements) for a …
publications in the form of a presentation of a coherent concept (requirements) for a …
Declarative Representation of UML State Machines for Querying and Simulation
Z Mehrafrooz, A Jannatpour… - European Conference on …, 2023 - Springer
Among the various aspects of the Unified Modeling Language, state machines are utilized to
model the dynamic behavior of reactive systems. In this paper we present a platform where …
model the dynamic behavior of reactive systems. In this paper we present a platform where …
[PDF][PDF] An automated statechart diagram assessment using semantic and structural similarities
The statechart diagram is a behavior diagram in the unified modeling language (UML)
diagram. Numerous state chart diagrams are taught in computer science majors. In teaching …
diagram. Numerous state chart diagrams are taught in computer science majors. In teaching …
MPPT Control of Photovoltaic Systems Using Statechart With Abstraction and Its Comparison With Fuzzy Logic
VPL Molleti, RS Kashibhatla… - International Journal of …, 2021 - igi-global.com
Maximum power point tracking (MPPT) control is an indispensable aspect of photovoltaic
(PV) systems. Many MPPT techniques including a few based on soft-computing have been …
(PV) systems. Many MPPT techniques including a few based on soft-computing have been …
The Design and Implementation of a Query Platform and Simulation Tool for the Analysis of UML State Machines through Declarative Modeling
Z Mehrafrooz Mayvan - 2023 - spectrum.library.concordia.ca
Among the various aspects of the UML, a state machine is part of the specification used to
model the dynamic behavior of systems. In developing complex systems, state machines …
model the dynamic behavior of systems. In developing complex systems, state machines …
FIFO-Based SIL Simulation of FPGA Statechart MPPT-Controller for Photovoltaic System
VPL Molleti, RS Kasibhatla, VS Rajamahanti - Proceedings of Symposium …, 2021 - Springer
Statechart, a visual formulism, is a real-time system design tool which can be used for both
specifying and implementation of real-time control; ie, it can be used in two important stages …
specifying and implementation of real-time control; ie, it can be used in two important stages …
[PDF][PDF] INSTITUTO FEDERAL DE EDUCAÇÃO CIÊNCIA E TECNOLOGIA DE MINAS GERAIS-CAMPUS FORMIGA BACHARELADO EM ENGENHARIA ELÉTRICA
PI de Oliveira Tironi - formiga.ifmg.edu.br
RESUMO O desenvolvimento tecnológico promove a inserção gradativa de dispositivos
inteligentes nos ambientes industriais. Estes, usualmente são sistemas embarcados com …
inteligentes nos ambientes industriais. Estes, usualmente são sistemas embarcados com …
[PDF][PDF] INTRODUCTION TO STATECHARTS MODELING, SIMULATION, TESTING, AND DEPLOYMENT
N Mustafee, KHG Bae, S Lazarova-Molnar, M Rabe… - simulation.su
ABSTRACT Statecharts, introduced by David Harel in 1987, is a formalism used to specify
the behavior of timed, autonomous, and reactive systems using a discrete-event abstraction …
the behavior of timed, autonomous, and reactive systems using a discrete-event abstraction …