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

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

TalTech department 1

subject term 1

author 1