Global ETD Search

111	Evaluating the expressiveness of specification languages : for stochastic safety-critical systems Jamil, Fahad Rami January 2024 (has links) This thesis investigates the expressiveness of specification languages for stochastic safety-critical systems, addressing the need for expressiveness in describing system behaviour formally. Through a case study and specification language enhancements, the research explores the impact of different frameworks on a set of specifications. The results highlight the importance of continuous development in the specification languages to meet the complex behaviours of systems with probabilistic properties. The findings emphasise the need for extending the chosen specification languages more formally, to ensure that the languages can capture the complexity of the systems they describe. The research contributes valuable insights into improving the expressiveness of specification languages for ensuring system safety and operational reliability. Specification Languages Expressiveness Stochastic Systems Safety-Critical Systems Formal Methods Continuous Stochastic Logic (CSL) Probabilistic Timed Automata (PTA) Stochastic Timed Automata (STA) Probabilistic Contract Formula (PCF) Formal Verification Autonomous Vehicles System Safety Embedded Systems Model Checking ISO 26262 ISO 21448 Automotive Industry Scania Group Case Study System Specifications Specification Frameworks System Reliability Industrial Context Probabilistic Properties Specification Enhancements Computer and Information Sciences Data- och informationsvetenskap
112	Bayes Filters with Improved Measurements for Visual Object Tracking / Bayes Filter mit verbesserter Messung für das Tracken visueller Objekte Liu, Guoliang 20 March 2012 (has links) No description available. 004 Informatik Mathematics and Computer Science Maschinelles Sehen Bayes Filter Objekt Tracking Information Filter Straßen Tracking Sensorfusion farbinvariante Histogramme Quadratwurzel Filter Computer Vision Bayes Filters Object Tracking Information Filter Lane Tracking Sensor Fusion Color Invariant Histogram Square-Root Filter 54.74 50.22 50.23 50.25 AHI 000: Computing Methodologies guided systems} control}

Search results

Evaluating the expressiveness of specification languages : for stochastic safety-critical systems

Bayes Filters with Improved Measurements for Visual Object Tracking / Bayes Filter mit verbesserter Messung für das Tracken visueller Objekte