| Publication | Date of Publication | Type |
|---|
Verification of state-based timed opacity for constant-time labeled automata
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
An extremum timed extended reachability graph for temporal analysis of time Petri nets
Discrete Event Dynamic Systems | 2024-11-28 | Paper |
State estimation for constant-time labeled automata under dense time
Automatica | 2024-11-04 | Paper |
Diagnosability of fault patterns with labeled stochastic Petri nets
Information Sciences | 2024-02-05 | Paper |
Singularity Loci and Kinematic Induced Constraints for an XY-Theta Platform Designed for High Precision Positioning
Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics | 2023-11-17 | Paper |
Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net
European Journal of Control | 2023-09-27 | Paper |
Probabilistic verification of diagnosability for a certain class of timed stochastic systems
Systems \& Control Letters | 2023-07-13 | Paper |
Diagnosis of timed patterns for discrete event systems by means of state isolation
Automatica | 2023-07-05 | Paper |
Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Discrete Event Dynamic Systems | 2022-10-12 | Paper |
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
scientific article; zbMATH DE number 7529534 (Why is no real title available?)
| 2022-05-20 | Paper |
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Discrete Event Dynamic Systems | 2022-04-21 | Paper |
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
Information Sciences | 2022-04-19 | Paper |
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Observers for a Class of Timed Automata Based on Elapsed Time Graphs
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Discrete Event Dynamic Systems | 2020-09-01 | Paper |
Approximated timed reachability graphs for the robust control of discrete event systems
Discrete Event Dynamic Systems | 2019-10-18 | Paper |
Datation of Faults for Markovian Stochastic DESs
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Detection of temporal anomalies for partially observed timed PNs
Mathematical Problems in Engineering | 2018-11-05 | Paper |
Faults prognosis using partially observed stochastic Petri nets: an incremental approach
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Near-Optimal Scheduling for Petri Net Models With Forbidden Markings
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Control design of timed continuous Petri nets via model predictive constant control
International Journal of Control | 2018-09-17 | Paper |
Fault prognosis of timed stochastic discrete event systems with bounded estimation error
Automatica | 2017-10-11 | Paper |
On-Line Fault Diagnosis With Partially Observed Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Control Design for Trajectory Tracking With Untimed Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Gradient-based controllers for timed continuous Petri nets
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2016-03-14 | Paper |
Feasibility of piecewise-constant control sequences for timed continuous Petri nets
Automatica | 2015-06-25 | Paper |
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Discrete Event Dynamic Systems | 2012-07-10 | Paper |
About the stochastic and continuous Petri nets equivalence in the long run
Nonlinear Analysis. Hybrid Systems | 2012-05-14 | Paper |
Control design for multisource systems based on DC/DC converters duty cycle value
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering | 2011-07-28 | Paper |
Some contributions with Petri nets for the modelling, analysis and control of HDS
Nonlinear Analysis. Hybrid Systems | 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
Cybernetics and Systems | 2005-05-23 | Paper |
Optimal neural networks architectures for the flow-density relationships of traffic models
Mathematics and Computers in Simulation | 2002-12-02 | Paper |
Fault detection and isolation in non-linear systems by using oversized neural networks
Mathematics and Computers in Simulation | 2002-12-02 | Paper |
Estimation of the firing frequencies in discrete and continuous Petri nets models
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2002-11-20 | Paper |
Estimation of the production frequencies for manufacturing systems
IMA Journal of Mathematics Applied in Business and Industry | 2002-02-12 | Paper |
Monitoring and diagnosis of manufacturing systems by neural networks: Model-based versus data-based approach
Neural, Parallel \& Scientific Computations | 2001-10-10 | Paper |
FIRING SEQUENCES AND FIRING FREQUENCIES ESTIMATION FOR TIMED PETRI NETS
Cybernetics and Systems | 2000-01-01 | Paper |
Feedback control designs for manufacturing systems modelled by continuous Petri nets
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1999-01-01 | Paper |
