The following pages link to Carla Seatzu (Q172785):
Displayed 27 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)
- Infinitesimal Perturbation Analysis of Stochastic Hybrid Systems: Application to Congestion Management in Traffic-Light Intersections (Q6253469) (← links)
- Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis (Q6263996) (← links)
- Performance Regulation and Tracking via Lookahead Simulation: Preliminary Results and Validation (Q6290080) (← links)