Skip to content
mplementation of NCS abstraction construction as presented in: A. Borri, G. Pola, M. Benedetto, "A Symbolic Approach to the Design of Nonlinear Networked Control Systems" :: https://arxiv.org/abs/1203.1069
C++ Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
CuddMintermIterator.hh
Makefile
README.md
RungeKutta4.hh
SymbolicModelUnbalanced.hh
SymbolicSet.hh
TicToc.hh
dimensionize.hh
extras.hh
ncs.cc
system.hh

README.md

Borri_NCS

This project is an implementaion of the NCS abstractions as they appeared in the paper:

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto, "A Symbolic Approach to the Design of Nonlinear Networked Control Systems" Available on:: https://arxiv.org/abs/1203.1069 (Submitted on 5 Mar 2012 (v1), last revised 10 Mar 2012 (this version, v2))

we provide to examples: 1- The double integrator dynamics 2- The vehicle dynamics

Supported Systems:

  • It is tested and can run on Linux.
  • It can run on Mac (not tested)
  • It can run on Windows 10 with Ubuntu bash installed (not tested)
  • It can run on Windows (any version) with MSYS-2

HOW TO RUN:

1- You need to have active installation of CUDD library version 3.0.0 2- You need to have a gcc/g++ compiler 3- Edit the Makefile to point out to your CUDD library includes and libs 4- Edit the system.hh file to select between the Double-Integrator and the Vehicle dynamics by manipulating the defines. 5- Build the binaries 6- Run it

You can’t perform that action at this time.