MR and LTV Synthesis Tools Cited in 38 Documents (1999–2024) Software Authors: Pirie, Carol; Dullerud, Geir E. Related Software: YALMIP; SeDuMi; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX); …
Ensemble-SINDy Cited in 29 Documents (2022–2024) Software Authors: Fasel, Urban; Kutz, J. Nathan; Brunton, Bingni W.; Brunton, Steven L. Related Software: PySINDy; PyWSINDy_ODE; WSINDy_PDE; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); …
LOLA Cited in 27 Documents (2009–2024) Software Authors: D’Angelo, B.; et al. Related Software: MOP; MonPoly; TeSSLa; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
NNV Cited in 24 Documents (2021–2024) Software Authors: Tran, Hoang-Dung; Yang, Xiaodong; Lopez, Diego Manzanas; Musau, Patrick; Nguyen, Luan Viet; Xiang, Weiming; Bak, Stanley; Johnson, Taylor T. Related Software: Reluplex; Marabou; AI2; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MORLAB Cited in 16 Documents (2018–2024) Software Authors: Benner, Peter; Werner, Steffen W. R. Related Software: MESS; RADI; Loewner; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
DASOPT Cited in 14 Documents (1988–2021) Software Authors: Petzold, Linda; Rosen, J.Ben; Gill, Philip E.; Jay, Laurent O.; Park, Kihong Related Software: ADIFOR; SNOPT; SOCS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
AURA Cited in 11 Documents (2008–2018) Software Authors: Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve Related Software: Coq; F*; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
SReachTools Cited in 10 Documents (2019–2023) Software Authors: Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. Related Software: StocHy; FAUST2; ProbReach; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
STCT Cited in 11 Documents (2002–2024) Software Authors: Zhang, Zhonghua; Wonham, W.M. Related Software: UMDES; Supremica; AlgeraComplex; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FORCES NLP Cited in 9 Documents (2018–2023) Software Authors: Zanelli, A.; Domahidi, A.; Jerez, J.; Morari, M. Related Software: ACADO; qpOASES; GRAMPC; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX); …
ROCS Cited in 8 Documents (2018–2022) Software Authors: Li, Yinan; Liu, Jun Related Software: CoSyma; SCOTS; TuLiP; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
CLUE Cited in 6 Documents (2021–2024) Software Authors: Ovchinnikov, Alexey; Verona, Isabel Cristina Pérez; Pogudin, Gleb; Tribastone, Mirco Related Software: ERODE; DifferentialEquations.jl; LumpingPositiviser; … Main Fields: Associative rings and algebras (16-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
LONE Cited in 7 Documents (2016–2021) Software Authors: Ciaramella, G.; Borzì, A. Related Software: ReHaG; SKRYN; simDEF; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
ArduPilot Cited in 5 Documents (2013–2021) Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Related Software: Matlab; GitHub; JSBSim; … Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
SymODEN Cited in 6 Documents (2022–2024) Software Authors: Zhong, Yaofeng Desmond; Dey, Biswadip; Chakraborty, Amit Related Software: PDE-Net; SINDy-PI; torchdiffeq; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
NOSNOC Cited in 5 Documents (2023–2024) Software Authors: Nurkanović, Armin; Diehl, Moritz Related Software: Ipopt; CasADi; RODAS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ReHaG Cited in 4 Documents (2015–2024) Software Authors: Ciaramella, G.; Borzì, A. Related Software: SKRYN; LONE; Matlab; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
SKRYN Cited in 4 Documents (2015–2024) Software Authors: Ciaramella, G.; Borzì, A. Related Software: ReHaG; Matlab; LONE; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Xplane Cited in 2 Documents (2010–2013) Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Related Software: Matlab; Simulink; MASON; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ANDES Cited in 1 Document (2023) Software Authors: Cui, Hantao; Li, Fangxing; Tomsovic, Kevin Related Software: PowerSimulationsDynamics.jl; PowerSystems.jl; DifferentialEquations.jl; … Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
BaRC Cited in 2 Documents (2020–2021) Software Authors: Ivanovic, Boris; Harrison, James; Sharma, Apoorva; Chen, Mo; Pavone, Marco Related Software: OpenAI Gym; PythonRobotics; TAMER; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ConsensusBasedX.jl Cited in 2 Documents (2017–2022) Software Authors: Bailo, Rafael; Barbaro, Alethea; Gomes, Susana N.; Riedl, Konstantin; Roith, Tim; Totzeck, Claudia; Vaes, Urbain Related Software: CBXPy; Optimization.jl; PolarCBO; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
ETCetera Cited in 3 Documents (2022–2023) Software Authors: Delimpaltadakis, Giannis; de Albuquerque Gleizer, Gabriel; van Straalen, Ivo; Mazo, Manuel jun. Related Software: z3; dReal; Uppaal Stratego; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
EHMAC Cited in 2 Documents (1998–2000) Software Authors: Latawiec, Krzysztof J.; Rojek, Ryszard Related Software: – Main Fields: Systems theory; control (93-XX)
FLOreS Cited in 1 Document (2019) Software Authors: Duist, Lennart van; Gugten, Gijs van der; Toten, Daan; Saikumar, Niranjan; HosseinNia, Hassan Related Software: FOTF Toolbox; Ninteger; FOMCON Main Fields: Real functions (26-XX); Systems theory; control (93-XX)
MonALISA Cited in 2 Documents (2009–2011) Software Authors: Legrand, I.; Newman, H.; Voicu, R.; Cirstoiu, C.; Grigoras, C.; Dobre, C.; Muraru, A.; Costan, A.; Dediu, M.; Stratan, C. Related Software: BlobSeer; NetLogger Main Fields: Computer science (68-XX)
multistatepdscontrol Cited in 2 Documents (2020–2021) Software Authors: Sordo Vieira, Luis; Laubenbacher, Reinhard C.; Murrugarra, David Related Software: CANA; GitHub; ADAM; … Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
ORACLS Cited in 2 Documents (1980–1985) Software Authors: Armstrong, Ernest S. Related Software: – Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
pyvrft Cited in 0 Documents Software Authors: Boeira, Emerson; Eckhard, Diego Related Software: SciPy; Python; System Identification Toolbox; … Main Fields: –
qocttools Cited in 2 Documents (2023–2024) Software Authors: Castro, Alberto Related Software: TOMP; NLopt; L-BFGS; … Main Fields: Commutative algebra (13-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …
SITS Cited in 2 Documents (2007–2016) Software Authors: Figueiredo, Lino; Tenreiro Machado, J.A. Related Software: – Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Audur Cited in 0 Documents Software Authors: Vanfretti, L.; Jónsdóttir, G. M.; S., M.; Almas; Rebello, E.; Firouzi, S. R.; Baudette, M. Related Software: LabVIEW; BabelFish Main Fields: –
CRCBode Cited in 1 Document (2014) Software Authors: Taylor, J.D.; Messner, William Related Software: Robust Control Toolbox Main Fields: Systems theory; control (93-XX)
DaDRA Cited in 0 Documents Software Authors: Mejia, Jared; Devonport, Alex; Arcak, Murat Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; … Main Fields: –
dymos Cited in 0 Documents Software Authors: Falck, Robert; Gray, Justin S.; Ponnapalli, Kaushik; Wright, Ted Related Software: Adjoint; GPOPS; SciPy; … Main Fields: –
ExaGO Cited in 0 Documents Software Authors: Abhyankar, Shrirang; Peles, Slaven; Becejac, Tamara; Holzer, Jesse; Mancinelli, Asher; Rutherford, Cameron Related Software: PowerModels.jl; MATPOWER; PETSc; … Main Fields: –
HARTEX Cited in 1 Document (2002) Software Authors: Angelov, C.K.; Ivanov, I.E.; Burns, A. Related Software: – Main Fields: Computer science (68-XX)
HBOQ(14)4 Cited in 1 Document (2008) Software Authors: Nguyen, Ba Truong; Sharp, Philip W.; Vaillancourt, Rémi Related Software: Matlab; ode113 Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
INTEGRATOR Cited in 1 Document (2004) Software Authors: Kulikov, Gennady Y.; Shindin, Sergey K. Related Software: Matlab Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX)
LPVcore Cited in 0 Documents Software Authors: Boef, P. den; Cox, P. B.; Tóth, R. Related Software: LPVTools; Matlab Main Fields: –
NN4MSP Cited in 1 Document (2022) Software Authors: Lepore, Antonio; Palumbo, Biagio; Sposito, Gianluca Related Software: Keras; TensorFlow; Python Main Fields: Statistics (62-XX)
oodOPT Cited in 1 Document (2001) Software Authors: Yang, Guangxin; Shi, Meilin Related Software: – Main Fields: Computer science (68-XX)
OptimizedDP Cited in 0 Documents Software Authors: Bui, Minh; Giovanis, George; Chen, Mo; Shriraman, Arrvindh Related Software: HeteroCL; POMDPs.jl; TVM; … Main Fields: –
PID tuning Cited in 1 Document (2024) Software Authors: Sanchis, Roberto; Peñarrocha, Ignacio Related Software: – Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
Plane Maker Cited in 1 Document (2013) Software Authors: Yuceol, Ozan Eren; Akbulut, Ahmet Related Software: Matlab; Xplane; ArduPilot Main Fields: Systems theory; control (93-XX)
PowerSimulationsDynamics.jl Cited in 0 Documents Software Authors: Lara, Jose Daniel; Henriquez-Auba, Rodrigo; Bossart, Matthew; Callaway, Duncan S.; Barrows, Clayton Related Software: ANDES; PowerSystems.jl; DifferentialEquations.jl; … Main Fields: –
PyKoopman Cited in 0 Documents Software Authors: Pan, Shaowu; Kaiser, Eurika; Silva, Brian M. de; Kutz, J. Nathan; Brunton, Steven L. Related Software: mpEDMD; pykoop; KoopmanLab; … Main Fields: –
PyLESA Cited in 0 Documents Software Authors: Lyden, Andrew; Flett, Graeme; Tuohy, Paul G. Related Software: EnergyPLAN; Excel; Python Main Fields: –
QRnet Cited in 1 Document (2023) Software Authors: Nakamura-Zimmerer, Tenavi; Gong, Qi; Kang, Wei Related Software: FPINNs; RobOptim; DeepONet; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)
RobustNeuralNetworks.jl Cited in 0 Documents Software Authors: Barbara, Nicholas H.; Revay, Max; Wang, Ruigang; Cheng, Jing; Manchester, Ian R. Related Software: ReinforcementLearning.jl; MNIST; Adam; … Main Fields: –
SiMpLIfy Cited in 0 Documents Software Authors: Biel, Martin; Farokhi, Farhad; Sandberg, Henrik Related Software: Matlab Main Fields: –
TDNetGen Cited in 0 Documents Software Authors: Pilatte, Nicolas; Aristidou, Petros; Hug, Gabriela Related Software: MATPOWER; RAMSES; ARTERE; … Main Fields: –
Torrit Cited in 0 Documents Software Authors: Rahman, Md Ashfaqur Related Software: Python; ETAP Digital Twin; DIgSILENT; … Main Fields: –
DistAIX Cited in 0 Documents Software Authors: Kolen, Sonja; Dähling, Stefan; Isermann, Timo; Monti, Antonello Related Software: – Main Fields: –
NCSWT Cited in 0 Documents Software Authors: Eyisi, Emeka; Bai, Jia; Riley, Derek; Weng, Jiannian; Wei, Yan; Xue, Yuan; Koutsoukos, Xenofon; Sztipanovits, Janos Related Software: – Main Fields: –