A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker | 0 | 0.34 | 2022 |
Design of supervisors for linear marking specifications in labeled Petri nets | 1 | 0.35 | 2022 |
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks. | 0 | 0.34 | 2021 |
Diagnosability enforcement in labeled Petri nets using supervisory control | 0 | 0.34 | 2021 |
Verification of Detectability for Unambiguous Weighted Automata | 1 | 0.35 | 2021 |
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation | 2 | 0.36 | 2021 |
Divergence properties of labeled Petri nets and their relevance for diagnosability analysis | 0 | 0.34 | 2020 |
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming | 1 | 0.35 | 2020 |
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171] | 1 | 0.36 | 2020 |
Marking Estimation in a Class of Time Labeled Petri Nets | 2 | 0.36 | 2020 |
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems | 0 | 0.34 | 2020 |
An improved approach for marking optimization of timed weighted marked graphs | 0 | 0.34 | 2019 |
A Two-Step Approach For Fault Diagnosis Of Max-Plus Automata | 0 | 0.34 | 2019 |
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. | 0 | 0.34 | 2019 |
On Consistent Reduction in Discrete-Event Systems | 0 | 0.34 | 2019 |
Influence minimization in linear threshold networks. | 0 | 0.34 | 2019 |
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. | 1 | 0.35 | 2018 |
Guest editorial: special issue on performance analysis and optimization of discrete event systems. | 0 | 0.34 | 2018 |
On detectability of labeled Petri nets with inhibitor arcs. | 0 | 0.34 | 2018 |
Computation Of Activation Probabilities In The Independent Cascade Model | 0 | 0.34 | 2018 |
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets | 0 | 0.34 | 2018 |
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems. | 0 | 0.34 | 2018 |
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. | 12 | 0.45 | 2017 |
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. | 22 | 0.66 | 2017 |
Optimization of Deterministic Timed Weighted Marked Graphs. | 3 | 0.37 | 2017 |
Finite-Time Consensus on the Median Value With Robustness Properties. | 12 | 0.63 | 2017 |
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach. | 4 | 0.39 | 2016 |
Cycle Time Optimization For Deterministic Timed Weighted Marked Graphs Under Infinite Server Semantics | 0 | 0.34 | 2016 |
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. | 3 | 0.38 | 2016 |
On the enforcement of a class of nonlinear constraints on Petri nets | 31 | 0.66 | 2015 |
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks* | 1 | 0.36 | 2015 |
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. | 4 | 0.40 | 2015 |
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints | 33 | 0.72 | 2015 |
Fast discrete consensus based on gossip for makespan minimization in networked systems | 4 | 0.43 | 2015 |
Finite-time consensus on the median value by discontinuous control | 5 | 0.44 | 2014 |
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. | 2 | 0.38 | 2014 |
Marking optimization of deterministic timed weighted marked graphs | 4 | 0.42 | 2014 |
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. | 4 | 0.43 | 2014 |
Observation Equivalence of Petri Net Generators. | 3 | 0.41 | 2014 |
Testing Experiments on Synchronized Petri Nets | 5 | 0.49 | 2014 |
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions. | 3 | 0.43 | 2013 |
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. | 6 | 0.81 | 2013 |
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints | 3 | 0.41 | 2013 |
General observation structures for Petri nets | 6 | 0.47 | 2013 |
Optimal Piecewise Affine Approximations of Nonlinear Functions Obtained from Measurements | 0 | 0.34 | 2012 |
Finite-Time Consensus Based Clock Synchronization by Discontinuous Control | 2 | 0.40 | 2012 |
A comparison among tools for the diagnosability of discrete event systems | 2 | 0.39 | 2012 |
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. | 37 | 1.45 | 2012 |
Special issue on recent trends in discrete event systems | 0 | 0.34 | 2012 |
On decentralized observability of discrete event systems | 1 | 0.36 | 2011 |