Search Results for "physical"
Sort By:
Showing 2 open source projects for "physical"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
1
HSK
High Speed Karlsruhe open automotive code initiative
Since the summer of 2010, the FSAE team High Speed Karlsruhe uses Infineon's XC878 to power its electronics. The XC878 is an 8052 compatible 8-bit µC. Our dedication is to 8-bit real time applications, guaranteed by the powerful peripherals of the XC878. This project aims to publish those portions of our code, which may be of use to a wider audience. -
2
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ...
- Previous
- You're on page 1
- Next
