the paper discusses the current state of research concerning railway network timetabling and traffic management. timetable effectiveness is governed by frequency, regularity, accurate running, recovery and layover times, as well as minimal headway, buffer times and waiting times. analytic (queuing) models and stochastic microsimulation are predominantly used for estimation of waiting times and ...

Policy evaluation is a process to determine whether a request submitted by a user satisfies the access control policies defined by an organization. Modality conflict is one of the main issues in policy evaluation. Existing modality conflict detection approaches do not consider complex condition attributes such as spatial and temporal constraints. An effective authorization propagation rule is n...

The detection of a conflict between relevant and irrelevant information on a given trial typically results in a smaller conflict effect on the next trial. This sequential effect has been interpreted as an expression of cognitive control implemented to resolve conflict. In this context, 2 different but related issues have received increasing attention in the literature. The first issue is whethe...

Software Configuration Management (SCM) systems are employed to facilitate collaboration on software engineering artifacts such as models. Therefore, they need to detect concurrent change – also known as conflict detection. However, many researchers recognized that conflict detection on models is not well supported in traditional SCM systems since they are engineered for textual files. Their co...

Executive Summary In this research, an agent-based Conflict/Error Detection Protocol (CEDP) is developed to continuously detect conflict and error problems in a distributed collaborative task-planning environment. By applying Active Middleware architecture, the detection protocol can help detection agents and support their evaluation of the detection process, and exchange detection information ...

The paper contributes a novel conflict resolution approach in multiagent systems. The approach proposes methods namely conflict avoidance, conflict prevention and conflict detection, for handling conflicts in any generic interaction protocol in multiagent systems. The proposed approach is comprehensive as it considers avoidance, prevention, detection and resolution of conflict and presents a co...

In this paper, an approach of conflict classification and detection is proposed in a domain independent framework for conflict management, and deployed in Sensible Agent Architectures. Sensible agents are agents that operate in a multi-agent based system with the ability to dynamically adapt their level of autonomy. Conflicts are classified as goal, plan and belief conflicts. It is shown that s...

This paper presents an approach for developing formally verifiable conflict detection algorithms for aircraft flying arbitrary, nonlinear trajectories. The approach uses a multivariate polynomial global optimization algorithm based on Bernstein polynomials. Since any continuous function on a closed interval, such as an aircraft trajectory within a closed interval of time, can be uniformly appro...

Any prediction of the future position and trajectory of an aircraft will contain errors due to both uncertainty caused by the environment and imperfect and incomplete information available to the prediction system. These prediction errors complicate conflict detection and resolution resulting in late or missed conflict detections and false alerts. Generally there are two types of conflict detec...

The primary goal of air traffic control (ATC) is safety of the flights under the controller's responsibility (Mensen 1989, pp. 3-25; Eurocontrol 1999). Such safety requires reliable detection and effective resolution of impending intersections of aircraft trajectories, which are termed ‘conflicts’ if aircraft do not remain separated for at least 5 nautical miles laterally (Mensen 1989) and for ...