Skip to content

Tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components

Notifications You must be signed in to change notification settings

nikhiljosyabhatla/ICSE-2013-ControllerSynthesis

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 

Repository files navigation

ICSE-2013-ControllerSynthesis

Tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components.


This repository contains information related to the tool ControllerSynthesis presented at the International Conference on Software Engineering, 2013. The tool was originally presented in this [paper] (http://dl.acm.org/citation.cfm?id=2487002).

This repository is not the original repository for this tool. Here are some links to the original project:

In this repository, for ControllerSynthesis you will find:

  • ✅ Source code
  • ✅ The original tool (available)

This repository was constructed by [Vishakha Narvekar] (https://github.com/vish4) and [Sumit Tomer] (https://github.com/sktomer) under the supervision of [Professor Emerson Murphy-Hill] (https://github.com/CaptainEmerson). Thanks to Mr. Sebastian Uchitel for his help in establishing this repository.

About

Tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 67.1%
  • C++ 12.9%
  • Makefile 11.5%
  • C 7.6%
  • HTML 0.8%
  • xBase 0.1%