Publications
] Filters: First Letter Of Title is F [Clear All Filters]
[1452] .
2012. Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
[DaLaLuMaFSD] .
2004. Finite state dimension. Theoretical Computer Science. 310:1-33.
[HiLuMa05] .
2005. The fractal geometry of complexity classes. SIGACT News. 36:24-38.
[RP-89-02] .
1989. Fair control of discrete event systems via Petri nets. :19-23.
[1252] .
2009. Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1465] .
2013. Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[1282] .
2010. Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1486] .
2012. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
[DaLaLuMaFSDb] .
2001. Finite state dimension. 2076:1028-1039.
[RP-90-03] .
1990. A first collection of challenging problems: A flexible manufacturing system.
[RP-90-05] .
1990. Flexible manufacturing system.
[1445] .
2011. Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
[IPKLMA08] .
2008. Formal analysis of timed continuous Petri net.
[RP-92-09] .
1992. Formal specification and validation in production plants. :64-73.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[1392] .
2010. Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
[1062] .
1993. A Framework for Automated Static Analysis of VHDL. First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93). :71-75.
[1548] .
2014. From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[1360] .
1990. A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
[243] .
1995. Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
