hyb_5_controlB.cpp File Reference


#include "libfaudes.h"

Go to the source code of this file.


class  ExbCompatibleStates
 In this example, dynamics are given programtically, i.e. More...


int main ()
 Run the tutorial. More...

Detailed Description

Tutorial, hybrid systems plugin. This tutorial demonstrates how to compute a finite abstraction for the purpose of control.

Definition in file hyb_5_controlB.cpp.

Function Documentation

◆ main()

int main ( void  )

Run the tutorial.

Definition at line 155 of file hyb_5_controlB.cpp.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen