-
1
-
-
0023104549
-
"Supervisory control of a class of discrete event processes"
-
P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
-
(1987)
SIAM J. Control Optim.
, vol.25
, Issue.1
, pp. 206-230
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
2
-
-
0034294056
-
"On the complexity of supervisory control design in the RW framework"
-
Sep
-
P. Gohari and W. M. Wonham, "On the complexity of supervisory control design in the RWframework," IEEE Trans. Syst., Man, Cybern., vol. 30, no. 5, pp. 643-652, Sep. 2000.
-
(2000)
IEEE Trans. Syst., Man, Cybern.
, vol.30
, Issue.5
, pp. 643-652
-
-
Gohari, P.1
Wonham, W.M.2
-
3
-
-
0023365727
-
"Statecharts: A visual formalism for complex systems"
-
Jun
-
D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comp. Program., vol. 8, pp. 231-274, Jun. 1987.
-
(1987)
Sci. Comp. Program.
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
4
-
-
0008234870
-
"Top-down design for RW supervisory control theory"
-
M.S. thesis, Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON Canada
-
B. Wang, "Top-down design for RW supervisory control theory," M.S. thesis, Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON, Canada, 1995.
-
(1995)
-
-
Wang, B.1
-
6
-
-
0003162455
-
"Holonic planning and scheduling for a robotic assembly testbed"
-
Oct. 10-12
-
L. Gou, T. Hasegawa, and P. Luh, "Holonic planning and scheduling for a robotic assembly testbed," in Proc. 4th Int. Conf. Computer Integrated Manufacturing and Automation Technology, Oct. 10-12, 1994, pp. 142-149.
-
(1994)
Proc. 4th Int. Conf. Computer Integrated Manufacturing and Automation Technology
, pp. 142-149
-
-
Gou, L.1
Hasegawa, T.2
Luh, P.3
-
8
-
-
0027887517
-
"Control of discrete event systems modeled as hierarchical state machines"
-
Dec
-
Y. Brave and M. Heymann, "Control of discrete event systems modeled as hierarchical state machines," IEEE Trans. Autom. Control, vol. 38, no. 12, pp. 1803-1819, Dec. 1993.
-
(1993)
IEEE Trans. Autom. Control
, vol.38
, Issue.12
, pp. 1803-1819
-
-
Brave, Y.1
Heymann, M.2
-
9
-
-
0036993494
-
"Supervisory control problems of hierarchical finite state machines"
-
Las Vegas, NV
-
H. Marchand and B. Gaudin, "Supervisory control problems of hierarchical finite state machines," in Proc. 41st IEEE Conf. Decision and Control, Las Vegas, NV, 2002, pp. 1199-1204.
-
(2002)
Proc. 41st IEEE Conf. Decision and Control
, pp. 1199-1204
-
-
Marchand, H.1
Gaudin, B.2
-
10
-
-
23944527360
-
"Control of state tree structures"
-
Rhodes, Greece, Jun. T4 - 005
-
C. Ma and W. M. Wonham, "Control of state tree structures," in Proc. 11th Mediterranean Conf. Control and Automation, Rhodes, Greece, Jun. 2003, T4 - 005, p. 6.
-
(2003)
Proc. 11th Mediterranean Conf. Control and Automation
, pp. 6
-
-
Ma, C.1
Wonham, W.M.2
-
11
-
-
23944527360
-
"A symbolic approach to the supervision of state tree structures"
-
Limassol, Cyprus, Jun. TuM04.5
-
C. Ma and W. M. Wonham, "A symbolic approach to the supervision of state tree structures," in Proc. 13th Mediterranean Conf. Control and Automation, Limassol, Cyprus, Jun. 2005, TuM04.5, p. 6.
-
(2005)
Proc. 13th Mediterranean Conf. Control and Automation
, pp. 6
-
-
Ma, C.1
Wonham, W.M.2
-
12
-
-
0022769976
-
"Graph-based algorithms for Boolean function manipulation"
-
Aug
-
R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, no. 8, pp. 677-691, Aug. 1986.
-
(1986)
IEEE Trans. Comput.
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.1
-
13
-
-
0027628161
-
"Supervisory control of a rapid thermal multiprocessor"
-
Jul
-
S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Autom. Control, vol. 38, no. 7, pp. 1040-1059, Jul. 1993.
-
(1993)
IEEE Trans. Autom. Control
, vol.38
, Issue.7
, pp. 1040-1059
-
-
Balemi, S.1
Hoffmann, G.2
Gyugyi, P.3
Wong-Toi, H.4
Franklin, G.5
-
14
-
-
2442592747
-
"STCT: An efficient algorithm for supervisory control design"
-
Paris, France, Jul
-
Z. Zhang and W. Wonham, "STCT: An efficient algorithm for supervisory control design," in Proc. Symp.Supervisory Control of Discrete Event Systems, Paris, France, Jul. 2001, pp. 82-93.
-
(2001)
Proc. Symp.Supervisory Control of Discrete Event Systems
, pp. 82-93
-
-
Zhang, Z.1
Wonham, M.2
-
15
-
-
0003675777
-
"Symbolic methods and tools for discrete event dynamic systems"
-
Ph.D. dissertation, Linköping Studies in Science and Technology, Linköping, Sweden
-
J. Gunnarsson, "Symbolic methods and tools for discrete event dynamic systems," Ph.D. dissertation, Linköping Studies in Science and Technology, Linköping, Sweden, 1997.
-
(1997)
-
-
Gunnarsson, J.1
-
16
-
-
33646908618
-
"Nonblocking supervisory control of state tree structures"
-
Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada
-
C. Ma, "Nonblocking supervisory control of state tree structures," Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada, 2004.
-
(2004)
-
-
Ma, C.1
-
18
-
-
21444460520
-
Supervisory control of discrete-event systems
-
Dept. Elect. Comp. Eng. Univ. Toronto, Toronto, ON, Canada. [Online]. Available
-
W. M. Wonham. (2004) Supervisory control of discrete-event systems. Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON, Canada. [Online]. Available: http://www.control.utoronto.ca/DES
-
(2004)
-
-
Wonham, W.M.1
-
19
-
-
84949196273
-
-
ser. Lecture Notes in Computer Science. New York: Springer-Verlag
-
S. Berezin, S. Campos, and E. M. Clarke, Compositional Reasoning in Model Checking, ser. Lecture Notes in Computer Science. New York: Springer-Verlag, 1998, vol. 1536, pp. 81-102.
-
(1998)
Compositional Reasoning in Model Checking
, vol.1536
, pp. 81-102
-
-
Berezin, S.1
Campos, S.2
Clarke, E.M.3
-
20
-
-
0038220797
-
BuDDy: Binary decision diagram package
-
IT-University of Copenhagen (ITU), Copenhagen, Denmark. [Online]. Available
-
J. Lind-Nielsen. BuDDy: Binary decision diagram package. IT-University of Copenhagen (ITU), Copenhagen, Denmark. [Online]. Available: http:// www.it-c.dk/research/buddy/
-
-
-
Lind-Nielsen, J.1
-
21
-
-
85031820262
-
"The supervisory control of the automated manufacturing system of the AIP"
-
Troy, NY
-
B. Brandin and F. Charbonnier, "The supervisory control of the automated manufacturing system of the AIP," in Proc. Rensselaer's 4th Int. Conf. on Computer Integrated Manufacturing and Automation Technology, Troy, NY, 1994, pp. 319-324.
-
(1994)
Proc. Rensselaer's 4th Int. Conf. on Computer Integrated Manufacturing and Automation Technology
, pp. 319-324
-
-
Brandin, B.1
Charbonnier, F.2
-
22
-
-
23944468533
-
"Hierarchical interface-based supervisory control: AIP example"
-
Oct. 3-5
-
R. Leduc, M. Lawford, and W. Wonham, "Hierarchical interface-based supervisory control: AIP example," in Proc. 39th Allerton Conf. on Communication, Control, and Computing, Oct. 3-5, 2001, pp. 396-405.
-
(2001)
Proc. 39th Allerton Conf. on Communication, Control, and Computing
, pp. 396-405
-
-
Leduc, R.1
Lawford, M.2
Wonham, W.3
-
23
-
-
35048900689
-
20 states and beyond"
-
Jun
-
20 states and beyond," Inform. Comput., vol. 98, pp. 142-170, Jun. 1992.
-
(1992)
Inform. Comput.
, vol.98
, pp. 142-170
-
-
Burch, J.1
Clarke, E.2
McMillan, K.3
Dill, D.4
Hwang, L.5
|