Search Results for "automatic control"

Elasticsearch is a distributed, RESTful search and analytics engine that lets you store, search and analyze with ease at scale. It lets you perform and combine many types of searches; it scales seamlessly, and offers answers incredibly fast with search results you can rank based on a variety of factors. Elasticsearch can be used for a wide variety of use cases, from maps and metrics to site search and workplace search, and with all data types.

CERCA is an open-source research tool that supports the verification of bibliographic references in scientific manuscripts. It extracts references from PDF files and checks their existence and consistency against authoritative metadata sources, producing explainable diagnostics, audit logs, and reproducible reports. It is intended for: - Researchers performing final manuscript checks - Reviewers assessing reference consistency - Editors supporting editorial quality control -...

openTCS is a platform-independent transportation control system (TCS) intended to manage fleets of automatic guided vehicles (AGVs), but can be used to manage virtually any automatic vehicle. It consists of an abstract kernel that implements replaceable algorithms and strategies (computation of routes, dispatching of orders to vehicles, scheduling of resources etc.), pluggable vehicle drivers that implement communication protocols and a graphical frontend for creating and visualizing logical models of areas the vehicles are moving in.

MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

...It should be easy to implement/provide additional or custom hardware backends or UI functionality by implementing corresponding plugins. The functionality provided by default includes: * Control Devices * Sensors * Scenarios * Security Devices and Alarms * Automatic Schedules * Automatic Event Triggers * An extendable Macro Engine, by default supporting Javascript and Java * A tree managed navigation * User Management and Authorization * Multiple Buildings Support