Period of time: 2012年4期
Publisher: Springer Publishing Company
Founded in: 1991
Total resources: 20
ISSN: 0924-6703
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Discrete Event Dynamic Systems,volume 15,issue 4
Menu
Introduction to WODES2004 Special Issue
Discrete Event Dynamic Systems,volume 15,issue 4 , Vol. 15, Iss. 4, 2005-12 , pp.An Equivalent CTL Formulation for Condition Sequences
By Ashley Jeffrey,Holloway Lawrence in (2005)
Discrete Event Dynamic Systems,volume 15,issue 4 , Vol. 15, Iss. 4, 2005-12 , pp.Control of Safe Ordinary Petri Nets Using Unfolding
By Giua Alessandro,Xie Xiaolan in (2005)
Discrete Event Dynamic Systems,volume 15,issue 4 , Vol. 15, Iss. 4, 2005-12 , pp.Multitasking Supervisory Control of Discrete-Event Systems
By Queiroz Max,Cury José,Wonham W. in (2005)
Discrete Event Dynamic Systems,volume 15,issue 4 , Vol. 15, Iss. 4, 2005-12 , pp.Optimal Control of Switching Surfaces in Hybrid Dynamical Systems
By Boccadoro M.,Wardi Y.,Egerstedt M.,Verriest E. in (2005)
Discrete Event Dynamic Systems,volume 15,issue 4 , Vol. 15, Iss. 4, 2005-12 , pp.