| Publication | Date of Publication | Type |
|---|
| Verification of state-based timed opacity for constant-time labeled automata | 2025-01-21 | Paper |
| An extremum timed extended reachability graph for temporal analysis of time Petri nets | 2024-11-28 | Paper |
| State estimation for constant-time labeled automata under dense time | 2024-11-04 | Paper |
| Diagnosability of fault patterns with labeled stochastic Petri nets | 2024-02-05 | Paper |
| Singularity Loci and Kinematic Induced Constraints for an XY-Theta Platform Designed for High Precision Positioning | 2023-11-17 | Paper |
| Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net | 2023-09-27 | Paper |
| Probabilistic verification of diagnosability for a certain class of timed stochastic systems | 2023-07-13 | Paper |
| Diagnosis of timed patterns for discrete event systems by means of state isolation | 2023-07-05 | Paper |
| Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 2022-10-12 | Paper |
| A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets | 2022-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5077832 | 2022-05-20 | Paper |
| Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 2022-04-21 | Paper |
| An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems | 2022-04-19 | Paper |
| Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems | 2022-02-24 | Paper |
| Observers for a Class of Timed Automata Based on Elapsed Time Graphs | 2022-02-24 | Paper |
| Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers | 2020-09-01 | Paper |
| Approximated timed reachability graphs for the robust control of discrete event systems | 2019-10-18 | Paper |
| Datation of Faults for Markovian Stochastic DESs | 2019-07-18 | Paper |
| Detection of temporal anomalies for partially observed timed PNs | 2018-11-05 | Paper |
| Faults prognosis using partially observed stochastic Petri nets: an incremental approach | 2018-10-08 | Paper |
| Near-Optimal Scheduling for Petri Net Models With Forbidden Markings | 2018-09-18 | Paper |
| Control design of timed continuous Petri nets via model predictive constant control | 2018-09-17 | Paper |
| Fault prognosis of timed stochastic discrete event systems with bounded estimation error | 2017-10-11 | Paper |
| On-Line Fault Diagnosis With Partially Observed Petri Nets | 2017-05-16 | Paper |
| Control Design for Trajectory Tracking With Untimed Petri Nets | 2017-05-16 | Paper |
| Gradient-based controllers for timed continuous Petri nets | 2016-03-14 | Paper |
| Feasibility of piecewise-constant control sequences for timed continuous Petri nets | 2015-06-25 | Paper |
| Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs | 2012-07-10 | Paper |
| About the stochastic and continuous Petri nets equivalence in the long run | 2012-05-14 | Paper |
| Control design for multisource systems based on DC/DC converters duty cycle value | 2011-07-28 | Paper |
| Some contributions with Petri nets for the modelling, analysis and control of HDS | 2007-11-09 | Paper |
| Modeling and identification of nonlinear systems by a multimodel approach: application to a throttle valve | 2007-06-26 | Paper |
| PARAMETERS ESTIMATION FOR TIMED AND CONTINUOUS PETRI NETS: APPLICATION TO THE IDENTIFICATION AND MONITORING OF HYBRID SYSTEMS | 2005-05-23 | Paper |
| Optimal neural networks architectures for the flow-density relationships of traffic models | 2002-12-02 | Paper |
| Fault detection and isolation in non-linear systems by using oversized neural networks | 2002-12-02 | Paper |
| Estimation of the firing frequencies in discrete and continuous Petri nets models | 2002-11-20 | Paper |
| Estimation of the production frequencies for manufacturing systems | 2002-02-12 | Paper |
| Monitoring and diagnosis of manufacturing systems by neural networks: Model-based versus data-based approach | 2001-10-10 | Paper |
| FIRING SEQUENCES AND FIRING FREQUENCIES ESTIMATION FOR TIMED PETRI NETS | 2000-01-01 | Paper |
| Feedback control designs for manufacturing systems modelled by continuous Petri nets | 1999-01-01 | Paper |
