• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 15
  • 7
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 31
  • 31
  • 7
  • 7
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Software engineering for control

Boriani, Dario V. January 1989 (has links)
No description available.
2

Parallel processing for real-time control

Entwistle, Paul Martin January 1990 (has links)
No description available.
3

Interfacing control and software engineering a formal approach /

Brink, Klaas. January 1997 (has links)
Thesis (doctoral)--Technische Universiteit Delft, 1997. / Includes bibliographical references (p. 179-184)) and index.
4

Interfacing control and software engineering a formal approach /

Brink, Klaas. January 1997 (has links)
Thesis (doctoral)--Technische Universiteit Delft, 1997. / Includes bibliographical references (p. 179-184)) and index.
5

Web-based inventory management system for the West Virginia State Police

Horwatt, Robert M. January 2007 (has links)
Thesis (M.S.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains ix, 142 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 25).
6

Formal verification of control software

Jobredeaux, Romain J. 21 September 2015 (has links)
In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.
7

Structured petri nets for the design and implementation of manufacturing control software with fault monitoring capabilities

Stanton, Martin January 1998 (has links)
The thesis describes a method for the design and implementation of manufacturing control software using structured Petri nets. An earlier design method is presented from which a more formal approach is developed, and a definition for structured Petri nets is given. This definition is then compared to other classes of Petri net found in the literature. A comparison is also made between the proposed design method and other methods described in the literature. The structured Petri nets are then used to create a control structure, which is shown to have properties that allow the detection and diagnosis of faults originating both in the hardware and the software of the system. A detailed discussion is also presented concerning the implementation of structured Petri nets on various types of manufacturing controller and on general-purpose computers. In particular, results are presented from experiments with various implementation methods on programmable logic controllers. Conclusions are then drawn on the various aspects of the work and details of further research possibilities are described.
8

Design of Multi-Platform Control Software for Telemetry Systems

Mahini, Farid 10 1900 (has links)
International Telemetering Conference Proceedings / October 28-31, 1996 / Town and Country Hotel and Convention Center, San Diego, California / This paper discusses the requirements and design of a multi-platform system software for control, status, calibration and testing of a telemetry system.
9

Integration of Mission Control System, On-board Computer Core and spacecraft Simulator for a Satellite Test Bench

Chintalapati, Lakshmi Venkata Bharadwaj 04 November 2016 (has links) (PDF)
The satellite avionics platform has been developed in cooperation with Airbus and is called „Future Low-cost Platform“ (FLP). It is based on an Onboard Computer (OBC) with redundant processor boards based on SPARC V8 microchips of type Cobham Aeroflex UT699. At the University of Stuttgart a test bench with a real hardware OBC and a fully simulated satellite is available for testing real flight scenarios with the Onboard Software (OBSW) running on representative hardware. The test bench as later the real flying satellite "Flying Laptop" – is commanded from a real Ground Control Centre (GCC). The main challenges in the FLP project were - Onboard computer design, - Software design and - Interfaces between platform and payloads In the course of industrialization of this FLP platform technology for later use in satellite constellations, Airbus has started to set up an in-house test bench where all the technologies shall be developed. The initial plan is to get first core elements of the FLP OBSW ported to the new dual-core processor and the new Space Wire(SpW) routing network. The plan also has an inclusion of new Mission Control Software with which one can command the OBC. The new OBC has a dual core processor Cobham Gaisler GR712 and hence, all the payload and related functionality are to be implemented only in a second core which involves a lot of low-level task distribution. The consequent SpW router network application and dual-core platform/payload OBSW sharing are entirely new in the field of satellite engineering.
10

Výpočty plánů pro statistické přejímky měřením / Calculation of Acceptance Sampling Plans for Inspection by Variables

Kaspříková, Nikola January 2006 (has links)
Analysis of several acceptance sampling procedures is performed and improvement of the procedures is sug- gested in this thesis. The issue of an efficient calculation of exact (P1, P2) single sampling plans for sampling by variables and exact LTPD and AOQL single sampling plans for sampling by variables when the rejected lots are inspected is addressed. The calculation of the plans is done using exact formula for operating characteristic of acceptance sampling plan and the new plans have better characteristics compared to the plans computed in a usual way using just approximately valid formula for operating characteristic. The tables of plans calculated according to procedures suggested in this thesis are provided for a couple of input parameters combinations. Tools designed for working with acceptance sampling plans, tools for analysis and calculation of acceptance sampling plans is one of the outputs of this thesis. R language and environment for statistical computations was chosen for implementation. The tools are satisfactorily efficient and may be easily used even for acceptance sampling plans tables computation. Newly defined functions in R are supplied including their source code and basic documentation so that acceptance sampling plans can be computed as demanded in case that the particular input parameters set is out of the scope covered in the tables of plans provided here.

Page generated in 0.0661 seconds