smallbear / stslib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from chuanma/stslib
BDD-based State Tree Structure Library to help you learn STS
This project forked from chuanma/stslib
BDD-based State Tree Structure Library to help you learn STS
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.