×

CoSyma

swMATH ID: 20124
Software Authors: Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor
Description: CoSyma: a tool for controller synthesis using multi-scale abstractions. We introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts a description of a switched system represented by a set of differential equations and the sampling parameters used to define an approximation of the state-space on which discrete abstractions are computed. The tool generates a controller – if it exists – for the system that enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized controllers and the significant performance gains during their computation.
Homepage: http://dl.acm.org/citation.cfm?doid=2461328.2461343
Keywords: controller synthesis; multi-scale abstractions; switched systems; symbolic algorithms
Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; FACTEST; FaSTrack; PythonRobotics; LTLMoP; NumPy; SciPy; CPAchecker; BLAST; MPT; SENSE; BDD2Implement; dReach; CUDD; Matlab
Cited in: 12 Publications

Citations by Year