×

Found 27 Software Packages (Results 1–27)

Robust Control Toolbox

Software Authors:   MathWorks; Balas G, Chiang R, Packard A, Safonov M
Cited in: 153 Publications (1989–2022)
Related Software: Matlab; Control System Toolbox; Mu Analysis and Synthesis Toolbox; LMI toolbox; YALMIP; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

PESSOA

Software Authors:   Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak
Cited in: 20 Publications (2011–2022)
Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Supremica

Software Authors:   Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik
Cited in: 21 Publications (2009–2022)
Related Software: UMDES; libFAUDES; TCT; QuickCheck; MersenneTwister; AutoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SCOTS

Software Authors:   Rungger, Matthias; Zamani, Majid
Cited in: 19 Publications (2016–2022)
Related Software: PESSOA; CoSyma; TuLiP; ROCS; Matlab; Sostools; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

TuLiP

Software Authors:   Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
Cited in: 14 Publications (2016–2022)
Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CoSyma

Software Authors:   Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor
Cited in: 12 Publications (2015–2022)
Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

libFAUDES

Software Authors:   Bernd Opitz, Thomas Moor, Klaus Schmidt
Cited in: 10 Publications (2010–2020)
Related Software: UMDES; PESTS; MuDiv; TCT; Supremica; GitHub; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SReachTools

Software Authors:   Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.
Cited in: 6 Publications (2019–2022)
Related Software: FAUST2; MPT; StocHy; ProbReach; PRISM; GitHub; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

AMYTISS

Software Authors:   Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
Cited in: 3 Publications (2020–2021)
Related Software: StocHy; FAUST2; PRISM; pFaces; SReachTools; GitHub; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

DryVR

Software Authors:   Qi, Bolun; Fan, Chuchu; Jiang, Minghao; Mitra, Sayan
Cited in: 3 Publications (2017–2021)
Related Software: S-TaLiRo; dReach; AutoMOTGen; Dymola; Uppaal; StateFlow; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

GMO

Software Authors:   Xin Qi; M.H. Khammash; M.V. Salapaka
Cited in: 3 Publications (2002–2008)
Related Software: QDES
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

LTLMoP

Software Authors:   Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit
Cited in: 3 Publications (2017–2020)
Related Software: TuLiP; PESSOA; pypoman; FACTEST; FaSTrack; PythonRobotics; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

nncontroller

Software Authors:   Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim
Cited in: 3 Publications (2021)
Related Software: Reluplex; Spacer; CLN2INV; AI2; Adam; Sherlock; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

pFaces

Software Authors:   Khaled, Mahmoud; Zamani, Majid
Cited in: 3 Publications (2019–2020)
Related Software: ROCS; SCOTS; CoSyma; AMYTISS; StocHy; SReachTools; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

CGMurphi

Software Authors:   Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico
Cited in: 2 Publications (2013–2021)
Related Software: UPPAAL TIGA
Main Fields: Systems theory; control (93-XX)

DSSynth

Software Authors:   Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel
Cited in: 2 Publications (2017–2020)
Related Software: PESSOA; Boost Interval Arithmetic; CBMC; Boost
Main Fields: Systems theory; control (93-XX)

SMACS

Software Authors:   Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv'e; Massart, Thierry
Cited in: 2 Publications (2011–2012)
Related Software: Fixpoint; UMDES; Apron
Main Fields: Systems theory; control (93-XX)

BDD2Implement

Software Authors:   M. Khaled
Cited in: 1 Publication (2019)
Related Software: SENSE; pFaces; ROCS; TuLiP; SCOTS; CoSyma; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

CONFAL

Software Authors:   Bhaya A, Vieira JBL
Cited in: 1 Publication (2016)
Related Software: Matlab
Main Fields: Systems theory; control (93-XX)

CRCBode

Software Authors:   Taylor, J.D.; Messner, William
Cited in: 1 Publication (2014)
Related Software: Robust Control Toolbox
Main Fields: Systems theory; control (93-XX)

DaDRA

Software Authors:   Jared Mejia, Alex Devonport, Murat Arcak
Cited in: 0 Publications
Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python
Main Fields:

McScM

Software Authors:   Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Cited in: 0 Publications
Related Software: TaPAS; CADP; SPIN; TREX
Main Fields:

PIDMaster

Software Authors:   Ostroveršnik, M.; Šehić, Z.; Zupančič, B.; Šega, M.
Cited in: 1 Publication (1994)
Related Software: ANA
Main Fields: Computer science (68-XX)

PuRSUE

Software Authors:   Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Cited in: 1 Publication (2020)
Related Software: NuSMV; LTLMoP; GitHub; ROS; PRISM-games; Synthia; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Sigali

Software Authors:   H. Marchand
Cited in: 0 Publications
Related Software: MARTE; SPIN
Main Fields:

SLSpy

Software Authors:   Shih-Hao Tseng, Jing Shuang Li
Cited in: 1 Publication (2022)
Related Software: QDES; Mosek; SeDuMi
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HyStar

Software Authors:   Lin, H.; Antsaklis, P.J.
Cited in: 0 Publications
Related Software:
Main Fields: