Results 51 to 60 of about 38,502 (282)
HybridFA:a memory reduction technique for the AC automata based on statistics
Tongxin xuebao, 2015 Despite the fast speed in multiple string matching tasks,the advanced Aho-Corasick(AC) automata wastes storage memory to a great extent.Study indicated that the automata states have specific statistical access characteristics in practice.Accordingly,a ...
Gang XIONG +4 more
doaj +2 more sources
Approximate Equivalence of the Hybrid Automata with Taylor Theory
Journal of Applied Mathematics, 2014 Hybrid automaton is a formal model for precisely describing a hybrid system in which the computational processes interact with the physical ones.
Anping He +3 more
doaj +1 more source
Modelling of a virtual power plant using hybrid automata
The Journal of Engineering, 2019 Virtual power plant (VPP) is a hybrid power system with a mesh of distributed resources, local loads and storage with both discrete and continuous variables involved. Control of such system requires advanced control schemes to make distributed assets act
Chaudhry Jibran Javaid +4 more
doaj +1 more source
A Novel Cellular Automata Classifier for COVID-19 Prediction
Journal of Health Sciences, 2020 China has witnessed a new virus Corona, which is named COVID-19. It has become the world's most concern as this virus has spread over the world at a higher speed, the world has witnessed more than one lakh cases and one thousand deaths in a span of a few
Kiran Sree Pokkuluri +1 more
doaj +1 more source
Hybrid Automata and ε-Analysis on a Neural Oscillator [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper we propose a hybrid model of a neural oscillator, obtained by partially discretizing a well-known continuous model. Our construction points out that in this case the standard techniques, based on replacing sigmoids with step functions, is ...
Carla Piazza +2 more
doaj +1 more source
From types to type requirements: Genericity for model-driven engineering [PDF]
, 2013 The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-011-0221-0Model-driven engineering (MDE) is a software engineering paradigm that proposes an active use of models during the development process.
Guerra, Esther, Lara, Juan de
core +2 more sources
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
GIScience & Remote Sensing, 2019 In recent years, the rapid expansion of urban spaces has accelerated the mutual evolution of landscape types. Analyzing and simulating spatio-temporal dynamic features of urban landscape can help to reveal its driving mechanisms and facilitate reasonable
Jun Yang +4 more
doaj +1 more source
IET Cyber-Physical Systems, 2019 The authors present a simulation-based bounded-horizon verification framework for hybrid systems with Lipschitz continuity on the continuous dynamics. In this framework, the bounded initial set is covered by a finite set of representative states, whose ...
Hao Ren, Ratnesh Kumar, Ratnesh Kumar
doaj +1 more source
Hybrid automata dicretising agents for formal modelling of robots
, 2011 Some of the fundamental capabilities required by autonomous vehicles and systems for their intelligent decision making are: modelling of the environment and forming data abstractions for symbolic, logic based reasoning.
Molnar, Levente, Veres, S.M.
core +1 more source