The proceedings contain 39 papers. The special focus in this conference is on Computational Intelligence and Smart Technologies in Electrical engineering. The topics include: G-M Estimator-Based Linear Robust Static S...
ISBN:
(纸本)9789819604753
The proceedings contain 39 papers. The special focus in this conference is on Computational Intelligence and Smart Technologies in Electrical engineering. The topics include: G-M Estimator-Based Linear Robust Static State Estimation of Power systems Considering Uncertain Noise Characteristics;Optimizing EV Charging System with Renewable Integration and Hierarchical Energy Management Strategy;Brushless DC Motor Driving System Design for an Electric Vehicle;voltage Stability Assessment Using Energy Function in N-1 Contingency;A Soft-Switched ZVS Buck-Boost Converter Design and Analysis;application of a New Swarm Intelligent Metaheuristic in Solving Load Flow Analysis Problem;Fault Analysis in 11/3.3/0.4 KVAC Microgrid: A Validation Study Using ETAP Software;optimizing Recloser Settings for a Fast Operation in an Active Distribution System;development of Islanding Detection Technique Using Positive and Negative Sequence Voltage and Current in Microgrid Atmosphere;Design and Implementation of an IoT-Enabled ECG Sensor System for Real-Time Cardiac Monitoring;Short Circuit and Harmonics Analysis of IEEE 8 Bus Transmission systems Using DIgSILENT Power Factory;protection Coordination of Transient Stability Constrained User-Defined Relays in Distributed Generation systems;ROCOF control of a Shipboard Marine Power System;Comparative Study of PQ control and Droop control Schemes for Smart Microgrid;Energy Cost Analysis Over One Year of BVRIT Distribution Grid Fed with a 440 kWp Decentralized Solar PV Energy System;a Comparative Analysis of Fault Detection and Classification in Distribution System Using Machine Learning Techniques;identification of Non-technical Losses Using Data Driven Approach;Machine Learning-Based Protection Scheme to Enhance Resiliency of PV-Fed DC Microgrid;Towards Energy Independence: Optimizing PV/Diesel/Wind Hybrid systems with HOMER.
The proceedings contain 39 papers. The special focus in this conference is on Computational Intelligence and Smart Technologies in Electrical engineering. The topics include: G-M Estimator-Based Linear Robust Static S...
ISBN:
(纸本)9789819799152
The proceedings contain 39 papers. The special focus in this conference is on Computational Intelligence and Smart Technologies in Electrical engineering. The topics include: G-M Estimator-Based Linear Robust Static State Estimation of Power systems Considering Uncertain Noise Characteristics;Optimizing EV Charging System with Renewable Integration and Hierarchical Energy Management Strategy;Brushless DC Motor Driving System Design for an Electric Vehicle;voltage Stability Assessment Using Energy Function in N-1 Contingency;A Soft-Switched ZVS Buck-Boost Converter Design and Analysis;application of a New Swarm Intelligent Metaheuristic in Solving Load Flow Analysis Problem;Fault Analysis in 11/3.3/0.4 KVAC Microgrid: A Validation Study Using ETAP Software;optimizing Recloser Settings for a Fast Operation in an Active Distribution System;development of Islanding Detection Technique Using Positive and Negative Sequence Voltage and Current in Microgrid Atmosphere;Design and Implementation of an IoT-Enabled ECG Sensor System for Real-Time Cardiac Monitoring;Short Circuit and Harmonics Analysis of IEEE 8 Bus Transmission systems Using DIgSILENT Power Factory;protection Coordination of Transient Stability Constrained User-Defined Relays in Distributed Generation systems;ROCOF control of a Shipboard Marine Power System;Comparative Study of PQ control and Droop control Schemes for Smart Microgrid;Energy Cost Analysis Over One Year of BVRIT Distribution Grid Fed with a 440 kWp Decentralized Solar PV Energy System;a Comparative Analysis of Fault Detection and Classification in Distribution System Using Machine Learning Techniques;identification of Non-technical Losses Using Data Driven Approach;Machine Learning-Based Protection Scheme to Enhance Resiliency of PV-Fed DC Microgrid;Towards Energy Independence: Optimizing PV/Diesel/Wind Hybrid systems with HOMER.
The proceedings contain 42 papers. The topics discussed include: PID controller optimization of underwater autonomous vehicle based on dung beetle optimization algorithm;research on trajectory reconstruction method fo...
The proceedings contain 42 papers. The topics discussed include: PID controller optimization of underwater autonomous vehicle based on dung beetle optimization algorithm;research on trajectory reconstruction method for high-speed spinning aircraft with short-term satellite loss;effect of opening auxiliary slots in the primary of permanent magnet synchronous linear motors on magnetic resistance;development of humanoid robot joint module based on high-order tooth contour surface;optimized design of solid state power controller (SSPC) operating circuit for unmanned aerial vehicles (UAV) DC power distribution systems;research and analysis of mechanical characteristics of three-phase asynchronous motor;and a two-stage scheduling method for virtual power plants considering ultra-short-term forecasting errors.
The proceedings contain 22 papers. The special focus in this conference is on engineering of Complex Computer systems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
ISBN:
(纸本)9783031664557
The proceedings contain 22 papers. The special focus in this conference is on engineering of Complex Computer systems. The topics include: Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report;optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification;AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance;Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures;Test Architecture Generation by Leveraging BERT and control and Data Flows;less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction;modeling and Verification of Solidity Smart Contracts with the B Method;template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain;QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models;a Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection;Validation of RailML Using ProB;reachability Analysis of Concurrent Self-modifying Code;an Iterative Formal Model-Driven Approach to Railway systems Validation;an Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic control;confidentiality Management in Complex systems Design;analyzing Excessive Permission Requests in Google Workspace Add-Ons;formal Verification Techniques for Post-quantum Cryptography: A Systematic Review;autoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation;safePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64;towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair.
The proceedings contain 81 papers. The special focus in this conference is on Electrical and Electronics engineering. The topics include: Design of a Single-Axis Solar Tracking System with a PI controller Implemented ...
ISBN:
(纸本)9789819791118
The proceedings contain 81 papers. The special focus in this conference is on Electrical and Electronics engineering. The topics include: Design of a Single-Axis Solar Tracking System with a PI controller Implemented in MATLAB/Simulink;Reduce Multiple Power Quality Issues with UPQC by Using UVTG and PQ Current control Techniques Based on Snake Optimization;Utilize UPQC to Reduce Power Quality Issues by SRF control Strategies Based on Snake Optimization;Integrating Industrial PV-Battery systems with Utility Grid: Techno Economic Analysis for an Industry;AI Based Phase Identification to Integrate Distributed Energy Resources in Distribution Network;optimal Nearest Level control Modulation Technique for 25-Level Asymmetrical Hybrid Multilevel Inverter Topologies with Reduced Switch Stress;performance Investigation of a Vacuum-Enhanced Direct Contact Membrane Distillation Coupled with a Photovoltaic-Thermal System;utilization of Redundant Switching States in Asymmetric Cascaded H-bridge Multilevel Inverter;Modular DC-DC Converter for Battery Bank Interfacing in DC Microgrid;the Performance Effect of Seasonality Feature in Solar Photovoltaic Power Prediction Using Machine Learning;Hybrid Power System Simulation and Modeling for PV and Wind;Analysis of Different Energy Storage Characteristic Under Load Using BLDC Motor of Electric Scooter;advanced Federated Spectrum Busting: Federated Learning-Based Transmitter Identification System for Conventional Warfare and Counter Terrorism;Leveraging Synthetic Data and LSTM Networks for Reliable RUl Estimation of EV battery;Thermal Analysis of HTS Tape for SMES-Integrated Wind Turbines During Voltage Dips;maximizing Customer Satisfaction and Grid Resilience Through a Three-Tiered Energy Bidding Framework;Techniques to Rapid and Economic Prototyping of PWM Inverters;Analyzing the Impacts on Stability of IBR-Dominated Power systems Under Evolving Composite Loads.
The proceedings contain 81 papers. The special focus in this conference is on Electrical and Electronics engineering. The topics include: Design of a Single-Axis Solar Tracking System with a PI controller Implemented ...
ISBN:
(纸本)9789819790364
The proceedings contain 81 papers. The special focus in this conference is on Electrical and Electronics engineering. The topics include: Design of a Single-Axis Solar Tracking System with a PI controller Implemented in MATLAB/Simulink;Reduce Multiple Power Quality Issues with UPQC by Using UVTG and PQ Current control Techniques Based on Snake Optimization;Utilize UPQC to Reduce Power Quality Issues by SRF control Strategies Based on Snake Optimization;Integrating Industrial PV-Battery systems with Utility Grid: Techno Economic Analysis for an Industry;AI Based Phase Identification to Integrate Distributed Energy Resources in Distribution Network;optimal Nearest Level control Modulation Technique for 25-Level Asymmetrical Hybrid Multilevel Inverter Topologies with Reduced Switch Stress;performance Investigation of a Vacuum-Enhanced Direct Contact Membrane Distillation Coupled with a Photovoltaic-Thermal System;utilization of Redundant Switching States in Asymmetric Cascaded H-bridge Multilevel Inverter;Modular DC-DC Converter for Battery Bank Interfacing in DC Microgrid;the Performance Effect of Seasonality Feature in Solar Photovoltaic Power Prediction Using Machine Learning;Hybrid Power System Simulation and Modeling for PV and Wind;Analysis of Different Energy Storage Characteristic Under Load Using BLDC Motor of Electric Scooter;advanced Federated Spectrum Busting: Federated Learning-Based Transmitter Identification System for Conventional Warfare and Counter Terrorism;Leveraging Synthetic Data and LSTM Networks for Reliable RUl Estimation of EV battery;Thermal Analysis of HTS Tape for SMES-Integrated Wind Turbines During Voltage Dips;maximizing Customer Satisfaction and Grid Resilience Through a Three-Tiered Energy Bidding Framework;Techniques to Rapid and Economic Prototyping of PWM Inverters;Analyzing the Impacts on Stability of IBR-Dominated Power systems Under Evolving Composite Loads.
The proceedings contain 86 papers. The topics discussed include: a conceptual model-based application for the treatment and management of data in pediatric oncology: the neuroblastoma use case;exploring and evaluating...
ISBN:
(纸本)9789897587429
The proceedings contain 86 papers. The topics discussed include: a conceptual model-based application for the treatment and management of data in pediatric oncology: the neuroblastoma use case;exploring and evaluating interplays of BPpy with deep reinforcement learning and formal methods;agile effort estimation improved by feature selection and model explainability;enhancing privacy, censorship resistance, and user engagement in a blockchain-based social network;multi-perspective analyses of spatio-temporal data about wellbeing;supporting automated documentation updates in continuous software development with large language models;towards an approach for project-library recommendation based on graph normalization;automated social media feedback analysis for software requirements elicitation: a case study in the streaming industry;and reshaping reality: creating multi-model data and queries from real-world inputs.
The proceedings contain 48 papers. The topics discussed include: validation of photovoltaic mathematical model integrated with grid-connected microinverter through online mechanism;automatically on-off combustion cont...
The proceedings contain 48 papers. The topics discussed include: validation of photovoltaic mathematical model integrated with grid-connected microinverter through online mechanism;automatically on-off combustion control for holding thermal in palm sugar crystallization machine;enhancing agricultural monitoring: integrating ANP with QFD for the design of a smart agriculture tracking system;numerical study of the effect of damper opening angle and flue gas temperature on temperature distribution in heat recovery steam generator (HRSG);feasibility study of a wind power plant for East Kalimantan;improved reliability analysis of power distribution systems through zero down time (ZDT) reconfiguration;and numerical study of conventional oscillating water column and oscillating water column using Helmholtz resonator on non-linear wave input with sloshing characteristics.
The proceedings contain 61 papers. The special focus in this conference is on systems, control and automation. The topics include: Indirect IMC-PID controller for a DC-DC Boost Converter;Improvement in Load Frequency ...
ISBN:
(纸本)9789819773831
The proceedings contain 61 papers. The special focus in this conference is on systems, control and automation. The topics include: Indirect IMC-PID controller for a DC-DC Boost Converter;Improvement in Load Frequency control of Nonlinear Power System with IDDF controller;re-entry Trajectory Optimization using Orthogonal Collocation-Based Parametrization and Sequential Quadratic Programming Method;optimal control Applications in Marine Robot Vehicles;Implementation of PID controller for Large Scale systems Using Hybrid Model Order Reduction;analysis of Gain Scheduled Model Predictive controller for Dual Rotor Aerodynamic Model;impact of Different Frequencies and Voltages on the System Efficiency During Wireless Power Transmission;Performance Analysis of DNN and Adaptive Neuro Fuzzy controller in Comparison to Conventional controller for Closed Loop Single Switch Semi Quadratic Buck Converter;Data Driven control of Brushless DC Motor;intelligent Algorithms Based Level control of a Non-linear Conical Tank System;trajectory Tracking control of Robot Manipulators Using Fractional-Order Sliding Manifold;state and Fault Estimation Using Luenberger and Proportional-Integral Observers for Series Active Filters;robust Observer Design for Variable Speed Wind Turbine Using a Two-Mass Model;re-entry Trajectory Design Using Chebyshev-Lobatto Collocation and Piecewise Cubic Hermite Interpolating Polynomial Based control Profiles;Storing Data on Google Firebase Using LabVIEW for PLC Based Automatic Bottle Filling Machine;Grey Wolf Optimizer Based (1 + PD)-PIDn controller Design for AVR System;controller Design for an Uncertain Pacemaker and Robustness Analysis Using Kharitonov’s Theorem;Design and Analysis of Anesthesia Model Sensitivity for Integer-IMC PID and Fractional-IMC PID with the Help of Smith Predictor.
The proceedings contain 25 papers. The special focus in this conference is on Software engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a...
ISBN:
(纸本)9783031773815
The proceedings contain 25 papers. The special focus in this conference is on Software engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a Policy Framework for Regulating External Calls in Smart Contracts;exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability;a Formal Modeling Language for Smart Contracts;symbolic Execution for Precise Information Flow Analysis of Timed Concurrent systems;Validating Traces of Distributed Programs Against TLA+ Specifications;partially-Observable Security Games for Attack-Defence Analysis in Software systems;secure Smart Contracts with Isabelle/Solidity;Deductive Verification of SYCL in VerCors;minuska: Towards a Formally Verified Programming Language Framework;hierarchical Learning of Generative Automaton Models from Sequential Data;composing Run-Time Variability Models;model-Checking the Implementation of Consent;grammarForge: Learning Program Input Grammars for Fuzz Testing;verified Configuration and Deployment of Layered Attestation Managers;right or Wrong – Understanding How Users Write Software Models in Alloy;an Operational Semantics for Yul;execution-Time Opacity control for Timed Automata;unlocking the Power of Environment Assumptions for Unit Proofs;towards Quantum Multiparty Session Types;automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems;formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards;leveraging Contracts for Failure Monitoring and Identification in Automated Driving systems.
暂无评论