Search Results for "fuzzy logic toolbox matlab"
Sort By:
2 programs for "fuzzy logic toolbox matlab" with 1 filter applied:
-
Smart Monitoring for Any Network. Powered by Open Source.NMIS helps with fault, performance, and configuration management. It provides performance graphs, threshold alerting, and detailed notification policies with various methods. NMIS monitors an organization’s IT environment, helps identify and rectify faults, and provides valuable information for IT planning.
-
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
2
- Previous
- You're on page 1
- Next