{"id":79,"date":"2014-03-18T14:19:14","date_gmt":"2014-03-18T19:19:14","guid":{"rendered":"https:\/\/my.vanderbilt.edu\/simko\/?page_id=79"},"modified":"2014-03-18T17:59:38","modified_gmt":"2014-03-18T22:59:38","slug":"sahvy","status":"publish","type":"page","link":"https:\/\/my.vanderbilt.edu\/simko\/sahvy\/","title":{"rendered":"Sahvy"},"content":{"rendered":"<p>Sahvy is a tool for verifying sample and hold systems composed of a continuous-time physical plant and a periodic discrete-time software controller.<br \/>\nThe tool is introduced in the following paper:<\/p>\n<div style=\"margin-bottom: 15px;padding-left: 50px\"><strong>Simko G.<\/strong>, Jackson E. K. (2014). A Bounded Model Checking Tool for Periodic Sample-hold Systems. 17th International Conference on Hybrid Systems: Computation and Control (HSCC).<\/div>\n<p>The examples and the precompiled 64-bit Windows binary executable of the tool are downloadable from <a href=\"http:\/\/1drv.ms\/1j0Sxx4\">here <\/a> and the source code is found at <a title=\"http:\/\/formula.codeplex.com\/\" href=\"http:\/\/formula.codeplex.com\/\">http:\/\/formula.codeplex.com\/<\/a> under the Src\/More\/Sahvy directory. The source code for the interface between Sahvy and Flow* is found at\u00a0<a title=\"https:\/\/github.com\/gsimko\/InterfacingFlowstar\" href=\"https:\/\/github.com\/gsimko\/InterfacingFlowstar\">https:\/\/github.com\/gsimko\/InterfacingFlowstar<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Sahvy is a tool for verifying sample and hold systems composed of a continuous-time physical plant and a periodic discrete-time software controller. The tool is introduced in the following paper: Simko G., Jackson E. K. (2014). A Bounded Model Checking &hellip; <a href=\"https:\/\/my.vanderbilt.edu\/simko\/sahvy\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2720,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-79","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/79","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/users\/2720"}],"replies":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/comments?post=79"}],"version-history":[{"count":3,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/79\/revisions"}],"predecessor-version":[{"id":108,"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/pages\/79\/revisions\/108"}],"wp:attachment":[{"href":"https:\/\/my.vanderbilt.edu\/simko\/wp-json\/wp\/v2\/media?parent=79"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}