Critical infrastructure protection against cyber threats

A postgraduate seminar series with a title Critical Infrastructure Protection against Cyber Threats held at the Department of Military Technology of the National Defence University in the fall of 2013 and 2014. This book is a collection of some of talks that were presented in the seminar. The papers address origin of critical infrastructure protection, wargaming cyberwar in critical infrastructure defence, cyber-target categorization, supervisory control and data acquisition systems vulnerabilities, electric power as critical infrastructure, improving situational awareness of critical infrastructure and trust based situation awareness in high security cloud environment. This set of papers tries to give some insight to current issues of the network-centric critical infrastructure protection. The seminar has always made a publication of the papers but this has been an internal publication of the Finnish Defence Forces and has not hindered publication of the papers in international conferences. Publication of these papers in peer reviewed conferences has indeed been always the goal of the seminar, since it teaches writing conference level papers. We still hope that an internal publication in the department series is useful to the Finnish Defence Forces by offering an easy access to these papers.

Assessment of techno-economic use cases for small-scale island grids

The main objective of the study was to define the methodology for assessing the limits for application island grids instead of interconnecting with existing grid infrastructure. The model for simulation of grid extension distance and levelised cost of electricity has been developed and validated by the case study in Finland. Thereafter, sensitivities of the application limits were examined with the respect to operational environment, load conditions, supply security and geographical location. Finally, recommendations for the small-scale rural electrification projects in the market economy environment have been proposed.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Suljetun sähkönjakeluverkon regulaatio teollisuusympäristössä

Tässä työssä tutkitaan suljetun jakeluverkon regulaatiota yhden suomalaisen teollisuussähköverkon näkökulmasta ja sitä verrataan olemassa olevaan energiaviraston jakeluverkkoja koskevaan säätelymalliin. Työssä tutkitaan verkkoyhtiön kehittämän säätelymallin toimivuutta ja sitä kuinka se täyttää hyvän valvontamallin ominaispiirteet. Tässä työssä ei ole tarkoituksena esittää uutta valvontamallia, vaan tutkia ja arvioida olemassa olevia malleja. Työssä käydään läpi olemassa oleva kolmannen valvontajakson regulaatiomalli sekä muutokset, joita on esitetty tuleville valvontakausille. Työssä taustoitetaan valvontatoimintaa myös yleisen talousteorian ja valvontateorioiden avulla. Tämän taustoituksen avulla tarkastellaan teollisuussähköverkkojen erityisiä ominaisuuksia ja edelleen tutkitun teollisuussähköverkon korkeita käyttövaatimuksia ja syitä tällaisille vaatimuksille. Verkkoyhtiön käyttämä tariffimalli kuvataan myös sen liittyessä sääntelyyn saumattomasti. Työssä todistettiin mallin toimivuus tämän kaltaisessa toimintaympäristössä, jossa käyntivarmuusvaatimus on erittäin korkea. Havainnoissa myös korostuu mallin pitkäjänteisyys ja ennustettavuus. Laskentaesimerkkien avulla arvioidaan liittymähinnoittelun kohtuullisuutta asiakkaalle ja mallin toimivuutta yleensä. Näissä tarkasteluissa havaittiin, että yleisellä tasolla liittymähinnoittelu on kohtuullista asiakkaalle ja se mahdollistaa asiakkaan pääomien tehokkaamman käytön kuin ilman verkkoyhtiötä. Kehittämiskohteina tuodaan esille keskeytyksistä aiheutuvien haittojen käsittely ja se, ettei tällaiseen verkkoympäristöön ole tällä hetkellä toimivaa mittaria, jolla voitaisiin arvioida kuinka hyvin verkkoyhtiö toimii.

Energy Management System for LVDC Island Networks

Recent developments in power electronics technology have made it possible to develop competitive and reliable low-voltage DC (LVDC) distribution networks. Further, islanded microgrids—isolated small-scale localized distribution networks— have been proposed to reliably supply power using distributed generations. However, islanded operations face many issues such as power quality, voltage regulation, network stability, and protection. In this thesis, an energy management system (EMS) that ensures efficient energy and power balancing and voltage regulation has been proposed for an LVDC island network utilizing solar panels for electricity production and lead-acid batteries for energy storage. The EMS uses the master/slave method with robust communication infrastructure to control the production, storage, and loads. The logical basis for the EMS operations has been established by proposing functionalities of the network components as well as by defining appropriate operation modes that encompass all situations. During loss-of-powersupply periods, load prioritizations and disconnections are employed to maintain the power supply to at least some loads. The proposed EMS ensures optimal energy balance in the network. A sizing method based on discrete-event simulations has also been proposed to obtain reliable capacities of the photovoltaic array and battery. In addition, an algorithm to determine the number of hours of electric power supply that can be guaranteed to the customers at any given location has been developed. The successful performances of all the proposed algorithms have been demonstrated by simulations.

A high efficiency microturbine concept

There is a growing trend towards decentralized electricity and heat production throughout the world. Reciprocating engines and gas turbines have an essential role in the global decentralized energy markets and any improvement in their electrical efficiency has a significant impact from the environmental and economic viewpoints. This paper introduces an inter-cooled and recuperated two-shaft microturbine at 500 kW electric output range. The microturbine is optimized for a realistic combination of the turbine inlet temperature, the recuperation rate and the pressure ratio. The new microturbine design aims to achieve significantly increased performance within the range of microturbines and even competing with the efficiencies achieved in large industrial gas turbines. The simulated electrical efficiency is 45%. Improving the efficiency of combined heat and power (CHP) systems will significantly decrease the emissions and operating costs of decentralized heat and electricity production. Cost-effective, compact and environmentally friendly micro-and small-scale CHP turbine systems with high electrical efficiency will have an opportunity to successfully compete against reciprocating engines, which today are used in heat and power generation all over the world and manufactured in large production series. This paper presents a small-scale gas turbine process, capable of competing with reciprocating engine in terms of electrical efficiency.

Screening of power to gas projects

The purpose of this thesis was the screening of power to gas projects worldwide and reviewing the technologies used and applications for the end products. This study focuses solely on technical solutions and feasibility, economical profitability is excluded. With power grids having larger penetrations of intermittent sources such as solar and wind power, the demand and production cannot be balanced in conventional methods. Technologies for storing electric power in times of surplus production are needed, and the concept called power to gas is a solution for this problem. A total of 57 projects mostly located in Europe were reviewed by going through publications, presentations and project web pages. Hydrogen is the more popular end product over methane. Power to gas is a viable concept when power production from intermittent sources needs to be smoothed and time shifted, when carbon free fuels are produced for vehicles and when chemical industry needs carbon neutral raw materials.

Niagara-Welland Power Company Limited fonds, 1833, 1852, 1904-1906, 1909, n.d.

The Welland Power and Supply Canal Company Limited, established in 1893 and incorporated in 1894 with a capital stock of $500,000. The aim of the company was to harness the natural water supply of the Niagara and Welland Rivers. In 1898 the Canadian Electrical News published a report by Henry Symons, QC outlining the main project of the company. This project involves the construction of a canal from the Welland River to the brow of the mountain at Thorold, a distance of 8 miles; the construction at Thorold of a power house, and from Thorold to Lake Ontario, a raceway by which to carry water into the lake. The estimate for the machinery to generate 100,000 horse power is £125,000; for transmission line to Toronto at a voltage of 10,000….The total estimate therefore amounts to £2,452,162, or roughly speaking, $12,000,000. Source: Canadian Electrical News, August 1898, p. 172. In 1899 the company officers petitioned the federal government desiring a name change to the Niagara-Welland Power Company Limited. Officers of the company were Harry Symons, President; Charles A. Hesson, Vice-President; and M.R. O’Loughlin, James B. Sheehan, James S. Haydon, Frederick K. Foster, directors; John S. Campbell, secretary-treasurer. The company’s head offices were located in St. Catharines, with a New York (City) office on Broad Street. In 1905 and 1909 the company petitioned the federal government for additional time to construct its works, which was granted. The company had until May 16, 1915 to complete construction. John S. Campbell (1860-1950) was a graduate of the University of Toronto and Osgoode Hall. During his university years John began his military career first in "K" Company, Queens Own rifles and then later as Commanding Officer of the 19th Lincoln Regiment, from 1906 to 1910. Upon his return to St. Catharines John Campbell served as secretary in the St. Catharines Garrison Club, a social club for military men begun in 1899. After being called to the Bar, he became a partner in the firm of Campbell and McCarron and was appointed to the bench in 1916, serving until retirement in 1934. Judge Campbell served as an alderman for several terms and was the mayor of St. Catharines in 1908 and 1909. He also served as the first chairman of the St. Catharines Public Utilities in 1914. John S. Campbell was married to Elizabeth Oille, daughter of Jerome B. and Charlotte (St. John) Oille. The family home "Cruachan" was located at 32 Church St.

Hydro Electric Commission of Niagara Falls Ontario Scrapbook, 1936-1939, 1943-1951

Sir Adam Beck ( a London, Ontario manufacturer, Mayor and Conservative member of the provincial legislature) was a champion of municipal and provincial power ownership. Beck become the “Power Minister” and chairman of the Hydro-Electric Power Commission of Ontario which was the world’s first publicly owned utility. In 1925 the first unit of the Hydro Electric Power Commission’s Queenston Chippawa hydro-electric development on the Niagara River went into service. The station was renamed in 1950 as “Sir Adam Beck #1”. This marked the 25th anniversary of Beck’s death. This is one of 2 generating stations in Niagara Falls. There is also Adam Beck Plant #2. The Niagara generating stations supply one quarter of all power used in New York State and Ontario.Ontario Hydro has two water tunnels which traverse the entire City of Niagara Falls from the Village of Chippawa in the South to the Sir Adam Beck Hydro Electric Generating Stations in the North. Also they are in the process of building the third tunnel. In addition, Ontario Hydro has a 13.6 km open canal which traverses the entire City of Niagara Falls. Source: http://www.hydroone.com/OurCompany/Pages/OurHistory.aspx

Power characteristics of dielectric optical piet hein waveguides

A fairly rigorous analytical treatment of the power characteristics of dielectric optical waveguides with Piet Hein core-cross sectional geometry is presented in this paper. This kind of wareguide structure would be advantageous owing to the absence of corners, which are found in rectangular guides, resulting in undesirable loss (hit to the scattering of light. In order to simplify this theoretical approach. em approximation of vanishing refractive index difference between the guiding and the non-guiding sections is implemented. The variation eJ logarithmic power is shown for different dimensions of the core, corresponding to different azimuthal modal indices. It is found that the nutlet with higher index values carry less logaritlunic power in the lower tail of the propagation 's constant range, and this feature affects the higher tail. A better kind of uniformity of the power distribution is observed near the higher tail of the range of propagation Constants

Development Planning at the State Level in India - A Case Study with Reference to Kerala, 1957-'84

This thesis entitled “Development planning at the state level in india a case study with reference to kerala1957-84.Planning in India is a concurrent subject with the Centre and the States having well-defined domains of jurisdiction with regard to planning functions and sources of resource mobilisation.The genesis of the lack of academic interest in state level planning is in the widely held belief that in the extent scheme of Centre-State economic relations, the states have little scope for initiative in planning.Both at the theoretical and empirical levels, Kerala has attached very great importance to planning.It has been the localeof wide and deep discussions on the various dimensions of planning.In Kerala's development process, the leading sector consists of social services such as education and public healthOne point that needs special emphasis in this regard is that the high demand for education in Kerala cannot be attributed to the Keralites' ‘unique urge‘ for education. Rather, it is related to the very high level of unemployment in the state (Kerala has the highest level of unemployment in the country.In resource allocation under the Five Year Plans, Kerala attached the highest weightage to power generation, hydro-electric projects being the major source of power in the state. Nearly one-fourth of the plan resources has been claimed by hydro-electric projects.In the agricultural sector, Kera1a's level of productive use of electric power is one of the lowest.As is evident.from above, planning in Kerala has not enabled us to solve the basic problems of the state. More 'scientific' planning in the sense of applying mre sophisticated planning techniques is obviously not the answer. It, on the contrary, consists of more fundamental changes some of which can be brought about through an effective use of measures well within the power of the State Government.

Reinforcement Learning solution for Unit Commitment Problem through pursuit method

Unit commitment is an optimization task in electric power generation control sector. It involves scheduling the ON/OFF status of the generating units to meet the load demand with minimum generation cost satisfying the different constraints existing in the system. Numerical solutions developed are limited for small systems and heuristic methodologies find difficulty in handling stochastic cost functions associated with practical systems. This paper models Unit Commitment as a multi stage decision task and Reinforcement Learning solution is formulated through one efficient exploration strategy: Pursuit method. The correctness and efficiency of the developed solutions are verified for standard test systems

Szenarien zur zukünftigen Stromversorgung, kostenoptimierte Variationen zur Versorgung Europas und seiner Nachbarn mit Strom aus erneuerbaren Energien

Sowohl die Ressourcenproblematik als auch die drohenden Ausmaße der Klimaänderung lassen einen Umstieg auf andere Energiequellen langfristig unausweichlich erscheinen und mittelfristig als dringend geboten. Unabhängig von der Frage, auf welchem Niveau sich der Energiebedarf stabilisieren lässt, bleibt dabei zu klären, welche Möglichkeiten sich aus technischer und wirtschaftlicher Sicht in Zukunft zur Deckung unseres Energiebedarfs anbieten. Eine aussichtsreiche Option besteht in der Nutzung regenerativer Energien in ihrer ganzen Vielfalt. Die Arbeit "Szenarien zur zukünftigen Stromversorgung, kostenoptimierte Variationen zur Versorgung Europas und seiner Nachbarn mit Strom aus erneuerbaren Energien" konzentriert sich mit der Stromversorgung auf einen Teilaspekt der Energieversorgung, der zunehmend an Wichtigkeit gewinnt und als ein Schlüssel zur nachhaltigen Energieversorgung interpretiert werden kann. Die Stromversorgung ist heute weltweit für etwa die Hälfte des anthropogenen CO2-Ausstoßes verantwortlich. In dieser Arbeit wurden anhand verschiedener Szenarien Möglichkeiten einer weitgehend CO2–neutralen Stromversorgung für Europa und seine nähere Umgebung untersucht, wobei das Szenariogebiet etwa 1,1 Mrd. Einwohner und einen Stromverbrauch von knapp 4000 TWh/a umfasst. Dabei wurde untersucht, wie die Stromversorgung aufgebaut sein sollte, damit sie möglichst kostengünstig verwirklicht werden kann. Diese Frage wurde beispielsweise für Szenarien untersucht, in denen ausschließlich heute marktverfügbare Techniken berücksichtigt wurden. Auch der Einfluss der Nutzung einiger neuer Technologien, die bisher noch in Entwicklung sind, auf die optimale Gestaltung der Stromversorgung, wurde anhand einiger Beispiele untersucht. Die Konzeption der zukünftigen Stromversorgung sollte dabei nach Möglichkeit objektiven Kriterien gehorchen, die auch die Vergleichbarkeit verschiedener Versorgungsansätze gewährleisten. Dafür wurde ein Optimierungsansatz gewählt, mit dessen Hilfe sowohl bei der Konfiguration als auch beim rechnerischen Betrieb des Stromversorgungssystems weitgehend auf subjektive Entscheidungsprozesse verzichtet werden kann. Die Optimierung hatte zum Ziel, für die definierte möglichst realitätsnahe Versorgungsaufgabe den idealen Kraftwerks- und Leitungspark zu bestimmen, der eine kostenoptimale Stromversorgung gewährleistet. Als Erzeugungsoptionen werden dabei u.a. die Nutzung Regenerativer Energien durch Wasserkraftwerke, Windenergiekonverter, Fallwindkraftwerke, Biomassekraftwerke sowie solare und geothermische Kraftwerke berücksichtigt. Abhängig von den gewählten Randbedingungen ergaben sich dabei unterschiedliche Szenarien. Das Ziel der Arbeit war, mit Hilfe unterschiedlicher Szenarien eine breite Basis als Entscheidungsgrundlage für zukünftige politische Weichenstellungen zu schaffen. Die Szenarien zeigen Optionen für eine zukünftige Gestaltung der Stromversorgung auf, machen Auswirkungen verschiedener – auch politischer – Rahmenbedingungen deutlich und stellen so die geforderte Entscheidungsgrundlage bereit. Als Grundlage für die Erstellung der Szenarien mussten die verschiedenen Potentiale erneuerbarer Energien in hoher zeitlicher und räumlicher Auflösung ermittelt werden, mit denen es erstmals möglich war, die Fragen einer großräumigen regenerativen Stromversorgung ohne ungesicherte Annahmen anhand einer verlässlichen Datengrundlage anzugehen. Auch die Charakteristika der verschiedensten Energiewandlungs- und Transportsysteme mussten studiert werden und sind wie deren Kosten und die verschiedenen Potentiale in der vorliegenden Arbeit ausführlich diskutiert. Als Ausgangsszenario und Bezugspunkt dient ein konservatives Grundszenario. Hierbei handelt es sich um ein Szenario für eine Stromversorgung unter ausschließlicher Nutzung erneuerbarer Energien, die wiederum ausschließlich auf heute bereits entwickelte Technologien zurückgreift und dabei für alle Komponenten die heutigen Kosten zugrundelegt. Dieses Grundszenario ist dementsprechend auch als eine Art konservative Worst-Case-Abschätzung für unsere Zukunftsoptionen bei der regenerativen Stromversorgung zu verstehen. Als Ergebnis der Optimierung basiert die Stromversorgung beim Grundszenario zum größten Teil auf der Stromproduktion aus Windkraft. Biomasse und schon heute bestehende Wasserkraft übernehmen den überwiegenden Teil der Backup-Aufgaben innerhalb des – mit leistungsstarker HGÜ (Hochspannungs–Gleichstrom–Übertragung) verknüpften – Stromversorgungsgebiets. Die Stromgestehungskosten liegen mit 4,65 €ct / kWh sehr nahe am heute Üblichen. Sie liegen niedriger als die heutigen Preisen an der Strombörse. In allen Szenarien – außer relativ teuren, restriktiv ”dezentralen” unter Ausschluss großräumig länderübergreifenden Stromtransports – spielt der Stromtransport eine wichtige Rolle. Er wird genutzt, um Ausgleichseffekte bei der dargebotsabhängigen Stromproduktion aus erneuerbaren Quellen zu realisieren, gute kostengünstige Potentiale nutzbar zu machen und um die Speicherwasserkraft sowie die dezentral genutzte Biomasse mit ihrer Speicherfähigkeit für großräumige Backup-Aufgaben zu erschließen. Damit erweist sich der Stromtransport als einer der Schlüssel zu einer kostengünstigen Stromversorgung. Dies wiederum kann als Handlungsempfehlung bei politischen Weichenstellungen interpretiert werden, die demnach gezielt auf internationale Kooperation im Bereich der Nutzung erneuerbarer Energien setzen und insbesondere den großräumigen Stromtransport mit einbeziehen sollten. Die Szenarien stellen detaillierte und verlässliche Grundlagen für wichtige politische und technologische Zukunftsentscheidungen zur Verfügung. Sie zeigen, dass bei internationaler Kooperation selbst bei konservativen Annahmen eine rein regenerative Stromversorgung möglich ist, die wirtschaftlich ohne Probleme zu realisieren wäre und verweisen den Handlungsbedarf in den Bereich der Politik. Eine wesentliche Aufgabe der Politik läge darin, die internationale Kooperation zu organisieren und Instrumente für eine Umgestaltung der Stromversorgung zu entwickeln. Dabei kann davon ausgegangen werden, dass nicht nur ein sinnvoller Weg zu einer CO2–neutralen Stromversorgung beschritten würde, sondern sich darüber hinaus ausgezeichnete Entwicklungsperspektiven für die ärmeren Nachbarstaaten der EU und Europas eröffnen.

Evaluation of Auditory Displays Supporting Aircraft Approach and Landing

Abstract: The paper describes an auditory interface using directional sound as a possible support for pilots during approach in an instrument landing scenario. Several ways of producing directional sounds are illustrated. One using speaker pairs and controlling power distribution between speakers is evaluated experimentally. Results show, that power alone is insufficient for positioning single isolated sound events, although discrimination in the horizontal plane performs better than in the vertical. Additional sound parameters to compensate for this are proposed.

Systems of Parallel Communicating Restarting Automata

In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components). Ein PCRA-System besteht aus endlich vielen Restart-Automaten, welche einerseits parallel und unabhängig voneinander lokale Berechnungen durchführen und andererseits miteinander kommunizieren dürfen. Die Kommunikation erfolgt dabei durch ein festgelegtes Kommunikationsprotokoll, das mithilfe von speziellen Kommunikationszuständen realisiert wird. Ein wesentliches Merkmal hinsichtlich der Kommunikationsstruktur in Systemen von miteinander kooperierenden Komponenten ist, ob die Kommunikation zentralisiert oder nichtzentralisiert erfolgt. Während in einer nichtzentralisierten Kommunikationsstruktur jede Komponente mit jeder anderen Komponente kommunizieren darf, findet jegliche Kommunikation innerhalb einer zentralisierten Kommunikationsstruktur ausschließlich mit einer ausgewählten Master-Komponente statt. Eines der wichtigsten Resultate dieser Arbeit zeigt, dass zentralisierte Systeme und nichtzentralisierte Systeme die gleiche Berechnungsstärke besitzen (das ist im Allgemeinen bei PC-Systemen nicht so). Darüber hinaus bewirkt auch die Verwendung von Multicast- oder Broadcast-Kommunikationsansätzen neben Punkt-zu-Punkt-Kommunikationen keine Erhöhung der Berechnungsstärke. Desweiteren wird die Ausdrucksstärke von PCRA-Systemen untersucht und mit der von PC-Systemen von endlichen Automaten und mit der von Mehrkopfautomaten verglichen. PC-Systeme von endlichen Automaten besitzen bekanntermaßen die gleiche Ausdrucksstärke wie Einwegmehrkopfautomaten und bilden eine untere Schranke für die Ausdrucksstärke von PCRA-Systemen mit Einwegkomponenten. Tatsächlich sind PCRA-Systeme auch dann stärker als PC-Systeme von endlichen Automaten, wenn die Komponenten für sich genommen die gleiche Ausdrucksstärke besitzen, also die regulären Sprachen charakterisieren. Für PCRA-Systeme mit Zweiwegekomponenten werden als untere Schranke die Sprachklassen der Zweiwegemehrkopfautomaten im deterministischen und im nichtdeterministischen Fall gezeigt, welche wiederum den bekannten Komplexitätsklassen L (deterministisch logarithmischer Platz) und NL (nichtdeterministisch logarithmischer Platz) entsprechen. Als obere Schranke wird die Klasse der kontextsensitiven Sprachen gezeigt. Außerdem werden Erweiterungen von Restart-Automaten betrachtet (nonforgetting-Eigenschaft, shrinking-Eigenschaft), welche bei einzelnen Komponenten eine Erhöhung der Berechnungsstärke bewirken, in Systemen jedoch deren Stärke nicht erhöhen. Die von PCRA-Systemen charakterisierten Sprachklassen sind unter diversen Sprachoperationen abgeschlossen und einige Sprachklassen sind sogar abstrakte Sprachfamilien (sogenannte AFL's). Abschließend werden für PCRA-Systeme spezifische Probleme auf ihre Entscheidbarkeit hin untersucht. Es wird gezeigt, dass Leerheit, Universalität, Inklusion, Gleichheit und Endlichkeit bereits für Systeme mit zwei Restart-Automaten des schwächsten Typs nicht semientscheidbar sind. Für das Wortproblem wird gezeigt, dass es im deterministischen Fall in quadratischer Zeit und im nichtdeterministischen Fall in exponentieller Zeit entscheidbar ist.