Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[1374] .
2010. Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[1319] .
2010. An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
[1275] .
2010. Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
[1248] .
2010. Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid. 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing.
[1392] .
2010. Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
[BC09] .
2009. Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
[BBCM-09] .
2009. UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[1254] .
2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[ETFA09] .
2009. Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
[1252] .
2009. Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1305] .
2009. Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
[IPCaGiMaReSeSi07] .
2007. State Estimation of Petri Nets by Transformation. :194-199.
[PJCS-TSCM07] .
2007. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
[IPMaCaGiSe07] .
2007. A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
[1324] .
2007. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).
[1390] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[1396] .
2007. Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
[IPGiMaReSeSi06b] .
2006. Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[CelayaAGRID06] .
2006. YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
[1311] .
2006. Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
[1246] .
2006. YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
[1247] .
2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
[1312] .
2006. Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
[1329] .
2006. Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
