ScicosLab

swMATH4931MaRDI QIDQ17082FDOQ17082

Author name not available (Why is that?)

Cited In (4)

• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• General Nonlinear Differential Algebraic Equations and Tracking Problems: A Robotics Example
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

This page was built for software: ScicosLab