ABSTRACT The problem of estimating the state of a discrete event system has been extensively inve... more ABSTRACT The problem of estimating the state of a discrete event system has been extensively investigated in the last decades. The goal of this paper is that of providing a survey on the main contributions in this area when Petri nets are used as the reference formalism. Several problem formulations have been considered, that differ for the variables that can be measured during the system evolution, the a priori information on the initial state of the net, and the specific Petri net model.
In this paper we tackle the decidability of marking reachability for a hybrid formalism based on ... more In this paper we tackle the decidability of marking reachability for a hybrid formalism based on Petri nets. The model we consider is the untimed version of First{Order Hybrid Petri Nets: it combines a discrete Petri net and a continuous Petri net, the latter being a ∞uid version of a usual discrete Petri net. It is suggested that the decidability
Inthis paper we realize the design of a mixed suspension system(an actuator in tandem with a conv... more Inthis paper we realize the design of a mixed suspension system(an actuator in tandem with a conventional passive suspension)for the axletree of a road vehicle based on a linear model withfour degrees of freedom. We propose an optimal control law thataims to optimize the suspension performance while ensuring thatthe magnitude of the forces generated by the two actuators andthe total forces applied between wheel and body never exceedgiven bounds. The solution we derive takes the form of an adaptivecontrol law that switches between different constant state feedbackgains. The results of our simulations show that the bound onthe active forces is a design parameter useful for establishinga trade-off between performance and power requirement.
The paper presents a two-phase design technique for semiactive suspensions. In the first phase, w... more The paper presents a two-phase design technique for semiactive suspensions. In the first phase, we use a procedure proposed by Yoshida et al. to compute a target active control law that can be implemented by Optimal Gain Switching. This control law is such that the force ...
ABSTRACT The problem of estimating the state of a discrete event system has been extensively inve... more ABSTRACT The problem of estimating the state of a discrete event system has been extensively investigated in the last decades. The goal of this paper is that of providing a survey on the main contributions in this area when Petri nets are used as the reference formalism. Several problem formulations have been considered, that differ for the variables that can be measured during the system evolution, the a priori information on the initial state of the net, and the specific Petri net model.
In this paper we tackle the decidability of marking reachability for a hybrid formalism based on ... more In this paper we tackle the decidability of marking reachability for a hybrid formalism based on Petri nets. The model we consider is the untimed version of First{Order Hybrid Petri Nets: it combines a discrete Petri net and a continuous Petri net, the latter being a ∞uid version of a usual discrete Petri net. It is suggested that the decidability
Inthis paper we realize the design of a mixed suspension system(an actuator in tandem with a conv... more Inthis paper we realize the design of a mixed suspension system(an actuator in tandem with a conventional passive suspension)for the axletree of a road vehicle based on a linear model withfour degrees of freedom. We propose an optimal control law thataims to optimize the suspension performance while ensuring thatthe magnitude of the forces generated by the two actuators andthe total forces applied between wheel and body never exceedgiven bounds. The solution we derive takes the form of an adaptivecontrol law that switches between different constant state feedbackgains. The results of our simulations show that the bound onthe active forces is a design parameter useful for establishinga trade-off between performance and power requirement.
The paper presents a two-phase design technique for semiactive suspensions. In the first phase, w... more The paper presents a two-phase design technique for semiactive suspensions. In the first phase, we use a procedure proposed by Yoshida et al. to compute a target active control law that can be implemented by Optimal Gain Switching. This control law is such that the force ...
Uploads
Papers