Results 101 to 110 of about 1,755,572 (349)

Formal and Informal Methods for Multi-Core Design Space Exploration

, 2014
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping ...
Kempf, Jean-Francois, Lebeltel, Olivier, Maler, Oded   +2 more
core   +2 more sources

A New Diagnosis Approach of Hybrid Systems through Observers and Hybrid Automata [PDF]

, 2020
Ayman Abboudi, Fouad Belmajdoub
openalex   +1 more source

BLOCK TRANSFORMATION OF HYBRID CELLULAR AUTOMATA

Journal of Applied Analysis & Computation, 2016
Summary: By introducing a sequence-block transformation and vector-block transformation, we explore the dynamical properties of hybrid cellular automation (HCA) and hybrid cellular automation with memory (HCAM) in the framework of symbolic dynamics. As the local evolution rules of HCA and HCAM are not-uniform, the new uniform cellular automata (CAs ...
Chen, Bo, Chen, Fangyue, Guan, Junbiao, Martínez, Genaro J.   +3 more
openaire   +2 more sources

Conductive Bonding and System Architectures for High‐Performance Flexible Electronics

Advanced Functional Materials, EarlyView.
This review outlines bonding technologies and structural design strategies that support high‐performance flexible and stretchable electronics. Bonding approaches such as surface‐activated bonding and anisotropic conductive films, together with system‐level architectures including buffer layers and island‐bridge structures, possess distinct mechanical ...
Kazuma Nakajima, Kenjiro Fukuda
wiley   +1 more source

Modeling and Simulation Based on the Hybrid System of Leasing Equipment Optimal Allocation

Discrete Dynamics in Nature and Society, 2015
Modeling of the hybrid system of leasing equipment optimal allocation and its optimal control methods are put forward based on the hybrid characteristics of succession and dispersion.
Ying Tian, Wei-qing Zhong
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

Programmable In‐Situ Interactions Between Resins and Photopolymerized Structures for Seamlessly Integrated Optical Manufacturing of Microlenses

Advanced Functional Materials, EarlyView.
This study presents a dynamic interaction between liquid resins and photopolymerized structures enabled by an in situ light‐writing setup. By controlling a three‐phase interface through localized photopolymerization, which provides physical confinement for the remaining uncured resin regions, the approach establishes a programmable pathway that ...
Kibeom Kim, Sangmin Oh, Kahyun Hur, Hyesung Cho   +3 more
wiley   +1 more source

Using hybrid automata to model mitigation of global disease spread via travel restriction

Networks and Heterogeneous Media
Inspired by the COVID-19 pandemic, we build a large-scale epidemiological model that accounts for coordination between regions, each using travel restrictions in order to attempt to mitigate the spread of disease.
Richard Carney, Monique Chyba, Taylor Klotz   +2 more
doaj   +1 more source

A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach

Journal of Advanced Transportation, 2020
This paper introduces a model-driven control realization, which is based on the systems engineering concepts of the model-driven architecture (MDA)/model-based systems engineering (MBSE) approach combined with the real-time UML/SysML, extended/unscented ...
Ngo Van Hien, Van-Thuan Truong, Ngoc-Tam Bui   +2 more
doaj   +1 more source

Hybrid Automata and Bisimulations [PDF]

, 2010
This paper surveys hybrid automata and bisimulation relations. We formally introduce both notions and briefly present the model checking problem over hybrid automata.
Casagrande, Alberto
core   +1 more source