Results 91 to 100 of about 296,728 (278)
Formal Verification of Full-Wave Rectifier: A Case Study
, 2009 We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems.
Jamadagni, H S, Lata, Kusum
core +1 more source
Comparison of neural network NARMA-L2 model reference and predictive controllers for nonlinear quarter car active suspension system [PDF]
, 2020 Recently, active suspension system will become important to the vehicle industries because of its advantages in improving road managing and ride comfort.
Jibril, Mustefa
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
Energy Science &Engineering, EarlyView.A real‐time, data‐driven framework detects and classifies photovoltaic array faults using edge sensing and server‐side machine learning. Ensemble tree models achieve near‐perfect accuracy with low latency, enabling practical, low‐cost deployment for reliable PV monitoring and intelligent maintenance.
Premkumar Manoharan +4 more
wiley +1 more source
Anytime system level verification via parallel random exhaustive hardware in the loop simulation [PDF]
, 2016 System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware) system meets the given specifications.
MANCINI, Toni +4 more
core +1 more source
Порівняння систем керування мультироторним БПЛА (укр.)
Вісник Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського»: Серія «Хімічна інженерія, екологія та ресурсозбереження»У статті розглянуто задачу стабілізації висоти квадрокоптера під дією зовнішніх збурень, зокрема поривів вітру. Використано стандартну математичну модель такого об’єкту, що базується на жорсткому тілі з шістьма ступенями вільності (6-DOF), описаними ...
Богдан Миколайович Біганський +1 more
doaj +1 more source
Energy Science &Engineering, EarlyView.ABSTRACT Improving photovoltaics (PV) system performance through simulation requires accurate PV models. The nonlinear relationship between current and voltage, coupled with incomplete manufacturer data, presents a significant challenge in parameter estimation.
Chappani Sankaran Sundar Ganesh +3 more
wiley +1 more source
Tvarování vstupu pro podtlumené systémy [PDF]
, 2017 The main aim of this paper is to provide possibility to test and validate multiple damping and input shaping methods for underdamped systems. Mathematical model for specific development and demonstration was created in Matlab Simscape environment ...
Jurek, Martin
core +1 more source
Development of a Dynamic Population Balance Plant Simulator for Mineral Processing Circuits [PDF]
International Journal of Mining and Geo-Engineering, 2015 Operational variables of a mineral processing circuit are subjected to different variations. Steady-statesimulation of processes provides an estimate of their ideal stable performance whereas their dynamicsimulation predicts the effects of the variations
Fatemeh Khoshnam +3 more
doaj
Electrical & Electronic Technology Open Access Journal, 2018 In this paper, we present our work on Maximum Power Point Tracking (MPPT) using neural network. The MATLAB/Simulink is used to establish a model of photovoltaic array.
J. Khanam, S. Foo
semanticscholar +1 more source