The flux-weakening control strategy based on an integrated SVPWM modulation algorithm in permanent magnet synchronous motors
Publisher:
Year
: 2014DOI: 10.1109/ACSD.2014.21
Keyword(s): concurrency control,multi-threading,operating systems (computers),rewriting systems,specification languages,stochastic automata,temporal logic,UPPAAL SMC version 4.1.18,behaviour specification,computational threads,concurrent execution,dynamic networks,modelling languages,monitoring procedure,multiprocessing systems,operating systems,quantified dynamic metric temporal logic,requirement specification,rewriting formulas,spawning primitive,specification language,stochastic hybr
Collections
:
-
Statistics
The flux-weakening control strategy based on an integrated SVPWM modulation algorithm in permanent magnet synchronous motors
Show full item record
| date accessioned | 2020-03-12T23:30:31Z | |
| date available | 2020-03-12T23:30:31Z | |
| date issued | 2014 | |
| identifier other | 6896331.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1114196 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | The flux-weakening control strategy based on an integrated SVPWM modulation algorithm in permanent magnet synchronous motors | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8283426 | |
| subject keywords | concurrency control | |
| subject keywords | multi-threading | |
| subject keywords | operating systems (computers) | |
| subject keywords | rewriting systems | |
| subject keywords | specification languages | |
| subject keywords | stochastic automata | |
| subject keywords | temporal logic | |
| subject keywords | UPPAAL SMC version 4.1.18 | |
| subject keywords | behaviour specification | |
| subject keywords | computational threads | |
| subject keywords | concurrent execution | |
| subject keywords | dynamic networks | |
| subject keywords | modelling languages | |
| subject keywords | monitoring procedure | |
| subject keywords | multiprocessing systems | |
| subject keywords | operating systems | |
| subject keywords | quantified dynamic metric temporal logic | |
| subject keywords | requirement specification | |
| subject keywords | rewriting formulas | |
| subject keywords | spawning primitive | |
| subject keywords | specification language | |
| subject keywords | stochastic hybr | |
| identifier doi | 10.1109/ACSD.2014.21 | |
| journal title | ontrol Conference (CCC), 2014 33rd Chinese | |
| filesize | 261189 | |
| citations | 1 | |
| contributor rawauthor | Zhaodong Wang , Linru You , Zhaobin Huang , Peiquan Yan |