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 / /