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

TalTech department 1

subject term 1

author 1