Verification of Power System Protection Schemes using Temporal Logic

dc.contributor.author	Sengupta, Ananyo
dc.date.accessioned	2017-04-28T07:55:37Z
dc.date.available	2017-04-28T07:55:37Z
dc.date.issued	2017-01-01
dc.identifier.govdoc	NB15682
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7486
dc.language.iso	en	en
dc.publisher	IIT, Kharagpur	en
dc.subject	Sensitivity Analysis	en
dc.subject	Particle Swarm Optimization	en
dc.subject	Hybrid Automata	en
dc.subject	Temporal Logic	en
dc.subject	Assertion Checking	en
dc.subject	Protection System	en
dc.title	Verification of Power System Protection Schemes using Temporal Logic	en
dc.type	Thesis	en