Amanote Research

Amanote Research

    RegisterSign In

Towards Component Based Design of Hybrid Systems: Safety and Stability

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-13754-9_6
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2010

Authors
Werner DammHenning DierksJens OehlerkingAmir Pnueli
Publisher

Springer Berlin Heidelberg


Related search

Towards Normal Design for Safety-Critical Systems

English

Stability of Switched and Hybrid Systems

English

Component Based Deployment of Industrial Control Systems: A Hybrid Scheduling Approach

2006English

Model-Based Design for Hybrid Electric Vehicle Systems

2008English

Towards a Geometric Theory of Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Robust Stability Analysis of Nonlinear Hybrid Systems

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2009English

A Combined Component-Based Approach for the Design of Distributed Software Systems

English

Component-Based Software Safety Assessment Method

DEStech Transactions on Materials Science and Engineering
2017English

Stability of Hybrid Stochastic Systems With Time-Delay

ISRN Mathematical Analysis
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy