If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Filter
PhD Thesis - Research UT, graduation UT
2018
134 Downloads (Pure)

Contract-based specification of embedded control systems

Oguz, O., 16 Feb 2018, Enschede: University of Twente. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
65 Downloads (Pure)

On the automation of periodic hard real-time processes: a graph-theoretical approach

Boode, A. H., 6 Jun 2018, 1 ed. Enschede: University of Twente. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Real time control
Automation
Real-time
Graph in graph theory
Switches
2015
98 Downloads (Pure)

System design support of cyber-physical systems: a co-simulation and co-modelling approach

Ni, Y., 18 Jun 2015, Enschede: Universiteit Twente. 123 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Systems analysis
Cyber Physical System
Engineers
Mobile robots
Synchronization
2014
53 Downloads (Pure)

Robust autonomy for interactive robots

Brodskiy, Y., 20 Feb 2014, Enschede: University of Twente. 119 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2013
108 Downloads (Pure)

Cyber-physical systems software development: way of working and tool suite

Bezemer, M. M., 14 Nov 2013, Enschede: University of Twente. 120 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2007
20 Downloads (Pure)

SystemCSP: A graphical language for designing concurrent component-based embedded control systems

Orlic, B., 20 Sep 2007, Enschede: Orlic. 237 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Control systems
Specification languages
Formal methods
Glues
Graph theory
2006
24 Downloads (Pure)

Designing dependable process-oriented software - a CSP-based approach

Jovanovic, D. S., 16 Mar 2006, Enschede, Netherlands: University of Twente. 264 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
2005
14 Downloads (Pure)

Managing Complexity of Control Software through Concurrency

Hilderink, G. H., 19 May 2005, Enschede, The Netherlands: Ipskamp Printing. 352 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Embedded systems
Computer programming languages
Computer systems
Glues
Software design
1993

Twente Hierarchical Embedded Systems Implementation by Simulation a structured method for controller realization

Wijbrans, K. C. J., 8 Apr 1993, Enschede, The Netherlands: Universiteit Twente. 123 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

1990

Computer-aided physical-systems modeling and simulation: a bondgraph approach

Broenink, J. F., 30 Mar 1990, Enschede: Universiteit Twente EL/BSC. 210 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic