全部文献期刊会议图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Alessandro Giua , Cristian Mahulea , Carla Seatzu
来源:[J].Automatica(IF 2.919), 2017, Vol.85, pp.468-476
摘要:Abstract(#br)This paper deals with the problem of decentralized observability of discrete event systems. We consider a set of sites each capable of observing a subset of the total event set. When a synchronization occurs, each site transmits its own observation to a coordinator t...
作者:... Mariagrazia Dotoli , Nicola Epicoco , Carla Seatzu
来源:[J].Control Engineering Practice(IF 1.669), 2017, Vol.69
摘要:Abstract(#br)A procedure for planning and resources’ management in intermodal terminals is presented. It integrates Timed Petri Nets (TPNs) and Data Envelopment Analysis (DEA) and consists of three steps: the terminal modelling via TPNs to model the regular behavior; the eva...
作者:... Mariagrazia Dotoli , Nicola Epicoco , Carla Seatzu
来源:[J].Applied Mathematical Modelling(IF 1.706), 2017, Vol.52, pp.255-273
摘要:Abstract(#br)This paper presents a self-learning decision making procedure for robust real-time train rescheduling in case of disturbances. The procedure is applicable to aperiodic timetables of mixed-tracked networks and it consists of three steps. The first two are executed in ...
作者:Simone Zanda , Paola Zuddas , Carla Seatzu
来源:[J].Computers & Industrial Engineering(IF 1.516), 2018, Vol.126
摘要:Abstract(#br)This paper proposes a long term nurse scheduling approach based on linear integer programming. The main contribution consists in the derivation of a mathematical model that characterizes in a given time horizon, the set of feasible scheduling that satisfy a series of...
作者:Dan You , ShouGuang Wang , Carla Seatzu
来源:[J].Information Sciences(IF 3.643), 2019, Vol.501, pp.635-654
摘要:Abstract(#br)This paper uses Petri nets (PNs) as a modeling tool to deal with the forbidden state problem of discrete event systems (DESs) in the presence of both unobservable and uncontrollable events. First of all, it is proved that two state specifications are equivalent if th...
作者:... Zhiwu Li , Carla Seatzu , Alessandro Giua
来源:[J].Automatica(IF 2.919), 2017
摘要:Abstract(#br)A system is said to be opaque if an intruder that observes its evolution through a mask cannot infer that the system’s evolution belongs to a given secret behavior. Opacity verification is the problem of determining whether the system is opaque with respect to a...
作者:Mauro Franceschelli , Alessandro Giua , Carla Seatzu
来源:[J].Nonlinear Analysis: Hybrid Systems(IF 1.685), 2017, Vol.26, pp.292-306
摘要:Abstract(#br)The main contribution of this paper is a novel distributed algorithm based on asynchronous and randomized local interactions, i.e., gossip based, for task assignment on heterogeneous networks. We consider a set of tasks with heterogeneous cost to be assigned to a set...
作者:Mauro Franceschelli , Alessandro Giua , Carla Seatzu
来源:[J].Automatica(IF 2.919), 2015, Vol.56, pp.60-69
摘要:Abstract(#br)In this paper we propose a novel algorithm to solve the discrete consensus problem, i.e., the problem of distributing evenly a set of tokens of arbitrary weight among the nodes of a networked system. Tokens are tasks to be executed by the nodes and the proposed distr...
作者:Carla Seatzu , Dmitry Gromov ...
来源:[J].Nonlinear Analysis(IF 1.64), 2005, Vol.65 (6), pp.1188-1210
摘要:Abstract(#br)In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liv...
作者:Carla Seatzu
来源:[J].Applied Mathematical Modelling(IF 1.706), 1999, Vol.23 (6), pp.479-500
摘要:Abstract(#br)In this paper we consider a mathematical model for open-channels that expresses the dynamic relationships, in terms of transcendental functions, between the gate opening sections and the corresponding stored water volume variations in the different canal reaches with...

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

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

×