The following pages link to C. Seatzu (Q172785):
Displaying 28 items.
- Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis (Q5125732) (← links)
- Analisi dei sistemi dinamici (Q5189219) (← links)
- Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs (Q5211194) (← links)
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” (Q5211303) (← links)
- Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection (Q5223815) (← links)
- Observability of place/transition nets (Q5267072) (← links)
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery (Q5273656) (← links)
- Optimal Control of Continuous-Time Switched Affine Systems (Q5281827) (← links)
- Marking Estimation of Petri Nets With Silent Transitions (Q5282235) (← links)
- Diagnosability Analysis of Labeled Time Petri Net Systems (Q5282382) (← links)
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control (Q5282426) (← links)
- Verification of State-Based Opacity Using Petri Nets (Q5352631) (← links)
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets (Q5353040) (← links)
- Modelling and simulation of a bottling plant using hybrid Petri nets (Q5466722) (← links)
- Introduction to Petri Nets (Q5496928) (← links)
- Structural Analysis of Petri Nets (Q5496929) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- Petri Nets with Time (Q5496934) (← links)
- Decidability results in first-order hybrid Petri nets (Q5930251) (← links)
- A mixed suspension system for a half-car vehicle model (Q5938013) (← links)
- Firing rate optimization of cyclic timed event graphs by token allocations (Q5953543) (← links)
- Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets (Q6052746) (← links)
- Codiagnosability Enforcement in Labeled Petri Nets (Q6053289) (← links)
- Tracking control by the Newton–Raphson method with output prediction and controller speedup (Q6117445) (← links)
- Verification of pattern-pattern diagnosability in partially observed discrete event systems (Q6575913) (← links)
- A joint diagnoser approach for diagnosability of discrete event systems under attack (Q6664820) (← links)
- Noninterference analysis of bounded Petri nets using basis reachability graph (Q6668239) (← links)
- Concealability analysis for current-state opacity enforcement via editing functions (Q6668250) (← links)
