Records |
Author |
Hans Abbink; Roel Van Dijk; Tamas Dobos; Mark Hoogendoorn; Catholijn M. Jonker; Savas Konur; Peter-Paul Van Maanen; Viara Popova; Alexei Sharpanskykh; Peet Van Tooren; Jan Treur; Jeroen M. Valk; Lai Xu; Pinar Yolum |
Title |
Automated support for adaptive incident management |
Type |
Conference Article |
Year |
2004 |
Publication |
Proceedings of ISCRAM 2004 – 1st International Workshop on Information Systems for Crisis Response and Management |
Abbreviated Journal |
ISCRAM 2004 |
Volume |
|
Issue |
|
Pages |
69-74 |
Keywords |
Cybernetics; Information systems; Adaptive; Automated support; Dynamic property; Formal analysis; Incident Management; Intermediate results; Multi-agent; Automation |
Abstract |
The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident management. For such traces it can be checked automatically which dynamic properties hold or fail. The potential of the approach is shown in the formal analysis of a given empirical trace. The approach can also be applied in conjunction with simulation experiments. © Proceedings ISCRAM 2004. |
Address |
Almende, Westerstraat 50, 3016 DJ Rotterdam, Netherlands; Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, Netherlands |
Corporate Author |
|
Thesis |
|
Publisher |
Royal Flemish Academy of Belgium |
Place of Publication |
Brussels |
Editor |
B. Van de Walle, B. Carle |
Language |
English |
Summary Language |
English |
Original Title |
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
Series Volume |
|
Series Issue |
|
Edition |
|
ISSN |
2411-3387 |
ISBN |
9076971080 |
Medium |
|
Track |
POSTER SESSION |
Expedition |
|
Conference |
1st International ISCRAM Conference on Information Systems for Crisis Response and Management |
Notes |
|
Approved |
no |
Call Number |
|
Serial |
65 |
Share this record to Facebook |
|
|
|
Author |
Mark Hoogendoorn; Catholijn M. Jonker; Viara Popova; Alexei Sharpanskykh; Lai Xu |
Title |
Formal modelling and comparing of disaster plans |
Type |
Conference Article |
Year |
2005 |
Publication |
Proceedings of ISCRAM 2005 – 2nd International Conference on Information Systems for Crisis Response and Management |
Abbreviated Journal |
ISCRAM 2005 |
Volume |
|
Issue |
|
Pages |
97-100 |
Keywords |
Disasters; Information systems; Comparison; Disaster plan; Formal analysis; Formal modelling; Incident Management; Netherlands; Disaster prevention |
Abstract |
Every municipality in The Netherlands has its own disaster plan. A disaster plan contains the blueprint of how to handle incidents in the municipality with the aim of preventing incidents to grow into disasters. Given that each municipality has its own organisations, enterprises, infrastructure, and general layout, the disaster plans also differ. On the other hand, the disaster plans have a lot in common. Some municipalities use a common starting point, others develop their own disaster plan from scratch. In this paper two independently developed disaster plan are compared using formal modelling techniques. The analysis reveals that some interesting differences do not stem from a difference in the makings of the municipality. These differences touch the fundamentals of the communication during incident management, and might well have a critical impact in dealing with pending disasters. |
Address |
Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081HV, Netherlands; Radboud University Nijmegen, Nijmegen Institute for Cognition and Information, Montessorilaan 3, 6525 HR Nijmegen, Netherlands |
Corporate Author |
|
Thesis |
|
Publisher |
Royal Flemish Academy of Belgium |
Place of Publication |
Brussels |
Editor |
B. Van de Walle, B. Carle |
Language |
English |
Summary Language |
English |
Original Title |
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
Series Volume |
|
Series Issue |
|
Edition |
|
ISSN |
2411-3387 |
ISBN |
9076971099 |
Medium |
|
Track |
RESEARCH METHODS |
Expedition |
|
Conference |
2nd International ISCRAM Conference on Information Systems for Crisis Response and Management |
Notes |
|
Approved |
no |
Call Number |
|
Serial |
591 |
Share this record to Facebook |