Awesome Open Source

Programming Languages

Search results for c plus plus cyber physical systems

cyber-physical-systems x

5 search results found

Apertusvr ⭐ 156

Virtual Reality Software Library

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

C++ framework for rigorous computation on cyber-physical systems

Accessorframework ⭐ 11

A C++ SDK for building cyber-physical applications using the Accessor Model

Pfaces Omegathreads ⭐ 6

OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and

Related Searches

C Plus Plus Cmake (8,712)

C Plus Plus Qt (8,557)

C Plus Plus Video Game (7,965)

C Plus Plus Algorithms (6,194)

Python C Plus Plus (4,508)

C Plus Plus Opengl (4,396)

C Plus Plus 3d Graphics (3,196)

C Plus Plus Testing (2,735)

Java C Plus Plus (2,629)

C Plus Plus Command Line (2,304)

1-5 of 5 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.