Automaton Model Updating Based on the L* Algorithm
Abstract
References
Index Terms
- Automaton Model Updating Based on the L* Algorithm
Recommendations
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
Computer Aided VerificationAbstractWe present an algorithm to learn a deterministic timed automaton (DTA) via membership and equivalence queries. Our algorithm is an extension of the L* algorithm with a Myhill-Nerode style characterization of recognizable timed languages, which is ...
Damage detection in nonlinear vibrating structures using model updating
AbstractThis paper presents two distinct model updating strategies for dynamical systems with local nonlinearities based on acceleration time history responses measured spatially across the vibrating structure. Both linear and nonlinear parameters are ...
The updating strategy for the safe control Bayesian network model under the abnormity in the thickening process of gold hydrometallurgy
AbstractTo adapt to the change in the environment, the model needs to own the ability to update to ensure the performance of the decision. In this paper, a new updating strategy is proposed for the safe control Bayesian network (BN) model under the ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 16Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)3
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format