MR and LTV Synthesis Tools Software Authors: Pirie, Carol; Dullerud, Geir E. Cited in: 35 Publications (1999–2021) Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)
DASOPT Software Authors: Petzold, Linda; Rosen, J.Ben; Gill, Philip E.; Jay, Laurent O.; Park, Kihong Cited in: 14 Publications (1988–2021) Related Software: ADIFOR; SNOPT; SOCS; LAPACK; L-BFGS; GiNaC; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
AURA Software Authors: Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve Cited in: 10 Publications (2008–2016) Related Software: Coq; F*; Agda; Ynot; Fable; Cayenne; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
MORLAB Software Authors: Peter Benner, Steffen W. R. Werner Cited in: 8 Publications (2018–2022) Related Software: MESS; Matlab; RADI; MORPACK; sssMOR; Morembs; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
STCT Software Authors: Zhang, Zhonghua; Wonham, W.M. Cited in: 9 Publications (2002–2009) Related Software: UMDES; BuDDy Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
LONE Software Authors: Ciaramella, G.; Borzì, A. Cited in: 7 Publications (2016–2021) Related Software: ReHaG; SKRYN; simDEF; Matlab; Maple Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
ArduPilot Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Cited in: 5 Publications (2013–2021) Related Software: Matlab; GitHub; JSBSim; Eraser; RacerX; McPatom; … Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-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)
FORCES NLP Software Authors: Zanelli, A.; Domahidi, A.; Jerez, J.; Morari, M. Cited in: 5 Publications (2018–2022) Related Software: qpOASES; GRAMPC; qpDUNES; Ipopt; ACADO; GitHub; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ROCS Software Authors: Li, Yinan; Liu, Jun Cited in: 5 Publications (2018–2021) Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Xplane Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Cited in: 2 Publications (2010–2013) Related Software: Matlab; Simulink; MASON; Plane Maker; ArduPilot; MultiUAV Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
BaRC Software Authors: Boris Ivanovic, James Harrison, Apoorva Sharma, Mo Chen, Marco Pavone Cited in: 2 Publications (2020–2021) Related Software: ToolboxLS; helperOC; PILCO; Python; PythonRobotics; OpenAI Gym; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ReHaG Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: SKRYN; LONE; Matlab; Maple Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Quantum theory (81-XX)
SKRYN Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: ReHaG; LONE; Matlab; Maple Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Quantum theory (81-XX)
EHMAC Software Authors: Latawiec, Krzysztof J.; Rojek, Ryszard Cited in: 2 Publications (1998–2000) Related Software: – Main Fields: Systems theory; control (93-XX)
FLOreS Software Authors: Lennart van Duist; Gijs van der Gugten; Daan Toten; Niranjan Saikumar; Hassan HosseinNia Cited in: 1 Publication (2019) Related Software: FOTF Toolbox; Ninteger; FOMCON Main Fields: Real functions (26-XX); Systems theory; control (93-XX)
MonALISA Software Authors: I. Legrand, H. Newman, R. Voicu, C. Cirstoiu, C. Grigoras, C. Dobre, A. Muraru, A. Costan, M. Dediu, C. Stratan Cited in: 2 Publications (2009–2011) Related Software: BlobSeer; NetLogger Main Fields: Computer science (68-XX)
multistatepdscontrol Software Authors: Sordo Vieira, Luis; Laubenbacher, Reinhard C.; Murrugarra, David Cited in: 2 Publications (2020–2021) Related Software: CANA; GitHub; ADAM; Ginsim; Macaulay2 Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
ORACLS Software Authors: Armstrong, Ernest S. Cited in: 2 Publications (1980–1985) Related Software: – Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
pyvrft Software Authors: Emerson Boeira; Diego Eckhard Cited in: 0 Publications Related Software: SciPy; Python; System Identification Toolbox; pyphysio; eadf; R; … Main Fields: –
SITS Software Authors: Figueiredo, Lino; Tenreiro Machado, J.A. Cited in: 2 Publications (2007–2016) Related Software: – Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Audur Software Authors: L. Vanfretti; G. M. Jónsdóttir; M.S.; Almas; E.Rebello; S.R. Firouzi; M. Baudette Cited in: 0 Publications Related Software: BabelFish; LabVIEW Main Fields: –
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: –
dymos Software Authors: Robert Falck; Justin S. Gray; Kaushik Ponnapalli; Ted Wright Cited in: 0 Publications Related Software: Adjoint; GPOPS; SciPy; pyOptSparse; SNOPT; CasADi; … Main Fields: –
HARTEX Software Authors: Angelov, C.K.; Ivanov, I.E.; Burns, A. Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
HBOQ(14)4 Software Authors: Nguyen, Ba Truong; Sharp, Philip W.; Vaillancourt, Rémi Cited in: 1 Publication (2008) Related Software: ode113; Matlab Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
INTEGRATOR Software Authors: Kulikov, Gennady Y.; Shindin, Sergey K. Cited in: 1 Publication (2004) Related Software: Matlab Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX)
LPVcore Software Authors: P. den Boef, P. B. Cox, R. Tóth Cited in: 0 Publications Related Software: LPVTools; Matlab Main Fields: –
oodOPT Software Authors: Yang, Guangxin; Shi, Meilin Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
OptimizedDP Software Authors: Minh Bui, George Giovanis, Mo Chen, Arrvindh Shriraman Cited in: 0 Publications Related Software: HeteroCL; POMDPs.jl; TVM; Python Main Fields: –
Plane Maker Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Cited in: 1 Publication (2013) Related Software: Matlab; Xplane; ArduPilot Main Fields: Systems theory; control (93-XX)
PyLESA Software Authors: Andrew Lyden, Graeme Flett, Paul G. Tuohy Cited in: 0 Publications Related Software: EnergyPLAN; Excel; Python Main Fields: –
QRnet Software Authors: Tenavi Nakamura-Zimmerer, Qi Gong, Wei Kang Cited in: 1 Publication (2023) Related Software: PPINN; FPINNs; PDE-Net; DGM Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)
SiMpLIfy Software Authors: Martin Biel, Farhad Farokhi, Henrik Sandberg Cited in: 0 Publications Related Software: Matlab Main Fields: –
TDNetGen Software Authors: Nicolas Pilatte, Petros Aristidou, Gabriela Hug Cited in: 0 Publications Related Software: MATPOWER; RAMSES; ARTERE; pstca; Matlab Main Fields: –
Torrit Software Authors: Md Ashfaqur Rahman Cited in: 0 Publications Related Software: ETAP Digital Twin; DIgSILENT; EasyPower; Dome; PyCharm; Pandapower; … Main Fields: –
DistAIX Software Authors: Kolen, Sonja; Dähling, Stefan; Isermann, Timo; Monti, Antonello Cited in: 0 Publications Related Software: – Main Fields: –
NCSWT Software Authors: Eyisi, Emeka; Bai, Jia; Riley, Derek; Weng, Jiannian; Wei, Yan; Xue, Yuan; Koutsoukos, Xenofon; Sztipanovits, Janos Cited in: 0 Publications Related Software: – Main Fields: –