Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering

Dines Bjørner

doi:10.1016/S1474-6670(17)32424-2

Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering

Dines Bjørner

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

From an example formal (ie., computing science based) model of railway nets, their rail units and the various forms of states of these rail units, we put forward some suggestions for future research & development that engages researchers of automatic control and computing science in collaborative work. The background for our paper is the increasing practice of software engineers engaging ever more in what used to be considered traditional control engineering tasks — without, we claim, there being a clear, scientific basis for doing so.

Original language	English
Title of host publication	CTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University
Publisher	Elsevier
Publication date	2003
Pages	227-232
DOIs	https://doi.org/10.1016/S1474-6670(17)32424-2
Publication status	Published - 2003
Event	10th IFAC Symposium on Control in Transportation Systems - Tokyo, Japan Duration: 4 Aug 2003 → 6 Aug 2003 Conference number: 10

Conference

Conference	10th IFAC Symposium on Control in Transportation Systems
Number	10
Country/Territory	Japan
City	Tokyo
Period	04/08/2003 → 06/08/2003

Series	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	14
Volume	36
ISSN	1474-6670

Access to Document

10.1016/S1474-6670(17)32424-2

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{56cbc834be784e07aa41b30728618d1d,

title = "Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering",

abstract = "From an example formal (ie., computing science based) model of railway nets, their rail units and the various forms of states of these rail units, we put forward some suggestions for future research \& development that engages researchers of automatic control and computing science in collaborative work. The background for our paper is the increasing practice of software engineers engaging ever more in what used to be considered traditional control engineering tasks {\textemdash} without, we claim, there being a clear, scientific basis for doing so.",

author = "Dines Bj{\o}rner",

year = "2003",

doi = "10.1016/S1474-6670(17)32424-2",

language = "English",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline) ",

publisher = "Elsevier",

number = "14",

pages = "227--232",

booktitle = "CTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University",

address = "United Kingdom",

note = "10th IFAC Symposium on Control in Transportation Systems ; Conference date: 04-08-2003 Through 06-08-2003",

}

Bjørner, D 2003, Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. in CTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University. Elsevier, IFAC Proceedings Volumes (IFAC-PapersOnline) , no. 14, vol. 36, pp. 227-232, 10th IFAC Symposium on Control in Transportation Systems, Tokyo, Japan, 04/08/2003. https://doi.org/10.1016/S1474-6670(17)32424-2

Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. / Bjørner, Dines.
CTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University. Elsevier, 2003. p. 227-232 (IFAC Proceedings Volumes (IFAC-PapersOnline) ; No. 14, Vol. 36).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Dynamics of Railway Nets

T2 - 10th IFAC Symposium on Control in Transportation Systems

AU - Bjørner, Dines

N1 - Conference code: 10

PY - 2003

Y1 - 2003

N2 - From an example formal (ie., computing science based) model of railway nets, their rail units and the various forms of states of these rail units, we put forward some suggestions for future research & development that engages researchers of automatic control and computing science in collaborative work. The background for our paper is the increasing practice of software engineers engaging ever more in what used to be considered traditional control engineering tasks — without, we claim, there being a clear, scientific basis for doing so.

AB - From an example formal (ie., computing science based) model of railway nets, their rail units and the various forms of states of these rail units, we put forward some suggestions for future research & development that engages researchers of automatic control and computing science in collaborative work. The background for our paper is the increasing practice of software engineers engaging ever more in what used to be considered traditional control engineering tasks — without, we claim, there being a clear, scientific basis for doing so.

U2 - 10.1016/S1474-6670(17)32424-2

DO - 10.1016/S1474-6670(17)32424-2

M3 - Article in proceedings

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 227

EP - 232

BT - CTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University

PB - Elsevier

Y2 - 4 August 2003 through 6 August 2003

ER -

Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this