Back to Results
First PageMeta Content
Operations research / Constraint programming / Logic in computer science / Electronic design automation / Formal methods / Satisfiability Modulo Theories / Solver / Boolean satisfiability problem / Constraint satisfaction / Theoretical computer science / Applied mathematics / Mathematics


Tool-Support for the Analysis of Hybrid Systems and Models
Add to Reading List

Document Date: 2007-03-14 18:49:09

Open Document

File Size: 236,82 KB

Share Result on Facebook

City

a SAT / /

Company

IBM / SIAM Journal / /

/

Facility

University of Iowa / /

IndustryTerm

open source tool / hybrid and embedded control systems / reactive systems / Line search filter methods / customisable solution / distributed embedded applications / stand-alone tool / embedded control systems / verification tools / hybrid control systems / equation systems / nonlinear equation systems / reactive and embedded systems / car steering model / hybrid systems / open-source software / valid linear solution / /

Organization

Andreas Bauer Markus Pister Michael Tautschnig Institut f¨ur Informatik / University of Iowa / U.S. Securities and Exchange Commission / /

Person

Andreas Bauer Markus Pister Michael / /

/

Position

car steering controller / human player / linear designed controller / controller / /

ProgrammingLanguage

MATLAB / L / Simulink / C++ / /

ProvinceOrState

Iowa / /

Technology

artificial intelligence / fixed algorithm / http / integrated circuit / /

URL

www.SMT-LIB.org / http /

SocialTag