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
• Modeling and simulation in Scilab/Scicos with ScicosLab 4.4
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• General nonlinear differential algebraic equations and tracking problems: a robotics example

This page was built for software: ScicosLab