From Control-Command Synchronous Programs to Hybrid Automata

IFAC Proceedings Volumes
doi 10.3182/20120606-3-nl-3011.00107
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

LearnLib Tutorial: From Finite Automata to Register Interface Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Biped Robot Modeling and Control Using Controlled Hybrid Automata

International Journal of Systems Science and Applied Mathematics
2017English

Programs With Lists Are Counter Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2011English

Balloon Command-Control

1977English

Simulations Between Programs as Cellular Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination

IFAC Proceedings Volumes
2004English

Command and Control System

Computer Communications
Computer NetworksCommunications
1982English

Discretizing Affine Hybrid Automata With Uncertainty

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

From Command-Line Bioinformatics to bioGUI

PeerJ
GeneticsMolecular BiologyBiochemistryBiological SciencesMedicineAgriculturalNeuroscience
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy