Skip to content
/ STSLib Public

BDD-based State Tree Structure Library to help you learn STS

Notifications You must be signed in to change notification settings

chuanma/STSLib

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

UPDATE 2011-02-14:
The branch 'new_type2_spec' is merged back to Master.

UPDATE:
I just created a new branch 'new_type2_spec' to also allow controllable events to be put in
the type 2 spec (See chapter 4.1 for detail. Oringially only uncontrollable events were allowed
in that type of spec). This is in response to this issue raised by rolfth: 
  http://github.com/chuanma/STSLib/issues#issue/2
I'd appreciate that you may try it and report any bug. Thanks!  

---

It has been a while since I introduced state-based State Tree Structure (STS) framework for the
Supervisory Control Theory (SCT).  You might have some basic knowledge about SCT, or you might 
have already known a lot about the STS framework.  I made bold claim that this framework was
great at attacking large DES systems. I mean it!  To back up my statement, I decide to make this 
library open source. So researchers can have the free(dom) to use this library for whatever 
purpose they want.

The beauty of STS framework is, even though the underlying details seem complex, the resulting
synthesis can be summarized by a couple of clean and short formulas. If you happened to have
read my Ph.D. thesis, or the book, "Nonblocking Supervisory Control of State Tree Structures", 
you may notice that I used the same symbols in my C++ classes to implement the concepts in 
my thesis. It just works!

There are certain parts I'd like to improve. For example, the current lib only supports STS and 
specifications in an ad-hoc format. An XML format will be a much better choice. I also like to 
see a BDD-to-IDD (Integer Decision Diagram) conversion class to make the resulting control functions 
easier to be understood. At last, the core bdd synthesis procedure can be improved.


Go to STSLib directory to find out how to install the library in your computer.

About

BDD-based State Tree Structure Library to help you learn STS

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published