Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

doi 10.1109/compel.2017.8013279
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Verification, Model Checking and Abstract Interpretation

1997English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Thermal-Based Finite Control Set Model Predictive Control for IGBT Power Electronic Converters

2016English

Decentralised MPC Based on a Graph Partitioning Approach Applied to the Barcelona Drinking Water Network*

IFAC Proceedings Volumes
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy