![]() ![]() Möbius™ is a software tool for modeling the behavior of complex systems. IOA is a formal language for describing computational processes that are modeled using I/O automata. HyLink is a tool which links Simulink/Stateflow models(SLSF) to the world of hybrid automaton.ĬHARON is a language for modular specification of interacting hybrid systems based on the notions of agent and mode. The Modest toolset supports the modelling and analysis of hybrid, real-time, distributed and stochastic systems. LUSTRE is a data flow synchronous language, designed for programming reactive system. Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design. ![]() SARXSAT is a tool for the identification of Switched and Piece-wise ARX models employing sparsification via l_0 minimization and SAT solvers. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |