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: –