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. Emergency power support
117. emerging power converters
118. faults in power system
119. flexibility in power systems
120. fluid power feeding system with a pneumo-hydraulic accumulator
121. fluid power system
122. fossil fuel power plants
123. fractional power zero-pole
124. fuel cell power systems
125. full power converter
126. full power Z -source converter
127. functional power plants
128. functional power-plants
129. GaAs power devices
130. galvanically isolated DC-DC power converter
131. Geological Power Bank
132. global maximum power point
133. global power sharing
134. grid-connected power supply
135. grid-forming power converters
136. heat and power plant
137. heating power
138. high percentage of wind power
139. high power density
140. high step-up power converters
141. high voltage power converters
142. hybrid power system
143. hybrid power systems
144. hydraulic power
145. hydroelectric power generation
146. hydroelectric power station (HEPS)
147. inductive power transfer
148. inductive power transfer (IPT)
149. inductive power transmission
150. inductive wireless power transfer link
151. industrial power systems
152. instantaneous power balancing
153. integration of solar power plants
154. Interconnected power system
155. isolated power conditioning unit (PCU)
156. isolated power converters
157. Kalman-filter based maximum power point tracking (KF-MPPT)
158. leakage current and reactive power supporting
159. limited power
160. lithium batteries and power system modeling
161. local power supply system
162. low power
163. low-power ASIC design
164. low-power circuits and systems
165. low-power decoupling
166. low-power designs
167. low-power device
168. machine learning applications in power systems
169. market power
170. market power mitigation
171. maximum available power
172. maximum power point
173. maximum power point tracker
174. Maximum power point trackers
175. maximum power point tracking
176. maximum power point tracking (MPPT)
177. medium voltage power cables
178. Mini-block power plant
179. mobile nuclear power
180. Modern power system
181. module level power electronics (MLPE)
182. module-level power electronics (MLPE)
183. multi-machine industrial power plant
184. multi-machine power system
185. narrowband power line communications
186. non-active power
187. non-coercive power
188. normative power
189. nuclear power
190. off-grid hybrid power supply
191. Off-shore wind power
192. offshore wind power plants
193. oil shale-fired power plants
194. oil-shale power generation
195. parallel active power filter
196. partial power based on buck-boost resonance converter
197. partial power based on isolated Z - Source converter(PPZSC)
198. partial power conversion
199. partial power converter
200. partial power converters
201. partial power converters (PPC)
202. partial power DC-DC converter
203. partial power processing
204. Partial power processing (PPP)
205. peak power limiting
206. photovoltaic power plant
207. photovoltaic power systems
208. power
209. power allocation
210. power amplifier
211. Power amplifiers
212. power aware computing
213. power balance
214. power based control
215. power bed fusion
216. power cable
217. Power cables
218. power capacitors
219. power chart
220. power combiner
221. power conditioner
222. power conditioning
223. power conditioning units (PCUs)
224. power consensus
225. power consumption
226. power consumption of production
227. power control
228. power conversion
229. power converter
230. power converter interfaces
231. power converters
232. power converters design
233. power converters for EV
234. power decoupling
235. Power Delay Product (PDP)
236. power delivery network
237. power demand
238. power density
239. power devices
240. power diodes
241. power dissipation
242. power disspation
243. power distribution
244. power distribution control
245. power distribution faults
246. power distribution lines
247. power distribution network
248. power distribution system
249. power electronic building block
250. power electronic converter
251. power electronic converters
252. power electronic interfaces
253. power electronic interfaces for renewable energy sources
254. power electronic transformer
255. power electronics
256. power electronics (PE)
257. power electronics converter
258. power electronics converters
259. power electronics solutions
260. power engineering
261. power engineering computing
262. power exchange
263. power factor
264. power factor correction
265. power factor correction (PFC)
266. power flow
267. power flow equations
268. power flow optimization
269. power forecasting
270. power frequency
271. power generation
272. power generation dispatch
273. power generation economics
274. power generation planning
275. power grid
276. power grid imbalance
277. power grid project
278. power grids
279. power harmonic filters
280. power imbalance
281. Power industry
282. power injection
283. power inverter
284. power inverters
285. Power Iteration Clustering (PIC)
286. power law
287. Power leveling strategy
288. power limitation
289. power line communication
290. power line construction
291. power loss
292. power loss minimization
293. power loss model
294. power losses
295. power management
296. power market model
297. power markets
298. power measurement
299. power mismatch analysis
300. power module
301. power MOSFET
302. power of discrimination
303. power optimization
304. power optimizer
305. Power oscillation damping controller (PODC)
306. power outage
307. Power Plant
308. power plant cycling
309. power plant pollution
310. Power plants
311. power quality
312. Power quality (PQ)
313. power quality benchmarking
314. power quality case study
315. Power Quality Disturbances (PQD)
316. power quality disturbances (PQDs)
317. power quality legislation
318. power quality measurement
319. power quality measurement equipment
320. power quality measurements
321. power quality monitoring
322. power quality parameters
323. power reduction
324. power reliability
325. power semiconductor device
326. power semiconductor devices
327. power semiconductor switches
328. power series
329. power sharing
330. power signature
331. power smoothing
332. power sources
333. power spectral density
334. power spectrum
335. Power storage
336. power supplier
337. power supplies
338. power supplies to apparatus
339. power supply
340. power swings
341. power system
342. power system analysis computing
343. power system control
344. power system dynamics
345. power system economics
346. power system faults
347. power system harmonics
348. power system management
349. power system measurements
350. power system modeling
351. power system modelling
352. power system operation
353. power system parameter estimation
354. power system planning
355. power system protection
356. power system reliability
357. power system resilience
358. power system restoration
359. power system security
360. power system simulation
361. power system simulations
362. Power system stabilizer (PSS)
363. power system stability
364. power system transient stability
365. power systems
366. Power systems expansion
367. power systems flexibility
368. power sytems
369. power to hydrogen technology
370. power transfer distribution factor
371. power transformers
372. power transistors
373. power transmission
374. power transmission lines
375. power variations
376. power-aware
377. power-electronic converters
378. power-factor correction
379. power-flow equations
380. power-hardware-in-the-loop
381. power-laws
382. power-sharing
383. power-to-gas based storage system
384. Power-to-heat
385. power-to-hydrogen
386. power-to-X
387. power-to-X technology
388. PQ (Power Quality)
389. PQM (Power Quality Monitoring)
390. pulse width modulated power converters
391. pulsed power load (PPL)
392. pulsewidth-modulated power converters
393. PV module level power electronics
394. PV power generation
395. PV power output
396. PV power plant
397. reactive power
398. reactive power compensation
399. reactive power control
400. reactive power injection
401. reactive power management
402. reactive power provision
403. Real interconnected power system
404. relative band power
405. relative gamma power
406. resonant power convertors
407. reverse power flow
408. reverse power transfer
409. r-th power residue symbol
410. series partial power converter (S-PPC)
411. series partial power converter (S-PPC) based on the push-pull
412. shade-tolerant maximum power point tracking (MPPT)
413. shale oil and power cogeneration
414. shunt active power filter
415. smart power electronics
416. smart power grids
417. Soft power
418. solar power
419. solar power forecasting
420. solar power generation
421. solar power plant integration
422. space-based solar power
423. static power converters
424. surplus power factor
425. sustainable power engineering
426. switch mode power supply
427. switched mode power supplies
428. switched-mode power supplies
429. switchedmode power supply
430. switched-mode power supply
431. symbolic power
432. talkative power conversion
433. thermal power plant
434. thermal power plants
435. Thermal Power Station
436. theta band power
437. three-phase power factor correction (PFC) converter
438. time-delay renewable power systems
439. topological power plant
440. topology/power control
441. Unified power flow controller (UPFC)
442. uninterruptible power supply (UPS)
443. UPF (unity power factor)
444. wave power
445. welding power supply
446. wind power
447. wind power forecasting
448. wind power generation
449. wind power generators
450. wind power plants
451. wind power production
452. Wind-photovoltaic-thermal-bundled power
453. wireless power transfer
454. virtual power plant
455. virtual power plant (VPP)
456. virtual power plants
457. virtual power plant's (VPPs)
458. working power of luminaires
459. voting power
460. 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 460

TalTech department 1

subject term 1

author 1