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

TalTech department 1

subject term 1

author 1