Log in

Relevant bibliographies by topics / Open hybrid automata

Contents

Journal articles
Dissertations / Theses
Book chapters
Conference papers

Academic literature on the topic 'Open hybrid automata'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Open hybrid automata.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Open hybrid automata"

1

Diem, P. G., P. H. Anh, Phu Khanh Nguyen, N. P. Hung, and N. V. Hien. "A Hybrid Control Model to Develop the Trajectory-Tracking Controller for a Quadrotor UAV." Advanced Materials Research 1016 (August 2014): 678–85. http://dx.doi.org/10.4028/www.scientific.net/amr.1016.678.

Full text

Abstract:

A new hybrid model of control implementation is developed to realize trajectory-tracking controllers for quadrotor Unmanned Aerial Vehicles (UAV). This model is based on the Computational Fluid Dynamics (CFD) model and hybrid automata in order to accurately implement control parts of these vehicles, and can be applied to most standard quadrotor UAV platforms. The paper brings out step-by-step the controller development lifecycle for a quadrotor UAV, including the configuration and aerodynamic calculation model for the gathering preliminary inputs of the control application, the control analysi

APA, Harvard, Vancouver, ISO, and other styles

2

Constantinos, Heracleous, Kolios Panayiotis, G. Panayiotou Christos, Ellinas Georgios, and M. Polycarpou Marios. "Hybrid systems modeling for critical infrastructures interdependency analysis." Reliability Engineering & System Safety 165 (September 1, 2017): 89–101. https://doi.org/10.1016/j.ress.2017.03.028.

Full text

Abstract:

 Critical infrastructure systems (CISs) are large scale and complex systems, across which many interdependencies exist. As a result, several modeling and simulation approaches are being employed to study the concurrent operation of multiple CISs and their interdependencies. Complementary to existing literature, this work develops and implements a modeling and simulation framework based on open hybrid automata to analyze CISs interdependencies. With the proposed approach, it is possible to develop accurate models of infrastructure components, and interlink them together based on their depe

APA, Harvard, Vancouver, ISO, and other styles

3

Hien, Ngo Van, Ngo Van He, Van-Thuan Truong, and Ngoc-Tam Bui. "A MBSE Application to Controllers of Autonomous Underwater Vehicles Based on Model-Driven Architecture Concepts." Applied Sciences 10, no. 22 (2020): 8293. http://dx.doi.org/10.3390/app10228293.

Full text

Abstract:

In this paper, a hybrid realization model is proposed for the controllers of autonomous underwater vehicles (AUVs). This model is based on the model-based systems engineering (MBSE) methodology, in combination with the model-driven architecture (MDA), the real-time unified modeling language (UML)/systems modeling language (SysML), the extended/unscented Kalman filter (EKF/UKF) algorithms, and hybrid automata, and it can be reused for designing controllers of various AUV types. The dynamic model and control structure of AUVs were combined with the specialization of MDA concepts as follows. The

APA, Harvard, Vancouver, ISO, and other styles

4

Zhao, Jian, Dan Tong Ouyang, Xiao Yu Wang, and Li Ming Zhang. "The Modeling Procedures for Model-Based Diagnosis of Slowly Changing Fault in Hybrid System." Advanced Materials Research 186 (January 2011): 403–7. http://dx.doi.org/10.4028/www.scientific.net/amr.186.403.

Full text

Abstract:

Many traditional model-based diagnosis is based on the assumption of abrupt faults. This assumption can lead to a wrong result when the faults are slowly changing. The diagnosis of slowly changing faults can be considered to be an open area in controlling complex system of large scale. The slowly changing faults are difficult to detect, extremely when interlacing with abrupt faults. The modeling of diagnosis in slowly changing faults is different with abrupt faults. A modeling method of slowly changing faults on hybrid system is proposed, based on Hybrid Input Output Automata and mixture bond

APA, Harvard, Vancouver, ISO, and other styles

5

Treml, Lilly Maria, Ezio Bartocci, and Alessio Gizzi. "Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation." Mathematics 9, no. 2 (2021): 164. http://dx.doi.org/10.3390/math9020164.

Full text

Abstract:

The heart consists of a complex network of billions of cells. Under physiological conditions, cardiac cells propagate electrical signals in space, generating the heartbeat in a synchronous and coordinated manner. When such a synchronization fails, life-threatening events can arise. The inherent complexity of the underlying nonlinear dynamics and the large number of biological components involved make the modeling and the analysis of electrophysiological properties in cardiac tissue still an open challenge. We consider here a Hybrid Cellular Automata (HCA) approach modeling the cardiac cell-cel

APA, Harvard, Vancouver, ISO, and other styles

6

Das, Sukanta, and Genaro J. Martínez. "Special Issue: Selected Papers from the Second Asian Symposium on Cellular Automata Technology, 2023 (ASCAT 2023)." Complex Systems 34, no. 1 (2025): i. https://doi.org/10.25088/complexsystems.34.1.i.

Full text

Abstract:

This special issue contains five papers on cellular automata and their applications, preliminary versions of which were presented at the Second Asian Symposium on Cellular Automata Technology, 2023 (ASCAT 2023). The symposium was officially organized by the departments of Information Technology and Computer Science and Technology of Indian Institute of Engineering Science and Technology, Shibpur (IIEST, Shibpur), India, March 2– 4, 2023, in hybrid mode. The ASCAT is marked as an annual event of Cellular Automata India, an open research group that was created to understand, apply and explore se

APA, Harvard, Vancouver, ISO, and other styles

7

Niggemann, Oliver, Benno Stein, Asmir Vodencarevic, Alexander Maier, and Hans Kleine Büning. "Learning Behavior Models for Hybrid Timed Systems." Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (2021): 1083–90. http://dx.doi.org/10.1609/aaai.v26i1.8296.

Full text

Abstract:

A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algorithmic learning of a system’s behavior model given a sample of observations. In particular, we consider real-world production plants where the learned model must capture timing behavior, dependencies between system variables, as well as mode switches—in short: hybrid system’s characteristics. Usually, such model formation tasks are solved by human engineers, entailing the well-known bunch of problems including knowled

APA, Harvard, Vancouver, ISO, and other styles

8

Van Hien, Ngo, Van-Thuan Truong, and Ngoc-Tam Bui. "An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles." International Journal of Aerospace Engineering 2020 (August 5, 2020): 1–17. http://dx.doi.org/10.1155/2020/8862864.

Full text

Abstract:

The aerospace industry needs to be provided with system solutions to technologically challenging and mission-critical problems. Based on the industrial control point of view, development engineers must take costs and existing standards into account in order to effectively design, implement, and deploy control systems with reasonable costs. The customization and reusability are important factors associated with the production of new applications in order to reduce their costs, resources, and development time. In this work, the Model-Driven Architecture (MDA)/Model-Based Systems Engineering (MBS

APA, Harvard, Vancouver, ISO, and other styles

9

Золотарев, А. И., Д. Н. Пуртов та И. Г. Сидоркина. "Разработка модели гибридной системы обнаружения вторжений". Vestnik of Volga State University of Technology. Series Radio Engineering and Infocommunication Systems, № 4(52) (25 березня 2022): 33–41. https://doi.org/10.25686/2306-2819.2021.4.33.

Full text

Abstract:

В статье представлено развитие сигнатурного подхода обнаружения вторжений на основе кластеризации и дерева решений. Также предложен оригинальный способ разработки аномального подхода к обнаружению вторжений, разработана модель функционирования гибридной системы обнаружения вторжений, отличающаяся от известных большей точностью обнаружения, меньшим процентом ложных тревог, приоритезацией сетевых пакетов для анализа, а также решающей основные недостатки аномального и сигнатурного подхода. Introduction: Alongside the development of the Internet, network security has become a crucial requirement.

APA, Harvard, Vancouver, ISO, and other styles

10

Madhavi, D., Khwaja Muinuddin Chisti Mohammed, N. Jyothi, and M. Ramesh Patnaik. "A hybrid content based image retrieval system using log-gabor filter banks." International Journal of Electrical and Computer Engineering (IJECE) 9, no. 1 (2019): 237–44. https://doi.org/10.11591/ijece.v9i1.pp237-244.

Full text

Abstract:

Software testing by using open source tool like Selenium windows applications cannot be automated, citrix based applications, flash websites and games. Computer vision based automation tools can be used to automate these kinds of applications. These automation tools works based on screenshots of GUI objects like button, radio button, text box, images, dropdowns etc. In this paper a prototype of automation tool has been developed which can execute the automation scripts much faster than existing tools like Sikuli, which takes much time to run the Automation scripts. The execution time can be re

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Open hybrid automata"

1

Zinn, Pascal Olivier. "Factor analysis of behavioral performance of B6/129 F2 hybrid mice in open field, radial maze, water maze and automated test system intellicageTM /." [S.l.] : [s.n.], 2009. http://opac.nebis.ch/cgi-bin/showAbstract.pl?sys=000297942.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

(9187466), Bharath Kumar Comandur Jagannathan Raghunathan. "Semantic Labeling of Large Geographic Areas Using Multi-Date and Multi-View Satellite Images and Noisy OpenStreetMap Labels." Thesis, 2020.

Find full text

Abstract:

<div>This dissertation addresses the problem of how to design a convolutional neural network (CNN) for giving semantic labels to the points on the ground given the satellite image coverage over the area and, for the ground truth, given the noisy labels in OpenStreetMap (OSM). This problem is made challenging by the fact that -- (1) Most of the images are likely to have been recorded from off-nadir viewpoints for the area of interest on the ground; (2) The user-supplied labels in OSM are frequently inaccurate and, not uncommonly, entirely missing; and (3) The size of the area covered on the gro

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Open hybrid automata"

1

Ouaknine, Joël, and James Worrell. "Universality and Language Inclusion for Open and Closed Timed Automata." In Hybrid Systems: Computation and Control. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36580-x_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rippel, Oliver, and Dorit Merhof. "Anomaly Detection for Automated Visual Inspection: A Review." In Bildverarbeitung in der Automation. Springer Berlin Heidelberg, 2023. http://dx.doi.org/10.1007/978-3-662-66769-9_1.

Full text

Abstract:

AbstractAnomaly detection (AD) methods that are based on deep learning (DL) have considerably improved the state of the art in AD performance on natural images recently. Combined with the public release of large-scale datasets that target AD for automated visual inspection (AVI), this has triggered the development of numerous, novel AD methods specific to AVI. However, with the rapid emergence of novel methods, the need to systematically categorize them arises. In this review, we perform such a categorization, and identify the underlying assumptions as well as working principles of DL-based AD

APA, Harvard, Vancouver, ISO, and other styles

3

Rybak, Nikodem, and Maureen Hassall. "Machine Learning-Enhanced Text Mining as a Support Tool for Research on Climate Change." In 5G, Artificial Intelligence, and Next Generation Internet of Things. IGI Global, 2023. http://dx.doi.org/10.4018/978-1-6684-8634-4.ch004.

Full text

Abstract:

In this chapter, the authors explore the theoretical and practical aspects of using text mining approaches supported by machine learning for the automatic interpretation of bulk literature on a contemporary issue—that of climate change risk analysis. The strengths, weaknesses, and opportunities associated with these approaches are investigated. Text mining provides a way to automate and enhance the analysis of text data. However, contrary to popular belief, text mining analysis is not a completely automated process. As with computer-assisted (or -aided) qualitative data analysis software (CAQD

APA, Harvard, Vancouver, ISO, and other styles

4

Bit-Monnot, Arthur. "Enhancing Hybrid CP-SAT Search for Disjunctive Scheduling." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2023. http://dx.doi.org/10.3233/faia230278.

Full text

Abstract:

Disjunctive scheduling problems such as the job shop and open shop are at the heart of many real world scheduling instances. In this paper, we frame such problems as disjunctive temporal networks associated with a makespan minimization objective. For those, we propose a hybrid approach between SAT/SMT and CP solvers. In particular, we keep from SMT solvers the aggregated constraint propagation in decision procedures as well as the explanations and clause learning mechanisms upon conflict. However, like all CP solvers, we maintain an explicit domain representation of integer variables, tightly

APA, Harvard, Vancouver, ISO, and other styles

5

Siahos, Yannis, Iasonas Papanagiotou, Alkis Georgopoulos, Fotis Tsamis, and Lefteris Nikoltsios. "Implementing a Hybrid Cloud Infrastructure to Facilitate ICT in Education." In Educational Technology Use and Design for Improved Learning Opportunities. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-6102-8.ch001.

Full text

Abstract:

In this chapter, the authors present the methodology and the results of their effort towards the introduction of cloud services as a means to simplify the adoption of ICT in education using Free/Open Source Software. A hybrid cloud infrastructure is established in order to provide Linux and optionally MS-Windows desktop environments with the Software as a Service cloud model. Legacy and modern school PCs function as stateless devices. To achieve this, their “Sch-scripts” application performs an unattended installation of the Linux Terminal Server Project software to a school computer that also

APA, Harvard, Vancouver, ISO, and other styles

6

Knape T., Hederman L., Wade V.P., Gargan M., Harris C., and Rahman Y. "A UML Approach to Process Modelling of Clinical Practice Guidelines for Enactment." In Studies in Health Technology and Informatics. IOS Press, 2003. https://doi.org/10.3233/978-1-60750-939-4-635.

Full text

Abstract:

Although clinical practice guidelines (CPGs) have been suggested as a means of encapsulating best practice in evidence-based medical treatment, their usage in clinical environments has been disappointing. Criticisms of guideline representations have been that they are predominantly narrative and are difficult to incorporate into clinical information systems. This paper analyses the use of UML process modelling techniques for guideline representation and proposes the automated generation of executable guidelines using XMI. This hybrid UML XMI approach provides flexible authoring of guideline de

APA, Harvard, Vancouver, ISO, and other styles

7

Rajendran, Pavithra, Alexandros Zenonos, Sebin Sabu, et al. "GIF: An Automated Genomic Information Finder to Extract Data from Reports." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2024. http://dx.doi.org/10.3233/faia241059.

Full text

Abstract:

Genomic testing is becoming increasingly used within the UK National Health Service (NHS) in an effort to deliver precision medicine that can directly benefit patient management and care. Typically, in hospital settings clinical scientists interpret genomic results and store the output in reports (unstructured format). Recent advances in the field of Natural Language Processing (NLP) techniques have significant advantage over the common time-consuming and laborious manual extraction of the relevant information from the reports. There are a plethora of open-source NLP models available, but limi

APA, Harvard, Vancouver, ISO, and other styles

8

Bruness, Daniel, Matthias Bay, Christian Schulze, Michael Guckert, and Mirjam Minor. "A Hybrid AI-Based Method for ICD Classification of Medical Documents." In Studies in Health Technology and Informatics. IOS Press, 2023. http://dx.doi.org/10.3233/shti230408.

Full text

Abstract:

Automatic document classification is a common problem that has successfully been addressed with machine learning methods. However, these methods require extensive training data, which is not always readily available. Additionally, in privacy-sensitive settings, transfer and reuse of trained machine learning models is not an option because sensitive information could potentially be reconstructed from the model. Therefore, we propose a transfer learning method that uses ontologies to normalize the feature space of text classifiers to create a controlled vocabulary. This ensures that the trained

APA, Harvard, Vancouver, ISO, and other styles

9

Stern, Hendrik, and Michael Freitag. "Human-Centered Design of Hybrid Cyber-Physical Production Systems - Use of Human Autonomy Teaming as a Future Way of Working." In Digitization of the work environment for sustainable production. GITO mbH Verlag, 2022. http://dx.doi.org/10.30844/wagb_2022_6.

Full text

Abstract:

Many production processes are changing towards hybrid CPPS, in which humans work together with intelligent as well as automated or autonomously acting systems. This enables economic advantages through more efficient processes, error reduction, and quality improvements. It further contributes to a sustainable production, which preserves resources and enhances operators' well-being. To achieve these advantages, an adequate system design is required. Here, various design approaches are available, such as the creation of active involvement of people and adequate situational awareness, and the cons

APA, Harvard, Vancouver, ISO, and other styles

10

Stern, Hendrik, and Michael Freitag. "Human-Centered Design of Hybrid Cyber-Physical Production Systems – Use of Human Autonomy Teaming as a Future Way of Working." In Digitization of the work environment for sustainable production. GITO Verlag, 2022. http://dx.doi.org/10.30844/wgab_2022_6.

Full text

Abstract:

Many production processes are changing towards hybrid CPPS, in which humans work together with intelligent as well as automated or autonomously acting systems. This enables economic advantages through more efficient processes, error reduction, and quality improvements. It further contributes to a sustainable production, which preserves resources and enhances operators' well-being. To achieve these advantages, an adequate system design is required. Here, various design approaches are available, such as the creation of active involvement of people and adequate situational awareness, and the cons

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Open hybrid automata"

1

Shuvo, Faysal Kabir, and Patrick Janssen. "Modelling Informal Settlements Using a Hybrid Automata Approach." In CAADRIA 2013: Open Systems. CAADRIA, 2013. http://dx.doi.org/10.52842/conf.caadria.2013.591.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Shuvo, Faysal Kabir, and Patrick Janssen. "Modelling Informal Settlements Using a Hybrid Automata Approach." In CAADRIA 2013: Open Systems. CAADRIA, 2013. http://dx.doi.org/10.52842/conf.caadria.2013.591.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Heracleous, Constantinos, Christos G. Panayiotou, Marios M. Polycarpou, and Georgios Ellinas. "Modeling interdependent critical infrastructures using open hybrid automata." In IEEE INFOCOM 2015 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE, 2015. http://dx.doi.org/10.1109/infcomw.2015.7179463.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lagutina, Ksenia, Eldar Mamedov, Nadezhda Lagutina, Ilya Paramonov, and Ivan Shchitov. "Analysis of relation extraction methods for automatic generation of specialized thesauri: Prospect of hybrid methods." In 2016 19th Conference of Open Innovations Association (FRUCT). IEEE, 2016. http://dx.doi.org/10.23919/fruct.2016.7892193.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kashevnik, Alexey, Nikolay Teslya, Eugeny Yablochnikov, Valery Arckhipov, and Kirill Kipriyanov. "Hybrid automated line workstations interaction scenario for optical devices assembly." In 2016 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology (FRUCT-ISPIT). IEEE, 2016. http://dx.doi.org/10.1109/fruct-ispit.2016.7561513.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Morettin, Paolo, Pedro Zuidberg Dos Martires, Samuel Kolb, and Andrea Passerini. "Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/617.

Full text

Abstract:

Real world decision making problems often involve both discrete and continuous variables and require a combination of probabilistic and deterministic knowledge. Stimulated by recent advances in automated reasoning technology, hybrid (discrete+continuous) probabilistic reasoning with constraints has emerged as a lively and fast growing research field. In this paper we provide a survey of existing techniques for hybrid probabilistic inference with logic and algebraic constraints. We leverage weighted model integration as a unifying formalism and discuss the different paradigms that have been use

APA, Harvard, Vancouver, ISO, and other styles

7

Zhang, Sen, Hongbing Pu, Boqian Wang, et al. "Implementation of a Newton−Krylov Algorithm in the Open-source Solver of PHengLEI." In GPPS Hong Kong24. GPPS, 2023. http://dx.doi.org/10.33737/gpps23-tc-124.

Full text

Abstract:

This paper presents the implementation of a Newton–Krylov (NK) algorithm in the open-source solver of Platform for Hybrid ENGineering simulation of flows (PHengLEI). The linearized equation system is solved using the Generalized Minimal Residual Method (GMRES). The elements of the exact Jacobian matrix are first computed using the automatic differentiation tool of Sacado and then manually assembled. In this work, two solution strategies are investigated for the solution of the RANS equations and the turbulence model equation: a decoupled approach and a coupled approach. The decoupled approach

APA, Harvard, Vancouver, ISO, and other styles

8

Rondeau, Marc-Antoine, and Richard Rose. "Developing a hybrid language model for open vocabulary automatic speech recognition in a lecture speech task." In 2012 11th International Conference on Information Sciences, Signal Processing and their Applications (ISSPA). IEEE, 2012. http://dx.doi.org/10.1109/isspa.2012.6310464.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Rohl, Alexander, Matthew Roughan, Martin White, and Alexander Chambers. "POSTER: Packet Field Tree: a hybrid approach, open database and evaluation methodology for Automated Protocol Reverse-Engineering." In ACM SIGCOMM Posters and Demos '24: ACM SIGCOMM 2024 Conference: Posters and Demos. ACM, 2024. http://dx.doi.org/10.1145/3672202.3673718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Veie, Johannes, Cato Dørum, and Tore Askeland. "New possibilities with the use of automated laser- laser-hybrid welding methods for steel bridges." In IABSE Symposium, Prague 2022: Challenges for Existing and Oncoming Structures. International Association for Bridge and Structural Engineering (IABSE), 2022. http://dx.doi.org/10.2749/prague.2022.0618.

Full text

Abstract:

<p>The development of automated laser- and laser-hybrid welding has made it possible to fabricate bridges in a new way. Traditional orthotropic decks based on steel-plates with longitudinal trapezoidal stiffeners may experience challenges with fatigue cracks developed at the welds and the edge of cut-out holes. The use of laser- and laser-hybrid can improve fatigue properties in general, but the technology also opens for new designs that improve fatigue properties with use of less material, reduced environmental impact and reduced production costs. A closed multi-box steel panel, also de

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!