hyb_5_controlB.cpp File Reference

More...

#include "libfaudes.h"

Go to the source code of this file.

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

Functions
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.