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

TalTech department 1

subject term 1

author 1