Results 71 to 80 of about 284,503 (316)

Reconfiguration of discrete event systems using synchronizing words

, 2020
In modern manufacturing systems, the current state of the system is not always obvious. In many situations, such knowledge is needed to lead the system to a specific state such that a determined task can be started or a maintenance task can be executed ...
Patrícia Nascimento Pena, Lucas Vinicius Ribeiro Alves   +1 more
core   +1 more source

Commissioning of a production line in the discrete event simulation software Ururau

GEPROS: Gestão da Produção, Operações e Sistemas, 2017
The aim of this work was to demonstrate the utilization of a discrete event simulation model built with the Ururau software integrated to a programmable logic controller to be applied in commissioning of control systems.
Quézia Manuela Gonçalves Laurindo, João José de Assis Rangel, Túlio Almeida Peixoto, Eder Reis Tavares, Fábio Freitas da Silva, Ítalo de Oliveira Matias   +5 more
doaj   +1 more source

Discrete Event Simulation of Hybrid Systems [PDF]

SIAM Journal on Scientific Computing, 2004
Summary: This paper describes the quantization-based integration methods and extends their use to the simulation of hybrid systems. Using the fact that these methods approximate ordinary differential equations (ODEs) and differential algebraic equations (DAEs) by discrete event systems, it is shown how hybrid systems can be approximated by pure ...
openaire   +2 more sources

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

On the set of certain conflicts of a given language

, 2004
Two concurrent processes are said to be in conflict if they can get trapped in a situation where they both are waiting or running endlessly, forever unable to complete their common task. In the design of reactive systems, this is a common fault which can
Malik, Robi, Robi Malik
core   +1 more source

Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers

Applied Sciences
Controllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms are strongly supported by the concept of events, which, from an automation system perspective, can be ...
Luis Gomes, Diogo Natário, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo   +4 more
doaj   +1 more source

Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory

Machines, 2013
This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the ...
Patrik Bergagård, Martin Fabian
doaj   +1 more source

Conservative simulation for discrete event systems

Informatica, 1998
Summary: More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather than sequential method. Asynchronous parallel discrete event simulation (PDES) is studied and its methodology is presented. The paper presents the conservative methodology of PDES
openaire   +2 more sources

Spatial and Volumetric Characteristics of Glioblastoma: Associations With Clinical Presentation and Survival

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective We aim to comprehensively analyze how regional tumor and edema characteristics are associated with clinical presentations and survival outcomes in a large cohort of glioblastoma patients. Methods Patients with IDH‐wildtype glioblastoma who received brain MRI from 2010 to 2023 were included.
Daniel J. Zhou, Marc Jaskir, Julian Gal, Yombe Fonkeu, Christos Davatzikos, MacLean P. Nasrallah, Jose Garcia, Rubo Xing, Stephen J. Bagley, Arati Desai, Richard E. Phillips, Steven Tobochnik, Colin A. Ellis, James J. Gugger, Nishant Sinha, Joel M. Stein, Kathryn A. Davis   +16 more
wiley   +1 more source

Incremental verification of co-observability in discrete-event systems [PDF]

, 2014
Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system model.
Malik, Robi, Liu, Huailiang, S. L. Ricker, Leduc, Ryan J., Robi Malik, Huailiang Liu, Ryan J. Leduc, Ricker, S.L.   +7 more
core   +1 more source