Nome |
# |
Fault detection for discrete event systems using Petri nets with unobservable transitions, file e2f56ed5-42a0-3eaf-e053-3a05fe0a5d97
|
661
|
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks, file e2f56ed7-2c9f-3eaf-e053-3a05fe0a5d97
|
476
|
Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems, file e2f56ed5-4298-3eaf-e053-3a05fe0a5d97
|
387
|
A new approach for diagnosability analysis of Petri nets using Verifier Nets, file e2f56ed5-41e0-3eaf-e053-3a05fe0a5d97
|
311
|
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions, file e2f56ed8-db97-3eaf-e053-3a05fe0a5d97
|
302
|
Petri nets for the control of discrete event systems, file e2f56ed6-78b8-3eaf-e053-3a05fe0a5d97
|
270
|
Distributed task assignment based on gossip with guaranteed performance on heterogeneous networks, file e2f56ed5-42a4-3eaf-e053-3a05fe0a5d97
|
236
|
Verification of State-Based Opacity Using Petri Nets, file e2f56eda-9d07-3eaf-e053-3a05fe0a5d97
|
224
|
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-48d1-3eaf-e053-3a05fe0a5d97
|
198
|
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches, file e2f56ed7-855b-3eaf-e053-3a05fe0a5d97
|
187
|
Codiagnosability Analysis of Bounded Petri Nets, file e2f56eda-a538-3eaf-e053-3a05fe0a5d97
|
67
|
Decidability results in First-Order Hybrid Petri Nets, file e2f56ed5-55d6-3eaf-e053-3a05fe0a5d97
|
63
|
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-d7ab-3eaf-e053-3a05fe0a5d97
|
62
|
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions, file e2f56eda-c33d-3eaf-e053-3a05fe0a5d97
|
55
|
A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions, file e2f56eda-9b60-3eaf-e053-3a05fe0a5d97
|
54
|
Diagnosability analysis of labeled Time Petri net systems, file e2f56eda-a17a-3eaf-e053-3a05fe0a5d97
|
54
|
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed5-4cc8-3eaf-e053-3a05fe0a5d97
|
51
|
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets, file e2f56eda-7ae5-3eaf-e053-3a05fe0a5d97
|
49
|
Probabilistic verification of attack detection using logical observer, file e2f56eda-57ef-3eaf-e053-3a05fe0a5d97
|
48
|
Decidability of opacity verification problems in labeled Petri net systems, file e2f56eda-a8c8-3eaf-e053-3a05fe0a5d97
|
48
|
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file ba32f2c0-e228-4435-96e3-3b34c322bbd6
|
41
|
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed5-4c23-3eaf-e053-3a05fe0a5d97
|
36
|
Joint state estimation under attack of discrete event systems, file e2f56eda-853c-3eaf-e053-3a05fe0a5d97
|
35
|
Distributed Mode Computation in Open Multi-Agent Systems, file e2f56eda-d74f-3eaf-e053-3a05fe0a5d97
|
13
|
Decidability of opacity verification problems in labeled Petri net systems, file e2f56ed6-cec8-3eaf-e053-3a05fe0a5d97
|
12
|
Performance regulation in discrete event and hybrid dynamical systems using IPA, file e2f56ed6-8c64-3eaf-e053-3a05fe0a5d97
|
10
|
Current-state opacity enforcement in discrete event systems under incomparable observations, file e2f56ed7-5bfd-3eaf-e053-3a05fe0a5d97
|
10
|
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file cd6e2aa4-518c-4795-9d52-457a47c868b4
|
9
|
Selection of a stealthy and harmful attack function in discrete event systems, file 83ed70da-7aaa-4751-83b9-a3aed20d75f2
|
8
|
Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file 9c216cb1-e7fa-488f-9325-d7d287bd0245
|
7
|
Fault model identification and synthesis in Petri nets, file e2f56ed3-b16c-3eaf-e053-3a05fe0a5d97
|
7
|
Diagnosability analysis of labeled Time Petri net systems, file e2f56eda-d435-3eaf-e053-3a05fe0a5d97
|
7
|
Sensor and Actuator Attacks in Discrete Event Systems, file e993a760-5612-4b02-b036-fd4f2eed9428
|
7
|
Consistent reduction in discrete-event systems, file 5b056576-f18f-4875-b0f7-c0309d7e3342
|
6
|
A decision support system for optimizing operations at intermodal railroad terminals, file e2f56ed6-8fbf-3eaf-e053-3a05fe0a5d97
|
6
|
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions, file e2f56eda-d595-3eaf-e053-3a05fe0a5d97
|
6
|
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks, file 9eec033e-65ed-4c73-9b54-12de5fcd5c72
|
5
|
Initial marking estimation in labeled Petri nets in probabilistic setting, file e2f56ed3-bc7c-3eaf-e053-3a05fe0a5d97
|
5
|
Advanced control in factory automation: a survey, file e2f56ed6-1bcb-3eaf-e053-3a05fe0a5d97
|
5
|
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets, file e2f56ed6-1bcd-3eaf-e053-3a05fe0a5d97
|
5
|
Probabilistic marking estimation in labeled petri nets, file e2f56ed6-855c-3eaf-e053-3a05fe0a5d97
|
5
|
A Survey on Petri Net Models for Freight Logistics and Transportation Systems, file e2f56ed7-2a7c-3eaf-e053-3a05fe0a5d97
|
5
|
Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari, file e2f56ed7-ac87-3eaf-e053-3a05fe0a5d97
|
5
|
Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file 2364037e-eb4a-4854-9f0b-058c80a64c70
|
4
|
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
|
State feedback control of labeled Petri nets with uncertainty in the initial marking, file e2f56ed3-c602-3eaf-e053-3a05fe0a5d97
|
4
|
Diagnosis using labeled Petri nets with silent or undistinguishable fault events, file e2f56ed3-c709-3eaf-e053-3a05fe0a5d97
|
4
|
Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis, file e2f56ed6-1b10-3eaf-e053-3a05fe0a5d97
|
4
|
Marking observer in labeled petri nets with application to supervisory control, file e2f56ed6-840a-3eaf-e053-3a05fe0a5d97
|
4
|
A decision making procedure for robust train rescheduling based on mixed integer linear programming and Data Envelopment Analysis, file e2f56ed7-280f-3eaf-e053-3a05fe0a5d97
|
4
|
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-2c9e-3eaf-e053-3a05fe0a5d97
|
4
|
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-af01-3eaf-e053-3a05fe0a5d97
|
4
|
A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions, file e2f56eda-c85e-3eaf-e053-3a05fe0a5d97
|
4
|
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks, file 9c048dfc-f7e2-46c2-88f4-81b32db80c99
|
3
|
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed3-abbc-3eaf-e053-3a05fe0a5d97
|
3
|
Probabilistic marking estimation in labeled Petri nets, file e2f56ed3-c8a9-3eaf-e053-3a05fe0a5d97
|
3
|
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports], file e2f56ed7-784f-3eaf-e053-3a05fe0a5d97
|
3
|
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs, file c5fc979b-8cb0-46c3-a15f-180304884619
|
2
|
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed3-a489-3eaf-e053-3a05fe0a5d97
|
2
|
Control of Discrete-Event Systems. Automata and Petri Net Perspectives, file e2f56ed3-a4eb-3eaf-e053-3a05fe0a5d97
|
2
|
Guest Editorial: Special Issue on Advances in Discrete Event Systems for Automation, file e2f56ed3-a8f3-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-aa40-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-ae85-3eaf-e053-3a05fe0a5d97
|
2
|
Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections, file e2f56ed3-bb65-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-c147-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed3-c33d-3eaf-e053-3a05fe0a5d97
|
2
|
Performance regulation via integral control in a class of stochastic discrete event dynamic systems, file e2f56ed3-c647-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed5-4b9e-3eaf-e053-3a05fe0a5d97
|
2
|
null, file e2f56ed5-4ff8-3eaf-e053-3a05fe0a5d97
|
2
|
Verification of State-Based Opacity Using Petri Nets, file e2f56ed7-4786-3eaf-e053-3a05fe0a5d97
|
2
|
Intermodal terminal planning by Petri Nets and Data Envelopment Analysis, file e2f56ed7-68d5-3eaf-e053-3a05fe0a5d97
|
2
|
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis, file e2f56ed7-d779-3eaf-e053-3a05fe0a5d97
|
2
|
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions, file e2f56ed9-16ca-3eaf-e053-3a05fe0a5d97
|
2
|
A region-based approach for state estimation of timed automata under no event observation, file e2f56eda-1750-3eaf-e053-3a05fe0a5d97
|
2
|
Fault Diagnosis of Timed Discrete Event Systems, file 03ce51cb-ec56-43d1-ad16-1fff4ea7ad16
|
1
|
Prognosability analysis and enforcement of bounded labeled Petri nets, file cf89cdf6-f736-457b-8790-fb8a2c16dd59
|
1
|
Introduction to Petri nets, file e2f56ed3-9058-3eaf-e053-3a05fe0a5d97
|
1
|
Diagnosis of Petri nets, file e2f56ed3-905a-3eaf-e053-3a05fe0a5d97
|
1
|
Petri nets with time, file e2f56ed3-905b-3eaf-e053-3a05fe0a5d97
|
1
|
A comparison among tools for the diagnosability of discrete event systems, file e2f56ed3-9248-3eaf-e053-3a05fe0a5d97
|
1
|
Analisi dei Sistemi Dinamici - II Edizione, file e2f56ed3-a7fe-3eaf-e053-3a05fe0a5d97
|
1
|
Optimal model predictive control of timed continuous Petri nets, file e2f56ed3-aa66-3eaf-e053-3a05fe0a5d97
|
1
|
Optimization of intermodal rail-road freight transport terminals, file e2f56ed3-ab99-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed3-ae56-3eaf-e053-3a05fe0a5d97
|
1
|
Stabilization of switched systems via optimal control, file e2f56ed3-b6a5-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed3-b822-3eaf-e053-3a05fe0a5d97
|
1
|
A software platform for the integration of discrete event systems tools, file e2f56ed3-c27b-3eaf-e053-3a05fe0a5d97
|
1
|
A consensus algorithm for common reference frame estimation in networked multi-agent systems, file e2f56ed3-c477-3eaf-e053-3a05fe0a5d97
|
1
|
A survey on state estimation using Petri nets, file e2f56ed3-c648-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-3d5f-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-3fa5-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4140-3eaf-e053-3a05fe0a5d97
|
1
|
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning, file e2f56ed5-414e-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4291-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4b6d-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4c0b-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4cee-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-4cfd-3eaf-e053-3a05fe0a5d97
|
1
|
null, file e2f56ed5-511e-3eaf-e053-3a05fe0a5d97
|
1
|
Totale |
4.173 |