Version 4.9.7
·
1358 commits
to master
since this release
4.9.7
This tag was signed with the committer’s verified signature.
Version 4.9.7 provides support for switched systems, a fixpoint tactic for hybrid games, as well as UI and robustness improvements:
- Switched systems: hybrid automaton modeler
- Tactics: new stability and attractivity tactics for switched systems
- Tactics: new fixpoint tactic for hybrid games
- UI: tactic and model editor bug fixes
- UI: browse all tactics
- Code generator: export definitions