Estimation of Discrete-Event Systems Using Interval Computation

Reliable Computing

Volumn 5, Issue 2, 1999, Pages 165-173

  Jaulin, Luc ^a   Boimond, Jean Louis ^a   Hardouin, Laurent ^a  

^a Lab d'Ingenierie Syst Automatises   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042224436     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009957622907     Document Type: Article

References (12)

1. Baccelli, F., Cohen, G., Olsder, G. J., and Quadrat, J. P.: Synchronization and Linearity. An Algebra for Discrete Event Systems, John Wiley & Sons, New York, 1992.
2. Boimond, J. L., Hardouin, L., and Chiron, P.: A Modeling Method of Siso Discrete Event Systems in Max-Algebra, in: ECC'95, Roma, 1995, pp. 2023-2027.
3. Braker, J. G.: Algorithms and Applications in Timed Discrete Event Systems, PhD thesis, Department of Technical Mathematics and Informatics, Delft University of Technology, the Netherlands, 1993.
4. Cassandras, C. G., Lafortune, S., and Olsder, G. J.: Introduction to the Modelling, Control and Optimization of Discrete Event Systems, in: Isidori, A. (ed.), Trends in Control: A European Perspective, 1995.
5. Dicesare, F., Harhalakis, G., Proth, J. M., Silva, M., and Vernadat, F. B.: Practice of Petri Nets in Manufacturing, Chapman & Hall, 1993.
6. Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
7. Hillion, H. P. and Proth, J. M.: Performance Evaluation of Job-Shop Systems Using Timed-Event Graph, IEEE Transactions on Automatic Control 34 (1989), pp. 3-9.
8. Jaulin, L. and Walter, E.: Set Inversion via Interval Analysis, Automatica 29 (4) (1993), pp. 1053-1064.
9. Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979.
10. Moore, R. E.: Parameter Set for Bounded-Error Data, Math. Comput. Simulation 34 (1992), pp. 113-119.
11. Murata, T.: Petri Nets: Properties, Analysis and Applications, in: Proceedings of the IEEE 77 (4) (1989), pp. 541-579.
12. Silva, M. and Valette, R.: Petri Nets and Flexible Manufacturing, in: Advances in PN'89, (Lecture Notes in Comp.Science 84), Springer-Verlag, Berlin, 1990.