Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA

Open Journal of Applied Sciences
doi 10.4236/ojapps.2013.32b010
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Scientific Research Publishing, Inc.

Related search

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

1999English

Specification and Analysis of Real-Time Systems in Statecharts

English

Optimization and Applications of Discrete Event and Hybrid Dynamic Systems

1998English

A Specification Language to Assist in Analysis of Discrete Event Simulation Models

Communications of the ACM
Computer Science
1985English

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Design of Discrete Controllers for Continuous Systems Using Hybrid Chi

IFAC Proceedings Volumes
1997English

Data Analysis WorkbeNch(DAWN)

Journal of Synchrotron Radiation
High Energy PhysicsInstrumentationRadiationNuclear
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy