-
3
-
-
54549090072
-
Opacity generalised to transition systems
-
Nov
-
J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," Int. J. Inf. Security, vol. 7, no. 6, pp. 421-435, Nov. 2008.
-
(2008)
Int. J. Inf. Security
, vol.7
, Issue.6
, pp. 421-435
-
-
Bryans, J.1
Koutny, M.2
Mazare, L.3
Ryan, P.4
-
4
-
-
79960119043
-
Verification of -step opacity and analysis of its complexity
-
Jul
-
A. Saboori and C. N. Hadjicostis, "Verification of -step opacity and analysis of its complexity," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 3, pp. 549-559, Jul. 2011.
-
(2011)
IEEE Trans. Autom. Sci. Eng.
, vol.8
, Issue.3
, pp. 549-559
-
-
Saboori, A.1
Hadjicostis, C.N.2
-
6
-
-
84860430528
-
Verification of infinite-step opacity and complexity considerations
-
to be published
-
A. Saboori and C. N. Hadjicostis, "Verification of infinite-step opacity and complexity considerations," IEEE Trans. Autom. Control, to be published.
-
IEEE Trans. Autom. Control
-
-
Saboori, A.1
Hadjicostis, C.N.2
-
7
-
-
35948973608
-
Concurrent secrets
-
Dec
-
E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," Discrete Event Dyn. Syst., vol. 17, no. 4, pp. 425-446, Dec. 2007.
-
(2007)
Discrete Event Dyn. Syst.
, vol.17
, Issue.4
, pp. 425-446
-
-
Badouel, E.1
Bednarczyk, M.2
Borzyszkowski, A.3
Caillaud, B.4
Darondeau, P.5
-
8
-
-
53149144288
-
Opacity enforcing control synthesis
-
May
-
J. Dubreil, P. Darondeau, and H. Marchand, "Opacity enforcing control synthesis," in Proc. 9th Int. Workshop Discrete Event Syst., May 2008, pp. 28-35.
-
(2008)
Proc. 9th Int. Workshop Discrete Event Syst.
, pp. 28-35
-
-
Dubreil, J.1
Darondeau, P.2
Marchand, H.3
-
10
-
-
84860492177
-
Synthesis of non-interferent distributed systems
-
Aug
-
F. Cassez, J. Mullins, and O. Roux, "Synthesis of non-interferent distributed systems," Comput. Netw. Security, vol. 1, pp. 159-170, Aug. 2007.
-
(2007)
Comput. Netw. Security
, vol.1
, pp. 159-170
-
-
Cassez, F.1
Mullins, J.2
Roux, O.3
-
11
-
-
0003620778
-
-
Boston, MA: Addison Wesley
-
J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Boston, MA: Addison Wesley, 2006.
-
(2006)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Motwani, R.2
Ullman, J.D.3
-
13
-
-
21444460520
-
-
Dept. of Elect. and Comput. Eng., Univ. of Toronto, Toronto, ON, Canada, 2009 [Online]. Available
-
W. M. Wonham, "Supervisory control of discrete event systems, systems and control group," Dept. of Elect. and Comput. Eng., Univ. of Toronto, Toronto, ON, Canada, 2009 [Online]. Available: www.utoronto.ca/DES
-
Supervisory Control of Discrete Event Systems, Systems and Control Group
-
-
Wonham, W.M.1
-
14
-
-
0025750056
-
Classical and logic-based dynamic observers for finite automata
-
Mar
-
P. E. Caines, R. Greiner, and S. Wang, "Classical and logic-based dynamic observers for finite automata," IMA J. Math. Control Inf., vol. 8, no. 1, pp. 45-80, Mar. 1991.
-
(1991)
IMA J. Math. Control Inf.
, vol.8
, Issue.1
, pp. 45-80
-
-
Caines, P.E.1
Greiner, R.2
Wang, S.3
-
15
-
-
0023104549
-
Supervisory control of a class of discrete event processes
-
Jan
-
P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, Jan. 1987.
-
(1987)
SIAM J. Control Optim.
, vol.25
, pp. 206-230
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
16
-
-
79960890426
-
Coverage analysis of mobile agent trajectory via state-based opacity formulations Control Eng. Practice (Special Iss. Sel
-
A. Saboori and C. N. Hadjicostis, "Coverage analysis of mobile agent trajectory via state-based opacity formulations," Control Eng. Practice (Special Iss. Sel. Papers 2nd Int. Workshop Depend. Control Discrete Syst.), vol. 19, pp. 967-977, 2011.
-
(2011)
Papers 2nd Int. Workshop Depend. Control Discrete Syst.)
, vol.19
, pp. 967-977
-
-
Saboori, A.1
Hadjicostis, C.N.2
-
18
-
-
0025475618
-
Formulas for calculating supremal controllable and normal sublanguages
-
R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Control Lett., vol. 15, no. 2, pp. 111-117, 1990.
-
(1990)
Syst. Control Lett.
, vol.15
, Issue.2
, pp. 111-117
-
-
Brandt, R.D.1
Garg, V.2
Kumar, R.3
Lin, F.4
Marcus, S.I.5
Wonham, W.M.6
-
19
-
-
0032122101
-
Active diagnosis of discrete event systems
-
Jul
-
M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
-
(1998)
IEEE Trans. Autom. Control
, vol.43
, Issue.7
, pp. 908-929
-
-
Sampath, M.1
Lafortune, S.2
Teneketzis, D.3
|