The following pages link to Alessandro Giua (Q172784):
Displaying 50 items.
- Deterministic weak-and-marked Petri net languages are regular (Q3124464) (← links)
- (Q3152837) (← links)
- (Q3152839) (← links)
- Constrained optimal control: an application to semiactive suspension systems (Q3161647) (← links)
- (Q3437549) (← links)
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets (Q3510881) (← links)
- (Q3596093) (← links)
- Blocking and controllability of Petri nets in supervisory control (Q4309230) (← links)
- Model reduction of finite-state machines by contraction (Q4540390) (← links)
- On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton (Q4556469) (← links)
- Codiagnosability Analysis of Bounded Petri Nets (Q4567184) (← links)
- (Q4657057) (← links)
- Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics (Q4682306) (← links)
- (Q4782041) (← links)
- Decidability and closure properties of weak Petri net languages in supervisory control (Q4841496) (← links)
- Optimal Model Predictive Control of Timed Continuous Petri Nets (Q4974299) (← links)
- A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks (Q4978823) (← links)
- Verification of Detectability for Unambiguous Weighted Automata (Q4990197) (← links)
- Discrete-Time Dynamic Consensus on the Max Value (Q5054261) (← links)
- Active Diagnosis for Switched Systems Using Mealy Machine Modeling (Q5117250) (← links)
- Marking Estimation in a Class of Time Labeled Petri Nets (Q5125455) (← links)
- Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming (Q5125689) (← links)
- Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis (Q5125732) (← links)
- Analisi dei sistemi dinamici (Q5189219) (← 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)
- Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods” (Q5273832) (← links)
- Optimal Control of Continuous-Time Switched Affine Systems (Q5281827) (← links)
- An Optimization Approach to Petri Net Monitor Design (Q5282039) (← links)
- Marking Estimation of Petri Nets With Silent Transitions (Q5282235) (← links)
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem (Q5282361) (← links)
- Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations (Q5282378) (← links)
- Finite-Time Consensus on the Median Value With Robustness Properties (Q5282415) (← 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)
- Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- Petri Nets with Time (Q5496934) (← links)
- In memoriam of Professor V. Lakshmikantham (Q5891124) (← 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)
- Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks (Q6137495) (← links)
- Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks (Q6199890) (← links)
- A joint diagnoser approach for diagnosability of discrete event systems under attack (Q6664820) (← links)
