About: AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Creator	Khaled, Mahmoud Lavaei, Abolfazl Soudjani, Sadegh Zamani, Majid
Source	PMC
abstract	In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the constructed finite MDPs satisfying bounded-time high-level properties including safety, reachability and reach-avoid specifications. In AMYTISS, scalable parallel algorithms are designed such that they support the parallel execution within CPUs, GPUs and hardware accelerators (HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize high-performance computing (HPC) platforms and cloud-computing services to mitigate the effects of the state-explosion problem, which is always present in analyzing large-scale stochastic systems. We benchmark AMYTISS against the most recent tools in the literature using several physical case studies including robot examples, room temperature and road traffic networks. We also apply our algorithms to a 3-dimensional autonomous vehicle and 7-dimensional nonlinear model of a BMW 320i car by synthesizing an autonomous parking controller.
has issue date	2020-06-16(xsd:dateTime)
bibo:doi	10.1007/978-3-030-53291-8_24
has license	cc-by
sha1sum (hex)	c8a05bc56a89350e68d0a6a559975799566a80ca
schema:url	https://doi.org/10.1007/978-3-030-53291-8_24
resource representing a document's title	AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
has PubMed Central identifier	PMC7363210
schema:publication	Computer Aided Verification
resource representing a document's body	covid:c8a05bc56a89350e68d0a6a559975799566a80ca#body_text
is schema:about of	named entity 'tools' named entity 'safety' named entity 'scalable' named entity 'NONLINEAR MODEL' named entity 'CONSTRUCTED' named entity 'ALGORITHMS' named entity 'CONTROLLERS' named entity 'LEVEL' named entity 'OpenCL' named entity 'employed' named entity 'benchmark' named entity 'nonlinear model' named entity 'parallel execution' named entity 'stochastic systems' named entity 'high-performance computing' named entity 'parallel algorithms' named entity 'CPUs' named entity 'tools' named entity 'Linux' named entity 'parallel algorithm' named entity 'computation time' named entity 'nonlinear' named entity 'stochastic systems' named entity 'FAUST' named entity 'stochastic systems' named entity 'parallel algorithms' named entity 'serial algorithm' named entity 'parallel computing' named entity 'stochastic systems' named entity 'reachability analysis' named entity 'evolution' named entity 'curse of dimensionality' named entity '4.2' named entity 'MDP' named entity 'evolution' named entity 'MDP' named entity 'difference equations' named entity 'Algorithm' named entity 'transition probability matrix' named entity 'probability measure' named entity 'stochastic' named entity 'measurable space' named entity 'robot' named entity 'memory requirements' named entity 'parallel algorithms' named entity 'probability' named entity 'parallel algorithm' named entity 'arXiv' named entity 'grows exponentially' named entity 'modeling framework' named entity 'README' named entity 'computation time' named entity 'transition probabilities' named entity 'time complexity' named entity 'input set' named entity 'stochastic systems' named entity 'Toolset' named entity 'computing' named entity 'arXiv' named entity 'FAUST' named entity 'discrete-time' named entity 'parallel threads' named entity 'complex systems' named entity 'computing' named entity 'reachability analysis' named entity 'sparsity' named entity 'stochastic' named entity 'MDP' named entity 'FAUST' named entity 'CPU' named entity 'nonlinear systems' named entity 'parallelization' named entity 'robot' named entity 'LTL' named entity 'real-time' named entity 'stochastic' named entity 'processing elements' named entity 'Algorithm' named entity 'formal verification' named entity 'computational complexities'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software