supervisory-control

The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.

A domain-specific language (DSL) to accelerate the development of safe, autonomous robots.

Control your iot devices with Shuei App

Reference architecture for goal-based control of a robotic avatar fleet on Mars under interplanetary latency. Concept white paper + open discussion.

Basic operations for deterministic finite automata for supervisory control of discrete event systems. The operations and automata representation in memory are meant to be "fit". The use of the software is easy and only uses python native features.

Implementação de um protocolo de comunicação por socket, com o objetivo de realizar o monitoramento de sensores nos equipamentos de uma dada industria.

Your AI coding agents spend most of their life waiting for you. Pitwall measures how much, why, and what to change, from local session logs. One amber terminal screen.

A practical safety and recovery design package for AI / LLM-based control systems. Defines where AI can be used, where it must be stopped, and how systems recover.

A microservice-first unified operations management platform covering host inventory, automation, application deployments, monitoring & alerting, and secure authentication. Helps your operations team deliver on the three pillars — standardization, automation and security.

Deterministic supervisory architecture and Rust reference implementation for bounded control, continuity, provenance, and external verification interfaces.