A Comparison of Tools for Modeling and Verifying Hybrid Dynamical Systems.

Show simple item record

dc.contributor.advisor John Baugh, Chair
dc.contributor.advisor Gnanamanikam Mahinthakumar, Member
dc.contributor.advisor Earl Brill, Member
dc.contributor.author Cakir, Gulsah
dc.date.accessioned 2020-11-13T13:30:48Z
dc.date.available 2020-11-13T13:30:48Z
dc.date.issued 2020-08-14
dc.date.submitted 2020-08-18
dc.identifier.other deg22769
dc.identifier.uri https://www.lib.ncsu.edu/resolver/1840.20/38373
dc.title A Comparison of Tools for Modeling and Verifying Hybrid Dynamical Systems.
dc.degree.name Master of Science
dc.degree.level thesis
dc.degree.discipline Civil Engineering
dc.date.accepted 2020-11-11
dc.date.defense 2020-08-14
dc.date.released 2020-11-13
dc.date.reviewed 2020-08-20


Files in this item

Files Size Format View
etd.pdf 3.539Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record