Search Results for "control flow graph"

This is a single rod model rocket launch control system. The system utilizes the Arduino Uno/Nano to report on local weather conditions (temperature, humidity, barometric pressure). The system also provides a 10-second countdown when the fire button is pressed. The system meets and exceeds the NAR Safety Code standard for model rocket launch systems as it incorporates a removable key to block the flow of power to the launch pad.

GridLAB-D is a new power system simulation tool that provides valuable information to users who design and operate electric power transmission and distribution systems, and to utilities that wish to take advantage of the latest smart grid technology. It incorporates advanced modeling techniques with high-performance algorithms to deliver the latest in end-use load modeling technology integrated with three-phase unbalanced power flow, and retail market systems. Historically, the inability...

...Currently, two types of simulations are supported: In quasi-static steady-state simulations a power system’s evolution with respect to time is captured by a series of load flow snapshots. RMS simulations allow to calculate the time-dependent dynamics of electromechanical models, including control devices (new in version v0.6).

Experix is a command-line driven environment for laboratory data acquisition and device control and graphical presentation and analysis of data. Written in C for GNU-Linux . Tested on PC and Raspberry Pi. The core is written very generally in order to support applications by means of script files. Device interfaces: PCMCIA daq (2 devices tested) via kernel module with interrupt handler and memory-mapped data; USB daq (1 device tested) using libusbx; running an equipment servicing program...

...The symmetry filtering includes the ability to deal directly with certain non-Abelian groups as well as all Abelian groups. Linear systems can be treated exactly within the full continuous D-infinity-h or C-infinity-v groups. The package is completely modular, allowing control over ordering of most steps within the limitations imposed by the theory. Flow is controled completely by tcsh shell scripts, many of which are provided in the package. Users may devise their own scripts, of course.

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

RHOcker is a GTK graphic software tool for control and monitoring of electrical resistometry tests in GPIB devices. Allow to configure and manage resistometry test types and captures, stores and graph all data in tests execution.