Results 61 to 70 of about 73,146 (236)
AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS [PDF]
, 2017 Matlab/Simulink is an advanced environment for modeling and simulating multidomain dynamic systems. It has been widely used to model advanced Cyber-Physical Systems, e.g. in the automotive or avionics industry.
LIU, Bing
core
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
, 2021 Simulink has been widely used in model-based design and development. While we witness a growing demand on testing and verification for safety-critical systems, it remains a challenge to verify Simulink models, due largely to a lack of standardized formal
Zhe Hou +9 more
core +1 more source
Ciencia e Ingeniería, 2017 En este artículo se estudia el caso de un péndulo doble y uno triple, como ejemplos simples de un sistema físico que puede exhibir un comportamiento caótico.
Sergio Velásquez, Ronny Velásquez
doaj
Analysis of Dynamic Properties of Accelerometer Using Fractional Derivatives
Communications, 2015 The paper outlines the use of fractional derivatives for dynamic measurements while developing a method of improved description of dynamic properties of accelerometer, which the authors consider to be the original and unique achievement of their work ...
Miroslaw Luft +2 more
doaj +1 more source
PMU‐Based Wide Area Monitoring With Machine Learning to Prevent Blackouts in Bangladesh Power System
Energy Science &Engineering, EarlyView.A Unified Real‐time Dynamic State Measurements (URTDSM) system with PMU and Phasor Data Concentrator (PDC) deployment plan has been proposed to avoid blackout in the Bangladeshi power system. Machine learning has been used to process data from PMU to identify abnormal events. ABSTRACT The electrical power system must be trustworthy and secure enough to
Imi Bintey Fariha Rahman +5 more
wiley +1 more source
Modeling of switched-capacitor delta-sigma Modulators in SIMULINK [PDF]
, 2005 Precise behavioral modeling of switched-capacitor /spl Delta//spl Sigma/ modulators is presented. Considering noise (switches' and op-amps' thermal noise), clock jitter, nonidealities of integrators and op-amps including finite dc-gain (DCG) and unity ...
Zare-Hoseini, H., Kale, I., Shoaei, O.
core +1 more source
Integrated Solar and Wind Energy Systems for Domestic Power Generation and CO2 Emissions Reduction
Energy Science &Engineering, EarlyView.A well‐structured and sequentially methodical procedure for evaluating the Wind and Photovoltaic Hybrid Energy System‐based technical, environmental, and economic viability. This study investigates the integration of solar photovoltaic(PV) and wind energy systems for domestic electricity generation in the Gaza Strip.
Mohamed Elnaggar +9 more
wiley +1 more source
Simulink Fault Localization: an Iterative Statistical Debugging Approach [PDF]
, 2015 Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging and dynamic model slicing.
NEJATI, Shiva +3 more
core
Модель фотоэлемента для библиотеки SimPowerSystems пакета MatLab/Simulink
, 2019 A new Simulink model of a photovoltaic cell has been proposed. The model is focused on the use of a standard SimPowerSystems library with power engineering elements from the MatLab/Simulink software package.
D. I. Zalizny, Д. И. Зализный
core +1 more source
Aviation Electronics, Information Technology, Telecommunications, Electricals, ControlsMaintaining frequency stability in modern interconnected power systems is critical for operational reliability, especially under varying load demands. Load Frequency Control (LFC) plays a pivotal role in balancing power exchanges and preserving nominal ...
Ihsan Jabbar Hasan +3 more
doaj +1 more source