« Photobloging with MT and Gallery | Main | Photoblogging with XSLT, MT and Gallery »
November 08, 2004
sampled data in control
[Mathematics of Sampled Data Systems] So we've got a great formal verification tool for embedded processors that has a discrete model of time. We'd like to keep the model of time discrete because it works out better for our simulators. However, we'd like to embed the embedded processor (poor choice of terms?) in a continous environment. This results in a sampled data system in the parlance of control theory.
If you'd like us to look at verifying your sampled data system using model checking as a case study, drop me a line at jones@cs.byu.edu. We will sign most NDAs...
Posted by jones at November 8, 2004 02:07 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)