swMATH6311MaRDI QIDQ18442FDOQ18442
Author name not available (Why is that?)
Official website: http://www-ljk.imag.fr/membres/Antoine.Girard/Software/Matisse/
Cited In (42)
- DyverseRBT
- Event-B refinement for continuous behaviours approximation
- Trajectory-based theory for hybrid systems
- Approximate simulation relations for hybrid systems
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Finite abstractions for hybrid systems with stable continuous dynamics
- Model predictive control of directed-graph constrained systems
- Model reduction of switched affine systems
- Hierarchical control system design using approximate simulation
- Proving approximate implementations for probabilistic I/O automata
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- Bisimulations for neural network reduction
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximate reduction of dynamic systems
- MarPlex
- d/dt
- CalCS
- Pyhybridanalysis
- cftool
- Title not available (Why is that?)
- BFComp
- CyPhySim
- PESSOA
- STRONG
- ABsolver
- Link-Level Aspects
- benchmodred
- Stabilization of finite automata with application to hybrid systems control
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- EulerCurves
- Approximate bisimulation: a bridge between computer science and control theory
- Crossing the Bridge between Similar Games
- Bisimulation conversion and verification procedure for goal-based control systems
- A topological method for finding invariant sets of continuous systems
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Model-order reduction of ion channel dynamics using approximate bisimulation
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Balanced truncation for linear switched systems
- Hierarchical analysis of large-scale control systems via vector simulation function
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
This page was built for software: MATISSE
