Results 81 to 90 of about 2,669 (298)
Algebraic Invariants for Linear Hybrid Automata
CoRR, 2019 We exhibit an algorithm to compute the strongest algebraic (or polynomial) invariants that hold at each location of a given unguarded linear hybrid automaton (i.e., a hybrid automaton having only unguarded transitions, all of whose assignments are given by affine expressions, and all of whose continuous dynamics are given by linear differential ...
Majumdar, Rupak +3 more
openaire +6 more sources
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
Control Strategy of Dual-Disc Electromagnetic–EMB Composite Braking System Based on Hybrid Systems
ActuatorsIn this study, to address the problems of the redundant safety and mass production of electro-mechanical braking (EMB) structures that are widely used in distributed drive electric vehicles (DDEV), we designed a compact dual-disc electromagnetic–EMB ...
Zhen Shi, Yunbing Yan, Sen Zhang
doaj +1 more source
Advanced Materials, EarlyView.Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu +3 more
wiley +1 more source
A Lightweight Cryptographic Framework Based on Hybrid Cellular Automata for IoT Applications
IEEE AccessResource-constrained devices equipped with multiple sensors to exchange data over the network are called the Internet of Things (IoT). The major limitations of IoT devices are limited resources, low computational power, low communication capacity, and ...
Abrar Hasan, M. M. A. Hashem
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 +2 more
doaj +1 more source
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems. [PDF]
Sensors (Basel), 2021 Beneyto A, Puig V, Bequette BW, Vehi J.
europepmc +1 more source
POM‐Based Water Splitting Catalyst Under Acid Conditions Driven by Its Assembly on Carbon Nanotubes
Advanced Materials, EarlyView.A newly‐engineered POM‐based electrocatalyst incorporating non‐innocent counter cations exhibits fast kinetics for either the OER or HER under strongly acidic conditions (1 m H2SO4), depending on whether it is assembled on carbon nanotubes (1@CNT) or physically mixed with them (1/CNT). In water‐splitting tests using a two‐electrode setup, these systems
Eugenia P. Quirós‐Díez +8 more
wiley +1 more source
Advanced Materials, EarlyView.This review highlights the role of self‐assembled monolayers (SAMs) in perovskite solar cells, covering molecular engineering, multifunctional interface regulation, machine learning (ML) accelerated discovery, advanced device architectures, and pathways toward scalable fabrication and commercialization for high‐efficiency and stable single‐junction and
Asmat Ullah, Ying Luo, Stefaan De Wolf
wiley +1 more source
Ingeniare: Revista Chilena de Ingeniería, 2012 En este artículo se presenta una propuesta de procedimiento que incorpora el diagnóstico de fallos desde la fase de diseño de un equipo de desfibrilación ventricular.
Alberto Prieto Moreno +5 more
doaj