Results 31 to 40 of about 1,825 (259)
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
A Deployment Framework for Formally Verified Human-Robot Interactions
IEEE Access, 2021 In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for assistive robotic applications where human-robot interaction is the main element.
Livia Lestingi +3 more
doaj +1 more source
Vietnam Journal of Mechanics, 2011 In this paper, we present a method, which is based on hybrid automata and Real-Time Unified Modeling Language (UML) to analyze and design the control parts of mechatronic systems with input or output events and signals in order to effectively gather ...
Vu Duy Quang, Ngo Van Hien
doaj +1 more source
Land, 2023 Land use/cover change (LUCC) detection and modeling play an important role in global environmental change research, in particular, policy-making to mitigate climate change, support land spatial planning, and achieve sustainable development.
Yecheng He +16 more
doaj +1 more source
Hybrid tree automata and the yield theorem for constituent tree automata
Theoretical Computer Science, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Drewes, Frank +2 more
openaire +2 more sources
RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells
FEBS Open Bio, EarlyView.RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour +2 more
wiley +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
Deep Learning Pose Estimation for Phenotyping of Co‐Occurring Hyperkinetic Movement Disorders
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore whether routine outpatient video combined with deep learning‐based pose estimation and clinically interpretable kinematic features can support multi‐label phenotyping of co‐occurring hyperkinetic movement disorders (HMDs).
Laura Cif +17 more
wiley +1 more source
Cryptographic Algorithm Based on Hybrid One-Dimensional Cellular Automata
Mathematics, 2023 The theory and application of cellular automata (CA) for a stream cipher-based encryption principle are presented in this study. Certain fundamental transformations are developed based on CA theory regarding decentralized computation for modeling ...
George Cosmin Stănică +1 more
doaj +1 more source
Information and Computation, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nancy A. Lynch +2 more
openaire +3 more sources