Nome |
# |
Containment of rumor spread in complex social networks, file e2f56ed8-e720-3eaf-e053-3a05fe0a5d97
|
1.305
|
Fault detection for discrete event systems using Petri nets with unobservable transitions, file e2f56ed5-42a0-3eaf-e053-3a05fe0a5d97
|
646
|
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks, file e2f56ed7-2c9f-3eaf-e053-3a05fe0a5d97
|
473
|
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation, file e2f56ed8-37a3-3eaf-e053-3a05fe0a5d97
|
410
|
Decentralized supervision of Petri nets with a coordinator, file e2f56ed5-4c09-3eaf-e053-3a05fe0a5d97
|
394
|
Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems, file e2f56ed5-4298-3eaf-e053-3a05fe0a5d97
|
386
|
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation, file e2f56ed6-80b4-3eaf-e053-3a05fe0a5d97
|
370
|
Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations, file e2f56ed6-7493-3eaf-e053-3a05fe0a5d97
|
358
|
A new approach for diagnosability analysis of Petri nets using Verifier Nets, file e2f56ed5-41e0-3eaf-e053-3a05fe0a5d97
|
300
|
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions, file e2f56ed8-db97-3eaf-e053-3a05fe0a5d97
|
297
|
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators, file e2f56ed6-7499-3eaf-e053-3a05fe0a5d97
|
271
|
Petri nets for the control of discrete event systems, file e2f56ed6-78b8-3eaf-e053-3a05fe0a5d97
|
269
|
On the enforcement of a class of nonlinear constraints on Petri nets, file e2f56ed5-3ccf-3eaf-e053-3a05fe0a5d97
|
240
|
Distributed task assignment based on gossip with guaranteed performance on heterogeneous networks, file e2f56ed5-42a4-3eaf-e053-3a05fe0a5d97
|
235
|
Verification of State-Based Opacity Using Petri Nets, file e2f56eda-9d07-3eaf-e053-3a05fe0a5d97
|
218
|
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101], file e2f56ed5-41a7-3eaf-e053-3a05fe0a5d97
|
208
|
Optimization of deterministic timed weighted marked graphs, file e2f56ed6-7d99-3eaf-e053-3a05fe0a5d97
|
206
|
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-48d1-3eaf-e053-3a05fe0a5d97
|
198
|
A Decentralized Lifetime Maximization Algorithm for Distributed Applications in Wireless Sensor Networks, file e2f56ed4-a5e4-3eaf-e053-3a05fe0a5d97
|
187
|
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches, file e2f56ed7-855b-3eaf-e053-3a05fe0a5d97
|
187
|
On the Equivalence of Observation Structures for Petri Net Generators, file e2f56ed5-413c-3eaf-e053-3a05fe0a5d97
|
145
|
Minimizing the Influence Propagation in Social Networks for Linear Threshold Models, file e2f56ed7-1173-3eaf-e053-3a05fe0a5d97
|
128
|
Dynamic min and max consensus and size estimation of anonymous multi-agent networks, file e2f56eda-702e-3eaf-e053-3a05fe0a5d97
|
111
|
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems, file e2f56eda-0944-3eaf-e053-3a05fe0a5d97
|
109
|
Model reduction of finite state machines by contraction, file e2f56ed5-53f5-3eaf-e053-3a05fe0a5d97
|
103
|
Dynamics and steady state analysis of controlled Generalized Batches Petri Nets, file e2f56ed6-807d-3eaf-e053-3a05fe0a5d97
|
101
|
Detection and Prevention of Cyber-Attacks in Networked Control Systems, file e2f56eda-7a07-3eaf-e053-3a05fe0a5d97
|
101
|
On detectability of labeled Petri nets and finite automata, file e2f56ed9-5585-3eaf-e053-3a05fe0a5d97
|
100
|
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories, file e2f56ed9-a526-3eaf-e053-3a05fe0a5d97
|
82
|
Finite-Time Consensus with Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs, file e2f56eda-b86b-3eaf-e053-3a05fe0a5d97
|
82
|
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56eda-c50d-3eaf-e053-3a05fe0a5d97
|
81
|
Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata, file e2f56ed7-6e61-3eaf-e053-3a05fe0a5d97
|
73
|
Supervisor Synthesis for Discrete Event Systems under Partial Observation and Arbitrary Forbidden State Specifications, file e2f56ed6-81da-3eaf-e053-3a05fe0a5d97
|
69
|
Codiagnosability Analysis of Bounded Petri Nets, file e2f56eda-a538-3eaf-e053-3a05fe0a5d97
|
63
|
Decidability results in First-Order Hybrid Petri Nets, file e2f56ed5-55d6-3eaf-e053-3a05fe0a5d97
|
62
|
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-d7ab-3eaf-e053-3a05fe0a5d97
|
60
|
An approach to determine controllability of monolithic supervisors, file e2f56ed6-834e-3eaf-e053-3a05fe0a5d97
|
59
|
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems, file e2f56eda-1de7-3eaf-e053-3a05fe0a5d97
|
55
|
Probabilistic verification of attack detection using logical observer, file e2f56eda-57ef-3eaf-e053-3a05fe0a5d97
|
51
|
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets, file e2f56eda-7ae5-3eaf-e053-3a05fe0a5d97
|
49
|
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed5-4cc8-3eaf-e053-3a05fe0a5d97
|
46
|
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints, file e2f56eda-b6f4-3eaf-e053-3a05fe0a5d97
|
44
|
Decidability of opacity verification problems in labeled Petri net systems, file e2f56eda-a8c8-3eaf-e053-3a05fe0a5d97
|
42
|
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker, file b6bc1834-9520-4957-8066-7b8eb0b97aa5
|
40
|
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file ba32f2c0-e228-4435-96e3-3b34c322bbd6
|
38
|
Joint state estimation under attack of discrete event systems, file e2f56eda-853c-3eaf-e053-3a05fe0a5d97
|
38
|
Testing experiments on bounded Petri nets, file e2f56ed6-819c-3eaf-e053-3a05fe0a5d97
|
36
|
Instant detectability of discrete-event systems, file e2f56eda-5857-3eaf-e053-3a05fe0a5d97
|
35
|
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed5-4c23-3eaf-e053-3a05fe0a5d97
|
33
|
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs, file 7098aaea-e274-4be5-ba2f-80629c8bd8c6
|
31
|
Marking Estimation in Labelled Petri nets by the Representative Marking Graph, file e2f56ed7-0f9b-3eaf-e053-3a05fe0a5d97
|
31
|
Dynamic max-consensus with local self-tuning, file d0ac92a4-a8b3-49a5-abc3-816991419775
|
30
|
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets, file 1d37ceaa-0f53-495e-ba5e-6cbbf273683f
|
12
|
Decidability of opacity verification problems in labeled Petri net systems, file e2f56ed6-cec8-3eaf-e053-3a05fe0a5d97
|
12
|
null, file e2f56ed6-82af-3eaf-e053-3a05fe0a5d97
|
11
|
Current-state opacity enforcement in discrete event systems under incomparable observations, file e2f56ed7-5bfd-3eaf-e053-3a05fe0a5d97
|
10
|
Selection of a stealthy and harmful attack function in discrete event systems, file 83ed70da-7aaa-4751-83b9-a3aed20d75f2
|
8
|
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file cd6e2aa4-518c-4795-9d52-457a47c868b4
|
7
|
Fault model identification and synthesis in Petri nets, file e2f56ed3-b16c-3eaf-e053-3a05fe0a5d97
|
7
|
Testing experiments on unbounded systems: synchronizing sequences using Petri nets, file e2f56ed5-3cd5-3eaf-e053-3a05fe0a5d97
|
7
|
null, file 9c216cb1-e7fa-488f-9325-d7d287bd0245
|
6
|
Marking optimization of deterministic timed weighted marked graphs, file e2f56ed5-3d69-3eaf-e053-3a05fe0a5d97
|
6
|
Finite-Time Consensus with Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs, file e2f56ed5-912f-3eaf-e053-3a05fe0a5d97
|
6
|
Marking estimation in a class of time labelled petri nets, file e2f56ed8-7042-3eaf-e053-3a05fe0a5d97
|
6
|
Consistent reduction in discrete-event systems, file 5b056576-f18f-4875-b0f7-c0309d7e3342
|
5
|
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems, file e2f56ed8-3460-3eaf-e053-3a05fe0a5d97
|
5
|
A remark on the decentralized diagnosis of labeled petri nets, file e2f56ed3-ae81-3eaf-e053-3a05fe0a5d97
|
4
|
Decentralized diagnosis of discrete event systems using labeled Petri nets, file e2f56ed3-b577-3eaf-e053-3a05fe0a5d97
|
4
|
Diagnosis using labeled Petri nets with silent or undistinguishable fault events, file e2f56ed3-c709-3eaf-e053-3a05fe0a5d97
|
4
|
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach, file e2f56ed5-13a8-3eaf-e053-3a05fe0a5d97
|
4
|
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures, file e2f56ed5-4260-3eaf-e053-3a05fe0a5d97
|
4
|
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56ed6-bf40-3eaf-e053-3a05fe0a5d97
|
4
|
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-2c9e-3eaf-e053-3a05fe0a5d97
|
4
|
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems, file e2f56eda-039b-3eaf-e053-3a05fe0a5d97
|
4
|
Dynamic min and max consensus and size estimation of anonymous multi-agent networks, file e2f56eda-57b8-3eaf-e053-3a05fe0a5d97
|
4
|
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-af01-3eaf-e053-3a05fe0a5d97
|
4
|
null, file 2364037e-eb4a-4854-9f0b-058c80a64c70
|
3
|
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks, file ae0cd4a1-f232-43de-ac48-056536649bf4
|
3
|
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed3-abbc-3eaf-e053-3a05fe0a5d97
|
3
|
Optimization of deterministic timed weighted marked graphs, file e2f56ed6-a5f7-3eaf-e053-3a05fe0a5d97
|
3
|
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports], file e2f56ed7-784f-3eaf-e053-3a05fe0a5d97
|
3
|
Distributed Fiedler Vector Estimation with Application to Desynchronization of Harmonic Oscillator Networks, file e2f56eda-14c5-3eaf-e053-3a05fe0a5d97
|
3
|
Sensor and Actuator Attacks in Discrete Event Systems, file e993a760-5612-4b02-b036-fd4f2eed9428
|
3
|
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed3-a489-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-aa40-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-c147-3eaf-e053-3a05fe0a5d97
|
2
|
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets, file e2f56ed5-12eb-3eaf-e053-3a05fe0a5d97
|
2
|
Cycle time optimization of deterministic timed weighted marked graphs, file e2f56ed5-3d63-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed5-4b9e-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed5-4ff8-3eaf-e053-3a05fe0a5d97
|
2
|
A heuristic algorithm to optimize execution time of multi-robot path, file e2f56ed7-2a43-3eaf-e053-3a05fe0a5d97
|
2
|
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation, file e2f56ed7-2f5c-3eaf-e053-3a05fe0a5d97
|
2
|
Verification of State-Based Opacity Using Petri Nets, file e2f56ed7-4786-3eaf-e053-3a05fe0a5d97
|
2
|
Computation of Activation Probabilities in the Independent Cascade Model, file e2f56ed7-8568-3eaf-e053-3a05fe0a5d97
|
2
|
Guest editorial: special issue on performance analysis and optimization of discrete event systems, file e2f56ed7-c1b4-3eaf-e053-3a05fe0a5d97
|
2
|
Petri nets and Automatic Control: A historical perspective, file e2f56ed7-d76d-3eaf-e053-3a05fe0a5d97
|
2
|
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems, file e2f56ed7-d771-3eaf-e053-3a05fe0a5d97
|
2
|
Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs, file e2f56ed7-d777-3eaf-e053-3a05fe0a5d97
|
2
|
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis, file e2f56ed7-d779-3eaf-e053-3a05fe0a5d97
|
2
|
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton-based realization of discrete-time hybrid automaton, file e2f56ed8-20d6-3eaf-e053-3a05fe0a5d97
|
2
|
Totale |
9.489 |