Algebraic synthesis of transition conditions of a state model

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 187-192

  Hietter, Yann ^a   Roussel, Jean Marc ^a   Lesage, Jean Jacques ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

TECHNICAL PRESENTATIONS; WATER SUPPLY; WATER SUPPLY SYSTEMS;

DISCRETE EVENT SYSTEMS; GENERIC MODELLING; LOGIC CONTROLLERS; SEQUENTIAL FUNCTION CHART; STATE MODELING; SUPPLY SYSTEMS; SYNTHESIS METHODS; SYNTHESIS OF; TRANSITION CONDITIONS;

MATRIX ALGEBRA;

EID: 53149096167     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605943     Document Type: Conference Paper

References (9)

1. P. Ramadge and W. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol. 77, no. 1, pp. 81-98, 1989.
2. th IFAC World Congress, CDROM paper n°04427, Praha (CZ), Jul 2005.
3. th IFAC World Congress, 2008.
4. R. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 5th ed. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 2004, iSBN : 0-321-21103-0, 980 pages.
5. C. Shannon, "A symbolic analysis of relay and switching circuits," Master's thesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1940.
6. B. Bernstein, "Note on the Condition that a Boolean Equation Have a Unique Solution," American Journal of Mathematics, vol. 54, no. 2, pp. 417-418, 1932.
7. R. Toms, "Systems of Boolean Equations," The American Mathematical Monthly, vol. 73, no. 1, pp. 29-35, 1966.
8. V. Levchenkov, "Boolean equations with many unknowns," Computational Mathematics and Modeling, vol. 11, no. 2, pp. 143-153, 2000.
9. rd IFAC Workshop on Discrete-Event System. Design: DESDes '06, Rydzyna (Poland), pp. 37-42, Sep 2006.