Design of liveness-enforcing supervisors via transforming plant petri net models of FMS.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 240, doi. 10.1002/asjc.182
- By:
- Publication type:
- Article
Works matching IS 15618625 AND DT 2010 AND VI 12 AND IP 3
Results: 17
1
2
Colored timed Petri nets for modeling and analysis of cluser tools.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 253, doi. 10.1002/asjc.183
- By:
- Publication type:
- Article
3
Process vs resource-oriented Petri net modeling of automated manufacturing systems.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 267, doi. 10.1002/asjc.184
- By:
- Publication type:
- Article
4
A petri nets-based process planning system for wastewater treatment.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 281, doi. 10.1002/asjc.185
- By:
- Publication type:
- Article
5
Petri nets based FPGA controller of PDP sustainer with half-voltage energy recovery circuit.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 292, doi. 10.1002/asjc.186
- By:
- Publication type:
- Article
6
Constructing an abstract model for ladder diagram diagnosis using Petri nets.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 309, doi. 10.1002/asjc.187
- By:
- Publication type:
- Article
7
Synthesis of deadlock prevention policy using Petri nets reachability graph technique.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 336, doi. 10.1002/asjc.188
- By:
- Publication type:
- Article
8
A deadlock prevention approach for a class of timed Petri nets using elementary siphons.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 347, doi. 10.1002/asjc.189
- By:
- Publication type:
- Article
9
Robust unscented Kalman filtering for nonlinear uncertain systems.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 426, doi. 10.1002/asjc.190
- By:
- Publication type:
- Article
10
Explicit nonlinear predictive control for a magnetic levitation system.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 434, doi. 10.1002/asjc.191
- By:
- Publication type:
- Article
11
Non-blocking decentralized control of discrete event systems based on Petri nets.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 323, doi. 10.1002/asjc.194
- By:
- Publication type:
- Article
12
Chattering reduction of sliding mode control by low-pass filtering the control signal.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 392, doi. 10.1002/asjc.195
- By:
- Publication type:
- Article
13
Design of nonlinear terminal guidance/autopilot controller for missiles with pulse type input devices.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 399, doi. 10.1002/asjc.196
- By:
- Publication type:
- Article
14
Optimal grade transition control for liquid-propylene polymerization reactor.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 413, doi. 10.1002/asjc.197
- By:
- Publication type:
- Article
15
Special issue on 'Petri Nets for system control and automation'.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 237, doi. 10.1002/asjc.215
- By:
- Publication type:
- Article
16
An optimal maintenance policy based on generalized stochastic Petri nets and periodic inspection.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 364, doi. 10.1002/asjc.216
- By:
- Publication type:
- Article
17
Improved controllability test for dependent siphons in S<sup>3</sup>PR based on elementary siphons.
- Published in:
- Asian Journal of Control, 2010, v. 12, n. 3, p. 377
- By:
- Publication type:
- Article