Searching - TalTech Research Portal

power verification (keyword)

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

author

TalTech department

subject term

series

name of the person

keyword

Clear

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Towards multidimensional verification : where functional meets non-functionalJenihhin, Maksim; Lai, Xinhui; Ghasempouri, Tara; Raik, Jaan2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore2018 / 7 p. : ill https://doi.org/10.1109/NORCHIP.2018.8573495

book article
Related publications 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

journal article EST / journal article ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 2
- A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid

Number of records 2, displaying 1 - 2

1. power verification
2. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3. power electronics applications in power systems and utilities
4. assertion-based verification
5. Automata, Formal Verification
6. Automatic Security Verification
7. automatic speaker verification
8. compliance verification
9. compositional verification
10. deductive verification
11. extra-functional verification
12. forecast verification
13. formal verification
14. functional verification
15. grid verification
16. Hardware Verification
17. model verification
18. model-based verification
19. program verification
20. reliability verification
21. RISC-V Security Verification
22. security verification
23. simple payment verification (SVP)
24. simulation-based verification
25. speaker verification
26. timing verification
27. validation and verification
28. verification
29. verification and validation
30. verification by model checking
31. verification methods
32. AC power converters
33. AC/DC power converter
34. AC‐AC power convertors
35. ac-dc power conversion
36. AC-DC power converter
37. AC-DC power converters
38. active power
39. active power decoupling
40. adaptive power allocation
41. aircraft electric power system
42. alpha power variability
43. auxiliary power supply
44. balance of power
45. balancing power
46. bidirectional power flow
47. bidirectional power flow control
48. bidirectional power transfer
49. bisection based optimal power allocation
50. boost power converter
51. buck-boost full power converter
52. buck–boost power converter
53. capabilities of power electronics
54. capacitive power transfer
55. CHP (combined power and heat)
56. combined heat and power
57. combined heat and power economic dispatch (CHPED)
58. combined heat and power plant
59. common-ground power converter
60. concentrated solar power
61. condensing power plant
62. connection power
63. constant power load
64. constant power source
65. consumed power minimization
66. consumer power system
67. consumer-perceived power
68. contribution to power quality deterioration
69. conventional power plant
70. cyber physical power system (CPPS)
71. cyber power Europe
72. DC power supply
73. DC/DC power conversion
74. DC/DC power converters
75. DC-AC power conversion
76. DC-AC power converters
77. DC-DC power conversion
78. DC‐DC power conversion
79. DC-DC power converter
80. DC-DC power converters
81. DC–DC power converters
82. DC-DC power convertors
83. DC‐DC power convertors
84. Differential Power Analysis (DPA)
85. dimensioning cooling power
86. directional power spectral density
87. Discrete power device
88. distributed power
89. distributed power generation
90. distributed power systems
91. distrubuted power generation
92. double power-law
93. dual-purpose dc-dc/ac power converter
94. economic power dispatch
95. Egyptian power system
96. electric power distribution
97. electric power generation
98. electric power storage system
99. electric power system control
100. electric power system stability
101. electric power systems
102. electric power transmission
103. electric power transmission networks
104. electric power utilization
105. electrical power quality
106. electrical power systems
107. emerging power converters
108. faults in power system
109. flexibility in power systems
110. fluid power feeding system with a pneumo-hydraulic accumulator
111. fluid power system
112. fossil fuel power plants
113. fractional power zero-pole
114. fuel cell power systems
115. full power converter
116. full power Z -source converter
117. functional power plants
118. functional power-plants
119. GaAs power devices
120. galvanically isolated DC-DC power converter
121. global maximum power point
122. grid-connected power supply
123. grid-forming power converters
124. heat and power plant
125. heating power
126. high percentage of wind power
127. high step-up power converter
128. high voltage power converters
129. hybrid power system
130. hydraulic power
131. hydroelectric power generation
132. hydroelectric power station (HEPS)
133. inductive power transfer
134. inductive power transfer (IPT)
135. inductive power transmission
136. inductive wireless power transfer link
137. industrial power systems
138. instantaneous power balancing
139. integration of solar power plants
140. Interconnected power system
141. isolated power conditioning unit (PCU)
142. isolated power converters
143. Kalman-filter based maximum power point tracking (KF-MPPT)
144. leakage current and reactive power supporting
145. limited power
146. lithium batteries and power system modeling
147. local power supply system
148. low power
149. low-power ASIC design
150. low-power decoupling
151. low-power designs
152. low-power device
153. market power
154. market power mitigation
155. maximum available power
156. maximum power point
157. maximum power point tracker
158. Maximum power point trackers
159. maximum power point tracking
160. maximum power point tracking (MPPT)
161. medium voltage power cables
162. Mini-block power plant
163. Modern power system
164. module level power electronics (MLPE)
165. module-level power electronics (MLPE)
166. multi-machine industrial power plant
167. multi-machine power system
168. narrowband power line communications
169. non-active power
170. non-coercive power
171. normative power
172. nuclear power
173. off-grid hybrid power supply
174. Off-shore wind power
175. offshore wind power plants
176. oil shale-fired power plants
177. oil-shale power generation
178. parallel active power filter
179. partial power based on buck-boost resonance converter
180. partial power based on isolated Z - Source converter(PPZSC)
181. partial power conversion
182. partial power converter
183. partial power converter (PPC)
184. partial power converters
185. partial power processing
186. Partial power processing (PPP)
187. peak power limiting
188. photovoltaic power plant
189. photovoltaic power systems
190. power
191. power allocation
192. power amplifier
193. power aware computing
194. power balance
195. power based control
196. power bed fusion
197. power cable
198. Power cables
199. power capacitors
200. power chart
201. power combiner
202. power conditioner
203. power conditioning
204. power conditioning units (PCUs)
205. power consensus
206. power consumption
207. power consumption of production
208. power control
209. power conversion
210. power converter
211. power converter interfaces
212. power converters
213. power converters design
214. power converters for EV
215. power decoupling
216. Power Delay Product (PDP)
217. power delivery network
218. power demand
219. power density
220. power devices
221. power diodes
222. power dissipation
223. power disspation
224. power distribution
225. power distribution control
226. power distribution faults
227. power distribution lines
228. power distribution network
229. power distribution system
230. power electronic building block
231. power electronic converter
232. power electronic converters
233. power electronic interfaces
234. power electronic interfaces for renewable energy sources
235. power electronic transformer
236. power electronics
237. power electronics (PE)
238. power electronics converter
239. power electronics converters
240. power engineering
241. power engineering computing
242. power exchange
243. power factor
244. power factor correction
245. power factor correction (PFC)
246. power flow
247. power flow equations
248. power forecasting
249. power frequency
250. power generation
251. power generation dispatch
252. power generation economics
253. power generation planning
254. power grid
255. power grid imbalance
256. power grid project
257. power grids
258. power harmonic filters
259. power imbalance
260. Power industry
261. power injection
262. power inverter
263. Power Iteration Clustering (PIC)
264. power law
265. Power leveling strategy
266. power limitation
267. power line communication
268. power line construction
269. power loss
270. power loss minimization
271. power loss model
272. power losses
273. power management
274. power market model
275. power markets
276. power measurement
277. power module
278. power MOSFET
279. power of discrimination
280. power optimization
281. power optimizer
282. Power oscillation damping controller (PODC)
283. power outage
284. Power Plant
285. power plant cycling
286. power plant pollution
287. Power plants
288. power quality
289. power quality benchmarking
290. power quality case study
291. Power Quality Disturbances (PQD)
292. power quality disturbances (PQDs)
293. power quality legislation
294. power quality measurement
295. power quality measurement equipment
296. power quality measurements
297. power quality monitoring
298. power quality parameters
299. power reduction
300. power semiconductor device
301. power semiconductor devices
302. power semiconductor switches
303. power series
304. power signature
305. power smoothing
306. power sources
307. power spectral density
308. power spectrum
309. Power storage
310. power supplier
311. power supplies
312. power supplies to apparatus
313. power supply
314. power swings
315. power system
316. power system analysis computing
317. power system control
318. power system dynamics
319. power system economics
320. power system faults
321. power system harmonics
322. power system management
323. power system measurements
324. power system modeling
325. power system modelling
326. power system operation
327. power system parameter estimation
328. power system planning
329. power system protection
330. power system reliability
331. power system resilience
332. power system restoration
333. power system security
334. power system simulation
335. power system simulations
336. Power system stabilizer (PSS)
337. power system stability
338. power system transient stability
339. power systems
340. Power systems expansion
341. power systems flexibility
342. power sytems
343. power to hydrogen technology
344. power transfer distribution factor
345. power transformers
346. power transistors
347. power transmission
348. power transmission lines
349. power variations
350. power-aware
351. power-electronic converters
352. power-factor correction
353. power-flow equations
354. power-hardware-in-the-loop
355. power-laws
356. power-sharing
357. power-to-gas based storage system
358. Power-to-heat
359. power-to-X
360. PQ (Power Quality)
361. PQM (Power Quality Monitoring)
362. pulse width modulated power converters
363. pulsed power load (PPL)
364. pulsewidth-modulated power converters
365. PV module level power electronics
366. PV power generation
367. PV power output
368. PV power plant
369. reactive power
370. reactive power compensation
371. reactive power control
372. reactive power injection
373. reactive power management
374. reactive power provision
375. relative band power
376. relative gamma power
377. resonant power convertors
378. reverse power flow
379. reverse power transfer
380. r-th power residue symbol
381. series partial power converter (S-PPC)
382. shade-tolerant maximum power point tracking (MPPT)
383. shale oil and power cogeneration
384. shunt active power filter
385. smart power electronics
386. smart power grids
387. Soft power
388. solar power
389. solar power forecasting
390. solar power generation
391. solar power plant integration
392. space-based solar power
393. static power converters
394. surplus power factor
395. sustainable power engineering
396. switch mode power supply
397. switched mode power supplies
398. switched-mode power supplies
399. switchedmode power supply
400. switched-mode power supply
401. symbolic power
402. thermal power plant
403. thermal power plants
404. Thermal Power Station
405. theta band power
406. three-phase power factor correction (PFC) converter
407. time-delay renewable power systems
408. topological power plant
409. topology/power control
410. Unified power flow controller (UPFC)
411. uninterruptible power supply (UPS)
412. wave power
413. welding power supply
414. wind power
415. wind power forecasting
416. wind power generation
417. wind power generators
418. wind power plants
419. wind power production
420. Wind-photovoltaic-thermal-bundled power
421. wireless power transfer
422. virtual power plant
423. virtual power plant (VPP)
424. virtual power plants
425. virtual power plant's (VPPs)
426. working power of luminaires
427. voting power
428. 15min power balance

1. Department of Electrical Power Engineering and Mechatronics

1. Enefit Power

1. Power, Ian M.

power verification (keyword)

types of item

keyword 428

TalTech department 1

subject term 1

author 1