Arc and path consistence revisited
Artificial Intelligence
Applications of CHIP to industrial and engineering problems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Tree search and ARC consistency in constraint satisfaction algorithms
Search in Artificial Intelligence
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
Communications of the ACM
Constraint satisfaction algorithms
Computational Intelligence
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
One-machine rescheduling heuristics with efficiency and stability as criteria
Computers and Operations Research
Lisp and Symbolic Computation
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Hybrid simulation for resolving resource conflict in train traffic rescheduling
Computers in Industry
Backtrack programming techniques
Communications of the ACM
Knowledge-Based Scheduling Systems in Industry and Medicine
IEEE Expert: Intelligent Systems and Their Applications
A Constraint-Based Scheduler for Batch Manufacturing
IEEE Expert: Intelligent Systems and Their Applications
Performance of a Comprehensive and Efficient Constraint Library Based on Local Search
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
On the Satisfiability of Symmetrical Constrained Satisfaction Problems
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Extending GENET for Non-Binary Constraint Satisfaction Problems
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Railway Scheduling System Using Repair-based Approach
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Performance measurement and analysis of certain search algorithms.
Performance measurement and analysis of certain search algorithms.
From timetabling to train regulation-a new train operation model
Information and Software Technology
Intelligent train scheduling on a high-loaded railway network
ATMOS'04 Proceedings of the 4th international Dagstuhl, ATMOS conference on Algorithmic approaches for transportation modeling, optimization, and systems
Computers and Operations Research
| Hi-index | 0.00 |
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for Software Technology, United Nations University (UNU/IIST), Macau. We formulate train rescheduling as constraint satisfaction and describe a constraint propagation approach for tackling the problem. Algorithms for timetable verification and train rescheduling are designed under a coherent framework. Formal correctness properties of the rescheduling algorithm are established. We define two optimality criteria for rescheduling that correspond to minimizing the number of station visits affected and passenger delay respectively. Two heuristics are then proposed to speed up and direct the search towards optimal solutions. The feasibility of our proposed algorithms and heuristics are confirmed with experimentation using real-life data.