全部文献期刊会议图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Hoang-Dung Tran , Luan Viet Nguyen , Weiming Xiang ...
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (2), pp.443-461Springer
摘要:Order-reduction is a standard automated approximation technique for computer-aided design, analysis, and simulation of many classes of systems, from circuits to buildings. To be used as a sound abstraction for formal verification, a measure of the similarity of behavior must be f...
作者:Qingda Wei , Xian Chen
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (3), pp.501-524Springer
摘要:In this paper we study the average cost criterion induced by the regular utility function ( U -average cost criterion) for continuous-time Markov decision processes. This criterion is a generalization of the risk-sensitive average cost and expected average cost criteria. We first...
作者:S. Mehdi Vahidipour , Mohammad Reza Meybodi , Mehdi Esnaashari
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (4), pp.609-640Springer
摘要:In a Petri net, a decision point is raised when two or more transitions are simultaneously enabled in a given marking. The decision to be made at such a point is the selection of an enabled transition for firing. Decision making in Petri nets is accomplished by a so called contro...
作者:Blake C. Rawlings , B. Erik Ydstie
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (2), pp.463-479Springer
摘要:We propose an abstraction-based method that can be applied to falsify a class of computation tree logic (CTL) specifications that combine invariance and reachability requirements in terms of the discrete state of a hybrid control system. The fragment of CTL that we address i...
作者:Bilal Benmessahel , Mohamed Touahria , Farid Nouioua
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (4), pp.641-673Springer
摘要:This paper studies the problem of predictability in fuzzy discrete event systems (FDESs). FDESs combine fuzzy set theory with discrete events systems (DESs). They are proposed in Lin and Ying ( 2001 ) to cope with vagueness, impreciseness, and subjectivity in real-world problems....
作者:Leonardo Bermeo Clavijo , João C. Basilio
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (4), pp.701-739Springer
摘要:Diagnosability is an intrinsic property of the language generated by discrete event systems (DES) and the computational procedure to determine whether a language possesses or not this property is called diagnosability verification. For regular languages, diagnosability verificati...
作者:Estíbaliz Fraca , Jorge Júlvez , Manuel Silva
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (3), pp.525-546Springer
摘要:Fluidization is an appealing relaxation technique based on the removal of integrality constraints in order to ease the analysis of discrete Petri nets. The result of fluidifying discrete Petri nets are the so called Fluid or Continuous Petri nets. As with any relaxation tech...
作者:Anne-Kathrin Schmuck , Rupak Majumdar , Adrian Leva
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (2), pp.261-299Springer
摘要:In the formal approach to reactive controller synthesis, a symbolic controller for a possibly hybrid system is obtained by algorithmically computing a winning strategy in a two-player game. Such game-solving algorithms scale poorly as the size of the game graph increases. However...
作者:Jonathan DeCastro , Rüdiger Ehlers , Matthias Rungger ...
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (2), pp.371-405Springer
摘要:This paper addresses the problem of synthesizing controllers for reactive missions carried out by dynamical systems operating in environments of known physical geometry but consisting of uncontrolled elements that the system must react to at execution time. Such problems hav...
作者:Pascal Moyal
来源:[J].Discrete Event Dynamic Systems(IF 0.711), 2017, Vol.27 (3), pp.573-584Springer
摘要:By conducting a pathwise comparison of multiple server queues, we show in what sense it is better to have more servers in ‘First Come, First Served’ or equivalently, more queues in parallel under the policy ‘Join the Shortest Workload’. This comparison result is based o...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×