hyb_5_controlB.cpp File Reference

#include "libfaudes.h"

Go to the source code of this file.

Classes
class	ExbCompatibleStates

Functions
int	main ()

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.