-
Integrating Ontology Design with the CRISP-DM in the context of Cyber-Physical Systems Maintenance
Authors:
Milapji Singh Gill,
Tom Westermann,
Gernot Steindl,
Felix Gehlhoff,
Alexander Fay
Abstract:
In the following contribution, a method is introduced that integrates domain expert-centric ontology design with the Cross-Industry Standard Process for Data Mining (CRISP-DM). This approach aims to efficiently build an application-specific ontology tailored to the corrective maintenance of Cyber-Physical Systems (CPS). The proposed method is divided into three phases. In phase one, ontology requi…
▽ More
In the following contribution, a method is introduced that integrates domain expert-centric ontology design with the Cross-Industry Standard Process for Data Mining (CRISP-DM). This approach aims to efficiently build an application-specific ontology tailored to the corrective maintenance of Cyber-Physical Systems (CPS). The proposed method is divided into three phases. In phase one, ontology requirements are systematically specified, defining the relevant knowledge scope. Accordingly, CPS life cycle data is contextualized in phase two using domain-specific ontological artifacts. This formalized domain knowledge is then utilized in the CRISP-DM to efficiently extract new insights from the data. Finally, the newly developed data-driven model is employed to populate and expand the ontology. Thus, information extracted from this model is semantically annotated and aligned with the existing ontology in phase three. The applicability of this method has been evaluated in an anomaly detection case study for a modular process plant.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
A Formal Model for Artificial Intelligence Applications in Automation Systems
Authors:
Marvin Schieseck,
Philip Topalis,
Lasse Reinpold,
Felix Gehlhoff,
Alexander Fay
Abstract:
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. However, the industry-wide adoption of AI is hindered by the lack of standardized documentation for the complex compositions of automation systems, AI software, production hardware, and their interdependencies. This paper p…
▽ More
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. However, the industry-wide adoption of AI is hindered by the lack of standardized documentation for the complex compositions of automation systems, AI software, production hardware, and their interdependencies. This paper proposes a formal model using standards and ontologies to provide clear and structured documentation of AI applications in automation systems. The proposed information model for artificial intelligence in automation systems (AIAS) utilizes ontology design patterns to map and link various aspects of automation systems and AI software. Validated through a practical example, the model demonstrates its effectiveness in improving documentation practices and aiding the sustainable implementation of AI in industrial settings.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen
Authors:
Aron Schnakenbeck,
Christoph Sieber,
Luis Miguel Vieira da Silva,
Felix Gehlhoff,
Alexander Fay
Abstract:
Mobile robots, becoming increasingly autonomous, are capable of operating in diverse and unknown environments. This flexibility allows them to fulfill goals independently and adapting their actions dynamically without rigidly predefined control codes. However, their autonomous behavior complicates guaranteeing safety and reliability due to the limited influence of a human operator to accurately su…
▽ More
Mobile robots, becoming increasingly autonomous, are capable of operating in diverse and unknown environments. This flexibility allows them to fulfill goals independently and adapting their actions dynamically without rigidly predefined control codes. However, their autonomous behavior complicates guaranteeing safety and reliability due to the limited influence of a human operator to accurately supervise and verify each robot's actions. To ensure autonomous mobile robot's safety and reliability, which are aspects of dependability, methods are needed both in the planning and execution of missions for autonomous mobile robots. In this article, a twofold approach is presented that ensures fault removal in the context of mission planning and fault prevention during mission execution for autonomous mobile robots. First, the approach consists of a concept based on formal verification applied during the planning phase of missions. Second, the approach consists of a rule-based concept applied during mission execution. A use case applying the approach is presented, discussing how the two concepts complement each other and what contribution they make to certain aspects of dependability.
Unbemannte Fahrzeuge sind durch zunehmende Autonomie in der Lage in unterschiedlichen unbekannten Umgebungen zu operieren. Diese Flexibilität ermöglicht es ihnen Ziele eigenständig zu erfüllen und ihre Handlungen dynamisch anzupassen ohne starr vorgegebenen Steuerungscode. Allerdings erschwert ihr autonomes Verhalten die Gewährleistung von Sicherheit und Zuverlässigkeit, bzw. der Verlässlichkeit, da der Einfluss eines menschlichen Bedieners zur genauen Überwachung und Verifizierung der Aktionen jedes Roboters begrenzt ist. Daher werden Methoden sowohl in der Planung als auch in der Ausführung von Missionen für unbemannte Fahrzeuge benötigt, um die Sicherheit und Zuverlässigkeit dieser Fahrzeuge zu gewährleisten. In diesem Artikel wird ein zweistufiger Ansatz vorgestellt, der eine Fehlerbeseitigung während der Missionsplanung und eine Fehlerprävention während der Missionsausführung für unbemannte Fahrzeuge sicherstellt. Die Fehlerbeseitigung basiert auf formaler Verifikation, die während der Planungsphase der Missionen angewendet wird. Die Fehlerprävention basiert auf einem regelbasierten Konzept, das während der Missionsausführung angewendet wird. Der Ansatz wird an einem Beispiel angewendet und es wird diskutiert, wie die beiden Konzepte sich ergänzen und welchen Beitrag sie zu verschiedenen Aspekten der Verlässlichkeit leisten.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Toward a Method to Generate Capability Ontologies from Natural Language Descriptions
Authors:
Luis Miguel Vieira da Silva,
Aljosha Köcher,
Felix Gehlhoff,
Alexander Fay
Abstract:
To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone task that requires a significant amount of effort and ontology expertise. This contribution presents an innovative method to automate capability ontology modeling…
▽ More
To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone task that requires a significant amount of effort and ontology expertise. This contribution presents an innovative method to automate capability ontology modeling using Large Language Models (LLMs), which have proven to be well suited for such tasks. Our approach requires only a natural language description of a capability, which is then automatically inserted into a predefined prompt using a few-shot prompting technique. After prompting an LLM, the resulting capability ontology is automatically verified through various steps in a loop with the LLM to check the overall correctness of the capability ontology. First, a syntax check is performed, then a check for contradictions, and finally a check for hallucinations and missing ontology elements. Our method greatly reduces manual effort, as only the initial natural language description and a final human review and possible correction are necessary, thereby streamlining the capability ontology generation process.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Are you still on track!? Catching LLM Task Drift with Activations
Authors:
Sahar Abdelnabi,
Aideen Fay,
Giovanni Cherubin,
Ahmed Salem,
Mario Fritz,
Andrew Paverd
Abstract:
Large Language Models (LLMs) are routinely used in retrieval-augmented applications to orchestrate tasks and process inputs from users and other sources. These inputs, even in a single LLM interaction, can come from a variety of sources, of varying trustworthiness and provenance. This opens the door to prompt injection attacks, where the LLM receives and acts upon instructions from supposedly data…
▽ More
Large Language Models (LLMs) are routinely used in retrieval-augmented applications to orchestrate tasks and process inputs from users and other sources. These inputs, even in a single LLM interaction, can come from a variety of sources, of varying trustworthiness and provenance. This opens the door to prompt injection attacks, where the LLM receives and acts upon instructions from supposedly data-only sources, thus deviating from the user's original instructions. We define this as task drift, and we propose to catch it by scanning and analyzing the LLM's activations. We compare the LLM's activations before and after processing the external input in order to detect whether this input caused instruction drift. We develop two probing methods and find that simply using a linear classifier can detect drift with near perfect ROC AUC on an out-of-distribution test set. We show that this approach generalizes surprisingly well to unseen task domains, such as prompt injections, jailbreaks, and malicious instructions, without being trained on any of these attacks. Our setup does not require any modification of the LLM (e.g., fine-tuning) or any text generation, thus maximizing deployability and cost efficiency and avoiding reliance on unreliable model output. To foster future research on activation-based task inspection, decoding, and interpretability, we will release our large-scale TaskTracker toolkit, comprising a dataset of over 500K instances, representations from 4 SoTA language models, and inspection tools.
△ Less
Submitted 20 June, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Coordinating Cooperative Perception in Urban Air Mobility for Enhanced Environmental Awareness
Authors:
Timo Häckel,
Luca von Roenn,
Nemo Juchmann,
Alexander Fay,
Rinie Akkermans,
Tim Tiedemann,
Thomas C. Schmidt
Abstract:
The trend for Urban Air Mobility (UAM) is growing with prospective air taxis, parcel deliverers, and medical and industrial services. Safe and efficient UAM operation relies on timely communication and reliable data exchange. In this paper, we explore Cooperative Perception (CP) for Unmanned Aircraft Systems (UAS), considering the unique communication needs involving high dynamics and a large numb…
▽ More
The trend for Urban Air Mobility (UAM) is growing with prospective air taxis, parcel deliverers, and medical and industrial services. Safe and efficient UAM operation relies on timely communication and reliable data exchange. In this paper, we explore Cooperative Perception (CP) for Unmanned Aircraft Systems (UAS), considering the unique communication needs involving high dynamics and a large number of UAS. We propose a hybrid approach combining local broadcast with a central CP service, inspired by centrally managed U-space and broadcast mechanisms from automotive and aviation domains. In a simulation study, we show that our approach significantly enhances the environmental awareness for UAS compared to fully distributed approaches, with an increased communication channel load, which we also evaluate. These findings prompt a discussion on communication strategies for CP in UAM and the potential of a centralized CP service in future research.
△ Less
Submitted 22 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
On the Use of Large Language Models to Generate Capability Ontologies
Authors:
Luis Miguel Vieira da Silva,
Aljosha Köcher,
Felix Gehlhoff,
Alexander Fay
Abstract:
Capability ontologies are increasingly used to model functionalities of systems or machines. The creation of such ontological models with all properties and constraints of capabilities is very complex and can only be done by ontology experts. However, Large Language Models (LLMs) have shown that they can generate machine-interpretable models from natural language text input and thus support engine…
▽ More
Capability ontologies are increasingly used to model functionalities of systems or machines. The creation of such ontological models with all properties and constraints of capabilities is very complex and can only be done by ontology experts. However, Large Language Models (LLMs) have shown that they can generate machine-interpretable models from natural language text input and thus support engineers / ontology experts. Therefore, this paper investigates how LLMs can be used to create capability ontologies. We present a study with a series of experiments in which capabilities with varying complexities are generated using different prompting techniques and with different LLMs. Errors in the generated ontologies are recorded and compared. To analyze the quality of the generated ontologies, a semi-automated approach based on RDF syntax checking, OWL reasoning, and SHACL constraints is used. The results of this study are very promising because even for complex capabilities, the generated ontologies are almost free of errors.
△ Less
Submitted 30 June, 2024; v1 submitted 26 April, 2024;
originally announced April 2024.
-
Combination of Site-Wide and Real-Time Optimization for the Control of Systems of Flexible Energy Resources
Authors:
Vincent Henkel,
Lukas Peter Wagner,
Felix Gehlhoff,
Alexander Fay
Abstract:
The rapid expansion of renewable energy sources introduces significant volatility and unpredictability to the energy supply chain, challenging the stability and reliability of the power grid. This work presents a method that enhances existing static optimization models by converting them into dynamic models suitable for the real-time optimization of flexible energy resources. By adapting static mo…
▽ More
The rapid expansion of renewable energy sources introduces significant volatility and unpredictability to the energy supply chain, challenging the stability and reliability of the power grid. This work presents a method that enhances existing static optimization models by converting them into dynamic models suitable for the real-time optimization of flexible energy resources. By adapting static models for real-time application, the proposed two-stage optimization strategy allows for flexible adjustments of operational plans, facilitating the seamless integration of renewable energy sources. This approach not only ensures grid reliability but also improves economic efficiency by optimizing resource utilization. The effectiveness of this method is demonstrated through a case study involving a system of electrolyzers, showcasing significant advantages over traditional static optimization methods in aligning energy consumption with renewable energy generation.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
A SysML Profile for the Standardized Description of Processes during System Development
Authors:
Lasse Beers,
Hamied Nabizada,
Maximilian Weigand,
Felix Gehlhoff,
Alexander Fay
Abstract:
A key aspect in creating models of production systems with the use of model-based systems engineering (MBSE) lies in the description of system functions. These functions shouldbe described in a clear and standardized manner.The VDI/VDE 3682 standard for Formalised Process De-scription (FPD) provides a simple and easily understandable representation of processes. These processes can be conceptualiz…
▽ More
A key aspect in creating models of production systems with the use of model-based systems engineering (MBSE) lies in the description of system functions. These functions shouldbe described in a clear and standardized manner.The VDI/VDE 3682 standard for Formalised Process De-scription (FPD) provides a simple and easily understandable representation of processes. These processes can be conceptualized as functions within the system model, making the FPD particularly well-suited for the standardized representation ofthe required functions. Hence, this contribution focuses on thedevelopment of a Domain-Specific Modeling Language(DSML) that facilitates the integration of VDI/VDE 3682 into the Systems Modeling Language (SysML). The presented approach not onlyextends classical SysML with domain-specific requirements but also facilitates model verification through constraints modeled in Object Constraint Language (OCL). Additionally, it enables automatic serialization of process descriptions into the Extensible Markup Language (XML) using the Velocity Template Language (VTL). This serialization enables the use of process modeling in applications outside of MBSE. The approach was validated using an collar screwing use case in the major component assembly in aircraft production.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Cost Optimized Scheduling in Modular Electrolysis Plants
Authors:
Vincent Henkel,
Maximilian Kilthau,
Felix Gehlhoff,
Lukas Wagner,
Alexander Fay
Abstract:
In response to the global shift towards renewable energy resources, the production of green hydrogen through electrolysis is emerging as a promising solution. Modular electrolysis plants, designed for flexibility and scalability, offer a dynamic response to the increasing demand for hydrogen while accommodating the fluctuations inherent in renewable energy sources. However, optimizing their operat…
▽ More
In response to the global shift towards renewable energy resources, the production of green hydrogen through electrolysis is emerging as a promising solution. Modular electrolysis plants, designed for flexibility and scalability, offer a dynamic response to the increasing demand for hydrogen while accommodating the fluctuations inherent in renewable energy sources. However, optimizing their operation is challenging, especially when a large number of electrolysis modules needs to be coordinated, each with potentially different characteristics.
To address these challenges, this paper presents a decentralized scheduling model to optimize the operation of modular electrolysis plants using the Alternating Direction Method of Multipliers. The model aims to balance hydrogen production with fluctuating demand, to minimize the marginal Levelized Cost of Hydrogen (mLCOH), and to ensure adaptability to operational disturbances. A case study validates the accuracy of the model in calculating mLCOH values under nominal load conditions and demonstrates its responsiveness to dynamic changes, such as electrolyzer module malfunctions and scale-up scenarios.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Automated Process Planning Based on a Semantic Capability Model and SMT
Authors:
Aljosha Köcher,
Luis Miguel Vieira da Silva,
Alexander Fay
Abstract:
In research of manufacturing systems and autonomous robots, the term capability is used for a machine-interpretable specification of a system function. Approaches in this research area develop information models that capture all information relevant to interpret the requirements, effects and behavior of functions. These approaches are intended to overcome the heterogeneity resulting from the vario…
▽ More
In research of manufacturing systems and autonomous robots, the term capability is used for a machine-interpretable specification of a system function. Approaches in this research area develop information models that capture all information relevant to interpret the requirements, effects and behavior of functions. These approaches are intended to overcome the heterogeneity resulting from the various types of processes and from the large number of different vendors. However, these models and associated methods do not offer solutions for automated process planning, i.e. finding a sequence of individual capabilities required to manufacture a certain product or to accomplish a mission using autonomous robots. Instead, this is a typical task for AI planning approaches, which unfortunately require a high effort to create the respective planning problem descriptions. In this paper, we present an approach that combines these two topics: Starting from a semantic capability model, an AI planning problem is automatically generated. The planning problem is encoded using Satisfiability Modulo Theories and uses an existing solver to find valid capability sequences including required parameter values. The approach also offers possibilities to integrate existing human expertise and to provide explanations for human operators in order to help understand planning decisions.
△ Less
Submitted 14 February, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Representing Timed Automata and Timing Anomalies of Cyber-Physical Production Systems in Knowledge Graphs
Authors:
Tom Westermann,
Milapji Singh Gill,
Alexander Fay
Abstract:
Model-Based Anomaly Detection has been a successful approach to identify deviations from the expected behavior of Cyber-Physical Production Systems. Since manual creation of these models is a time-consuming process, it is advantageous to learn them from data and represent them in a generic formalism like timed automata. However, these models - and by extension, the detected anomalies - can be chal…
▽ More
Model-Based Anomaly Detection has been a successful approach to identify deviations from the expected behavior of Cyber-Physical Production Systems. Since manual creation of these models is a time-consuming process, it is advantageous to learn them from data and represent them in a generic formalism like timed automata. However, these models - and by extension, the detected anomalies - can be challenging to interpret due to a lack of additional information about the system. This paper aims to improve model-based anomaly detection in CPPS by combining the learned timed automaton with a formal knowledge graph about the system. Both the model and the detected anomalies are described in the knowledge graph in order to allow operators an easier interpretation of the model and the detected anomalies. The authors additionally propose an ontology of the necessary concepts. The approach was validated on a five-tank mixing CPPS and was able to formally define both automata model as well as timing anomalies in automata execution.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Structural Analysis of GRAFCET Control Specifications
Authors:
Aron Schnakenbeck,
Robin Mroß,
Marcus Völker,
Stefan Kowalewski,
Alexander Fay
Abstract:
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the variable values of GRAFCET to allow verification on specification level. GRAFCET has different elements resulting in concurrent behavior, which in general results in a large state space for analyses like model checking. The…
▽ More
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the variable values of GRAFCET to allow verification on specification level. GRAFCET has different elements resulting in concurrent behavior, which in general results in a large state space for analyses like model checking. The proposed analysis approach approximates that state space and takes into consideration the entire set of GRAFCET elements leading to concurrent behavior. The analysis consists of two parts: We present an algorithm analyzing concurrent steps to approximate the step variables and we adapt analysis means from the field of Petri nets to approximate internal and output variables. The proposed approach is evaluated using an industrial-sized example to demonstrate that the analysis is capable of verifying behavioral errors and is not limited by the specification size of practical plants.
△ Less
Submitted 1 July, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Integration of Domain Expert-Centric Ontology Design into the CRISP-DM for Cyber-Physical Production Systems
Authors:
Milapji Singh Gill,
Tom Westermann,
Marvin Schieseck,
Alexander Fay
Abstract:
In the age of Industry 4.0 and Cyber-Physical Production Systems (CPPSs) vast amounts of potentially valuable data are being generated. Methods from Machine Learning (ML) and Data Mining (DM) have proven to be promising in extracting complex and hidden patterns from the data collected. The knowledge obtained can in turn be used to improve tasks like diagnostics or maintenance planning. However, su…
▽ More
In the age of Industry 4.0 and Cyber-Physical Production Systems (CPPSs) vast amounts of potentially valuable data are being generated. Methods from Machine Learning (ML) and Data Mining (DM) have proven to be promising in extracting complex and hidden patterns from the data collected. The knowledge obtained can in turn be used to improve tasks like diagnostics or maintenance planning. However, such data-driven projects, usually performed with the Cross-Industry Standard Process for Data Mining (CRISP-DM), often fail due to the disproportionate amount of time needed for understanding and preparing the data. The application of domain-specific ontologies has demonstrated its advantageousness in a wide variety of Industry 4.0 application scenarios regarding the aforementioned challenges. However, workflows and artifacts from ontology design for CPPSs have not yet been systematically integrated into the CRISP-DM. Accordingly, this contribution intends to present an integrated approach so that data scientists are able to more quickly and reliably gain insights into the CPPS. The result is exemplarily applied to an anomaly detection use case.
△ Less
Submitted 9 July, 2024; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
Authors:
Robin Mroß,
Aron Schnakenbeck,
Marcus Völker,
Alexander Fay,
Stefan Kowalewski
Abstract:
IEC 60848 GRAFCET is a standardized, graphical specification language for control functions. Because of the semiformal nature of IEC 60848, the details of specifications created with GRAFCET can be interpreted in different ways, possibly leading to faulty implementations. These ambiguities have been partially addressed in existing literature, but solved in different manners. Based on a literature…
▽ More
IEC 60848 GRAFCET is a standardized, graphical specification language for control functions. Because of the semiformal nature of IEC 60848, the details of specifications created with GRAFCET can be interpreted in different ways, possibly leading to faulty implementations. These ambiguities have been partially addressed in existing literature, but solved in different manners. Based on a literature review, this work aims at providing an overview of existing interpretations and, based on that, proposes a comprehensive interpretation algorithm for IEC 60848, which takes all relevant ambiguities from the literature review into account.
△ Less
Submitted 1 July, 2024; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
Authors:
Lasse Matthias Reinpold,
Lukas Peter Wagner,
Felix Gehlhoff,
Malte Ramonat,
Maximilian Kilthau,
Milapji Singh Gill,
Jonathan Tobias Reif,
Vincent Henkel,
Lena Scholz,
Alexander Fay
Abstract:
To achieve a highly agile and flexible production, it is envisioned that industrial production systems gradually become more decentralized, interconnected, and intelligent. Within this vision, production assets collaborate with each other, exhibiting a high degree of autonomy. Furthermore, knowledge about individual production assets is readily available throughout their entire life-cycles. To rea…
▽ More
To achieve a highly agile and flexible production, it is envisioned that industrial production systems gradually become more decentralized, interconnected, and intelligent. Within this vision, production assets collaborate with each other, exhibiting a high degree of autonomy. Furthermore, knowledge about individual production assets is readily available throughout their entire life-cycles. To realize this vision, adequate use of information technology is required. Two commonly applied software paradigms in this context are Software Agents (referred to as Agents) and Digital Twins (DTs). This work presents a systematic comparison of Agents and DTs in industrial applications. The goal of the study is to determine the differences, similarities, and potential synergies between the two paradigms. The comparison is based on the purposes for which Agents and DTs are applied, the properties and capabilities exhibited by these software paradigms, and how they can be allocated within the Reference Architecture Model Industry 4.0. The comparison reveals that Agents are commonly employed in the collaborative planning and execution of production processes, while DTs typically play a more passive role in monitoring production resources and processing information. Although these observations imply characteristic sets of capabilities and properties for both Agents and DTs, a clear and definitive distinction between the two paradigms cannot be made. Instead, the analysis indicates that production assets utilizing a combination of Agents and DTs would demonstrate high degrees of intelligence, autonomy, sociability, and fidelity. To achieve this, further standardization is required, particularly in the field of DTs.
△ Less
Submitted 25 October, 2023; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Toward a Map** of Capability and Skill Models using Asset Administration Shells and Ontologies
Authors:
Luis Miguel Vieira da Silva,
Aljosha Köcher,
Milapji Singh Gill,
Marco Weiss,
Alexander Fay
Abstract:
In order to react efficiently to changes in production, resources and their functions must be integrated into plants in accordance with the plug and produce principle. In this context, research on so-called capabilities and skills has shown promise. However, there are currently two incompatible approaches to modeling capabilities and skills. On the one hand, formal descriptions using ontologies ha…
▽ More
In order to react efficiently to changes in production, resources and their functions must be integrated into plants in accordance with the plug and produce principle. In this context, research on so-called capabilities and skills has shown promise. However, there are currently two incompatible approaches to modeling capabilities and skills. On the one hand, formal descriptions using ontologies have been developed. On the other hand, there are efforts to standardize submodels of the Asset Administration Shell (AAS) for this purpose. In this paper, we present ongoing research to connect these two incompatible modeling approaches. Both models are analyzed to identify comparable as well as dissimilar model elements. Subsequently, we present a concept for a bidirectional map** between AAS submodels and a capability and skill ontology. For this purpose, two unidirectional, declarative map**s are applied that implement transformations from one modeling approach to the other - and vice versa.
△ Less
Submitted 28 April, 2024; v1 submitted 3 July, 2023;
originally announced July 2023.
-
A Graphical Modeling Language for Artificial Intelligence Applications in Automation Systems
Authors:
Marvin Schieseck,
Philip Topalis,
Alexander Fay
Abstract:
Artificial Intelligence (AI) applications in automation systems are usually distributed systems whose development and integration involve several experts. Each expert uses its own domain-specific modeling language and tools to model the system elements. An interdisciplinary graphical modeling language that enables the modeling of an AI application as an overall system comprehensible to all discipl…
▽ More
Artificial Intelligence (AI) applications in automation systems are usually distributed systems whose development and integration involve several experts. Each expert uses its own domain-specific modeling language and tools to model the system elements. An interdisciplinary graphical modeling language that enables the modeling of an AI application as an overall system comprehensible to all disciplines does not yet exist. As a result, there is often a lack of interdisciplinary system understanding, leading to increased development, integration, and maintenance efforts. This paper therefore presents a graphical modeling language that enables consistent and understandable modeling of AI applications in automation systems at system level. This makes it possible to subdivide individual subareas into domain specific subsystems and thus reduce the existing efforts.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
Authors:
Aron Schnakenbeck,
Robin Mroß,
Marcus Völker,
Stefan Kowalewski,
Alexander Fay
Abstract:
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control flow of GRAFCET using abstract interpretation to allow verification on specification level. GRAFCET has different elements leading to concurrent behavior, which in general results in a large state space. To get precise…
▽ More
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control flow of GRAFCET using abstract interpretation to allow verification on specification level. GRAFCET has different elements leading to concurrent behavior, which in general results in a large state space. To get precise results and reduce the state space, we propose an analysis suitable for GRAFCET instances without concurrent behavior. We point out how to check for the absence of concurrency and present a flow-sensitive analysis for these GRAFCET instances. The proposed approach is evaluated on an industrial-sized example.
△ Less
Submitted 25 August, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
A Capability and Skill Model for Heterogeneous Autonomous Robots
Authors:
Luis Miguel Vieira da Silva,
Aljosha Köcher,
Alexander Fay
Abstract:
Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot provides. In the field of manufacturing, capability modeling is considered a promising approach to semantically model functions provided by different machines. This…
▽ More
Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot provides. In the field of manufacturing, capability modeling is considered a promising approach to semantically model functions provided by different machines. This contribution investigates how to apply and extend capability models from manufacturing to the field of autonomous robots and presents an approach for such a capability model.
△ Less
Submitted 9 February, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Accessing and Interpreting OPC UA Event Traces based on Semantic Process Descriptions
Authors:
Tom Westermann,
Nemanja Hranisavljevic,
Alexander Fay
Abstract:
The analysis of event data from production systems is the basis for many applications associated with Industry 4.0. However, heterogeneous and disjoint data is common in this domain. As a consequence, contextual information of an event might be incomplete or improperly interpreted which results in suboptimal analysis results. This paper proposes an approach to access a production systems' event da…
▽ More
The analysis of event data from production systems is the basis for many applications associated with Industry 4.0. However, heterogeneous and disjoint data is common in this domain. As a consequence, contextual information of an event might be incomplete or improperly interpreted which results in suboptimal analysis results. This paper proposes an approach to access a production systems' event data based on the event data's context (such as the product type, process type or process parameters). The approach extracts filtered event logs from a database system by combining: 1) a semantic model of a production system's hierarchical structure, 2) a formalized process description and 3) an OPC UA information model. As a proof of concept we demonstrate our approach using a sample server based on OPC UA for Machinery Companion Specifications.
△ Less
Submitted 27 October, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Toward a Generic Map** Language for Transformations between RDF and Data Interchange Formats
Authors:
Aljosha Köcher,
Artan Markaj,
Alexander Fay
Abstract:
While there exist approaches to integrate heterogeneous data using semantic models, such semantic models can typically not be used by existing software tools. Many software tools - especially in engineering - only have options to import and export data in more established data interchange formats such as XML or JSON. Thus, if an information which is included in a semantic model needs to be used in…
▽ More
While there exist approaches to integrate heterogeneous data using semantic models, such semantic models can typically not be used by existing software tools. Many software tools - especially in engineering - only have options to import and export data in more established data interchange formats such as XML or JSON. Thus, if an information which is included in a semantic model needs to be used in a such a software tool, automatic approaches for map** semantic information into an interchange format are needed. We aim to develop a generic map** approach that allows users to create transformations of semantic information into a data interchange format with an arbitrary structure which can be defined by a user. This map** approach is currently being elaborated. In this contribution, we report our initial steps targeted to transformations from RDF into XML. At first, a map** language is introduced which allows to define automated map**s from ontologies to XML. Furthermore, a map** algorithm capable of executing map**s defined in this language is presented. An evaluation is done with a use case in which engineering information needs to be used in a 3D modeling tool.
△ Less
Submitted 4 November, 2022; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Concepts and Algorithms for Agent-based Decentralized and Integrated Scheduling of Production and Auxiliary Processes
Authors:
Felix Gehlhoff,
Alexander Fay
Abstract:
Individualized products and shorter product life cycles have driven companies to rethink traditional mass production. New concepts like Industry 4.0 foster the advent of decentralized production control and distribution of information. A promising technology for realizing such scenarios are Multi-agent systems. This contribution analyses the requirements for an agent-based decentralized and integr…
▽ More
Individualized products and shorter product life cycles have driven companies to rethink traditional mass production. New concepts like Industry 4.0 foster the advent of decentralized production control and distribution of information. A promising technology for realizing such scenarios are Multi-agent systems. This contribution analyses the requirements for an agent-based decentralized and integrated scheduling approach. Part of the requirements is to develop a linearly scaling communication architecture, as the communication between the agents is a major driver of the scheduling execution time. The approach schedules production, transportation, buffering and shared resource operations such as tools in an integrated manner to account for interdependencies between them. Part of the logistics requirements reflect constraints for large workpieces such as buffer scarcity. The approach aims at providing a general solution that is also applicable to large system sizes that, for example, can be found in production networks with multiple companies. Further, it is applicable for different kinds of factory organization (flow shop, job shop etc.). The approach is explained using an example based on industrial requirements. Experiments have been conducted to evaluate the scheduling execution time. The results show the approach's linear scaling behavior. Also, analyses of the concurrent negotiation ability are conducted.
△ Less
Submitted 12 May, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
A Map** Approach to Convert MTPs into a Capability and Skill Ontology
Authors:
Aljosha Köcher,
Lasse Beers,
Alexander Fay
Abstract:
Being able to quickly integrate new equipment and functions into an existing plant is a major goal for both discrete and process manufacturing. But currently, these two industry domains use different approaches to achieve this goal. While the Module Type Package (MTP) is getting more and more adapted in practical applications of process manufacturing, so-called skill-based manufacturing approaches…
▽ More
Being able to quickly integrate new equipment and functions into an existing plant is a major goal for both discrete and process manufacturing. But currently, these two industry domains use different approaches to achieve this goal. While the Module Type Package (MTP) is getting more and more adapted in practical applications of process manufacturing, so-called skill-based manufacturing approaches are favored in the context of discrete manufacturing. The two approaches are incompatible because their models feature different contents and they use different technologies. This contribution provides a comparison of the MTP with a skill-based approach as well as an automated map** that can be used to transfer the contents of an MTP into a skill ontology. Through this map**, an MTP can be semantically lifted in order to apply functions like querying or reasoning. Furthermore, machines that were previously described using two incompatible models can now be used in one production process.
△ Less
Submitted 4 November, 2022; v1 submitted 3 May, 2022;
originally announced May 2022.
-
Modeling and Executing Production Processes with Capabilities and Skills using Ontologies and BPMN
Authors:
Aljosha Köcher,
Luis Miguel Vieira da Silva,
Alexander Fay
Abstract:
Current challenges of the manufacturing industry require modular and changeable manufacturing systems that can be adapted to variable conditions with little effort. At the same time, production recipes typically represent important company know-how that should not be directly tied to changing plant configurations. Thus, there is a need to model general production recipes independent of specific pl…
▽ More
Current challenges of the manufacturing industry require modular and changeable manufacturing systems that can be adapted to variable conditions with little effort. At the same time, production recipes typically represent important company know-how that should not be directly tied to changing plant configurations. Thus, there is a need to model general production recipes independent of specific plant layouts. For execution of such a recipe however, a binding to then available production resources needs to be made. In this contribution, select a suitable modeling language to model and execute such recipes. Furthermore, we present an approach to solve the issue of recipe modeling and execution in modular plants using semantically modeled capabilities and skills as well as BPMN. We make use of BPMN to model \emph{capability processes}, i.e. production processes referencing abstract descriptions of resource functions. These capability processes are not bound to a certain plant layout, as there can be multiple resources fulfilling the same capability. For execution, every capability in a capability process is replaced by a skill realizing it, effectively creating a \emph{skill process} consisting of various skill invocations. The presented solution is capable of orchestrating and executing complex processes that integrate production steps with typical IT functionalities such as error handling, user interactions and notifications. Benefits of the approach are demonstrated using a flexible manufacturing system.
△ Less
Submitted 4 November, 2022; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Model-Based Engineering of CPPS Functions and Code Generation for Skills
Authors:
Aljosha Köcher,
Alexander Hayward,
Alexander Fay
Abstract:
Today's production systems are complex networks of cyber-physical systems which combine mechanical and electronic parts with software and networking capabilities. To the inherent complexity of such systems additional complexity arises from the context in which these systems operate. Manufacturing companies need to be able to adapt their production to ever changing customer demands as well as decre…
▽ More
Today's production systems are complex networks of cyber-physical systems which combine mechanical and electronic parts with software and networking capabilities. To the inherent complexity of such systems additional complexity arises from the context in which these systems operate. Manufacturing companies need to be able to adapt their production to ever changing customer demands as well as decreasing lot sizes. Engineering such systems, which need to be combined and reconfigured into different networks under changing conditions, requires engineering methods to carefully design them for possible future uses. Such engineering methods need to preserve the flexibility of functions into runtime, so that reconfiguring machines can be done with as little effort as possible. In this paper we present a model-based approach that is focused on machine functions and allows to methodically develop system functionalities for changing system networks. These functions are implemented as so-called skills using automated code-generation.
△ Less
Submitted 24 July, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Authors:
Seppo Sierla,
Mohammad Azangoo,
Alexander Fay,
Valeriy Vyatkin,
Nikolaos Papakonstantinou
Abstract:
Ongoing standardization in Industry 4.0 supports tool vendor neutral representations of Pi** and Instrumentation diagrams as well as 3D pipe routing. However, a complete digital plant model requires combining these two representations. 3D pipe routing information is essential for building any accurate first-principles process simulation model. Pi** and instrumentation diagrams are the primary…
▽ More
Ongoing standardization in Industry 4.0 supports tool vendor neutral representations of Pi** and Instrumentation diagrams as well as 3D pipe routing. However, a complete digital plant model requires combining these two representations. 3D pipe routing information is essential for building any accurate first-principles process simulation model. Pi** and instrumentation diagrams are the primary source for control loops. In order to automatically integrate these information sources to a unified digital plant model, it is necessary to develop algorithms for identifying corresponding elements such as tanks and pumps from pi** and instrumentation diagrams and 3D CAD models. One approach is to raise these two information sources to a common level of abstraction and to match them at this level of abstraction. Graph matching is a potential technique for this purpose. This article focuses on automatic generation of the graphs as a prerequisite to graph matching. Algorithms for this purpose are proposed and validated with a case study. The paper concludes with a discussion of further research needed to reprocess the generated graphs in order to enable effective matching.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Baxter's Homunculus: Virtual Reality Spaces for Teleoperation in Manufacturing
Authors:
Jeffrey I Lipton,
Aidan J Fay,
Daniela Rus
Abstract:
Expensive specialized systems have hampered development of telerobotic systems for manufacturing systems. In this paper we demonstrate a telerobotic system which can reduce the cost of such system by leveraging commercial virtual reality(VR) technology and integrating it with existing robotics control software. The system runs on a commercial gaming engine using off the shelf VR hardware. This sys…
▽ More
Expensive specialized systems have hampered development of telerobotic systems for manufacturing systems. In this paper we demonstrate a telerobotic system which can reduce the cost of such system by leveraging commercial virtual reality(VR) technology and integrating it with existing robotics control software. The system runs on a commercial gaming engine using off the shelf VR hardware. This system can be deployed on multiple network architectures from a wired local network to a wireless network connection over the Internet. The system is based on the homunculus model of mind wherein we embed the user in a virtual reality control room. The control room allows for multiple sensor display, dynamic map** between the user and robot, does not require the production of duals for the robot, or its environment. The control room is mapped to a space inside the robot to provide a sense of co-location within the robot. We compared our system with state of the art automation algorithms for assembly tasks, showing a 100% success rate for our system compared with a 66% success rate for automated systems. We demonstrate that our system can be used for pick and place, assembly, and manufacturing tasks.
△ Less
Submitted 3 March, 2017;
originally announced March 2017.
-
Electron-phonon coupling in suspended graphene: supercollisions by ripples
Authors:
Antti Laitinen,
Mika Oksanen,
Aurélien Fay,
Daniel Cox,
Matti Tomi,
Pauli Virtanen,
Pertti Hakonen
Abstract:
Using electrical transport experiments and shot noise thermometry, we find strong evidence that "supercollision" scattering processes by flexural modes are the dominant electron-phonon energy transfer mechanism in high-quality, suspended graphene around room temperature. The power law dependence of the electron-phonon coupling changes from cubic to quintic with temperature. The change of the tempe…
▽ More
Using electrical transport experiments and shot noise thermometry, we find strong evidence that "supercollision" scattering processes by flexural modes are the dominant electron-phonon energy transfer mechanism in high-quality, suspended graphene around room temperature. The power law dependence of the electron-phonon coupling changes from cubic to quintic with temperature. The change of the temperature exponent by two is reflected in the quadratic dependence on chemical potential, which is an inherent feature of two-phonon quantum processes.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Wideband superconducting nanotube electrometer
Authors:
Pasi Häkkinen,
Aurélien Fay,
Dmitry Golubev,
Pasi Lähteenmäki,
Pertti Hakonen
Abstract:
We have investigated the microwave response of nanotube Josephson junctions at 600-900 MHz at microwave powers corresponding to currents from 0 to $2\times I_{\mathrm C}$ in the junction. Compared with theoretical modeling, the response of the junctions correspond well to the lumped element model of resistively and capacitively shunted junction. We demonstrate the operation of these superconductin…
▽ More
We have investigated the microwave response of nanotube Josephson junctions at 600-900 MHz at microwave powers corresponding to currents from 0 to $2\times I_{\mathrm C}$ in the junction. Compared with theoretical modeling, the response of the junctions correspond well to the lumped element model of resistively and capacitively shunted junction. We demonstrate the operation of these superconducting FETs as charge detectors at high frequencies without any matching circuits. Gate-voltage-induced charge $Q_{\rm G}$ modifies the critical current $I_{\rm C}$, which changes the effective impedance of the junction under microwave irradiation. This change, dependent on the transfer characteristics $dI_{\mathrm C}/dQ_{\rm G}$, modifies the reflected signal and it can be used for wide band electrometry. We measure a sensitivity of $3.1\times10^{-5}$ $e/\sqrt{\mathrm{Hz}}$ from a sample which has a maximum switching current of 2.6 nA.
△ Less
Submitted 16 August, 2015;
originally announced August 2015.
-
Niobium-based superconducting nano-devices fabrication using all-metal suspended masks
Authors:
S. Samaddar,
D. van Zanten,
A. Fay,
B. Sacépé,
H. Courtois,
C. B. Winkelmann
Abstract:
We report a novel method for the fabrication of superconducting nanodevices based on niobium. The well-known difficulties of lithographic patterning of high-quality niobium are overcome by replacing the usual organic resist mask by a metallic one. The quality of the fabrication procedure is demonstrated by the realization and characterization of long and narrow superconducting lines and niobium-go…
▽ More
We report a novel method for the fabrication of superconducting nanodevices based on niobium. The well-known difficulties of lithographic patterning of high-quality niobium are overcome by replacing the usual organic resist mask by a metallic one. The quality of the fabrication procedure is demonstrated by the realization and characterization of long and narrow superconducting lines and niobium-gold-niobium proximity SQUIDs.
△ Less
Submitted 16 July, 2013; v1 submitted 19 April, 2013;
originally announced April 2013.
-
Existence of an Independent Phonon Bath in a Quantum Device
Authors:
Laetitia Pascal,
Aurelien Fay,
Clemens Winkelmann,
Hervé Courtois
Abstract:
At low temperatures, the thermal wavelength of acoustic phonons in a metallic thin film on a substrate can widely exceed the film thickness. It is thus generally believed that a mesoscopic device operating at low temperature does not carry an individual phonon population. In this work, we provide direct experimental evidence for the thermal decoupling of phonons in a mesoscopic quantum device from…
▽ More
At low temperatures, the thermal wavelength of acoustic phonons in a metallic thin film on a substrate can widely exceed the film thickness. It is thus generally believed that a mesoscopic device operating at low temperature does not carry an individual phonon population. In this work, we provide direct experimental evidence for the thermal decoupling of phonons in a mesoscopic quantum device from its substrate phonon heat bath at a sub-Kelvin temperature. A simple heat balance model assuming an independent phonon bath following the usual electron-phonon and Kapitza coupling laws can account for all experimental observations.
△ Less
Submitted 4 March, 2014; v1 submitted 16 January, 2013;
originally announced January 2013.
-
Energy relaxation in graphene and its measurement with supercurrent
Authors:
Juha Voutilainen,
Aurelien Fay,
Pasi Häkkinen,
Janne K. Viljas,
Tero T. Heikkilä,
Pertti J. Hakonen
Abstract:
We study inelastic energy relaxation in graphene for low energies to find out how electrons scatter with acoustic phonons and other electrons. By coupling the graphene to superconductors, we create a strong dependence of the measured signal, i.e.,\ critical Josephson current, on the electron population on different energy states. Since the relative population of high- and low-energy states is dete…
▽ More
We study inelastic energy relaxation in graphene for low energies to find out how electrons scatter with acoustic phonons and other electrons. By coupling the graphene to superconductors, we create a strong dependence of the measured signal, i.e.,\ critical Josephson current, on the electron population on different energy states. Since the relative population of high- and low-energy states is determined by the inelastic scattering processes, the critical current becomes an effective probe for their strength. We argue that the electron-electron interaction is the dominant relaxation method and, in our model of two-dimensional electron-electron scattering, we find a scattering time $τ_{e-e}=5... 13$ ps at T=500 mK, 1-2 orders of magnitude smaller than predicted by theory.
△ Less
Submitted 16 March, 2011;
originally announced March 2011.
-
Self heating and nonlinear current-voltage characteristics in bilayer graphene
Authors:
J. K. Viljas,
A. Fay,
M. Wiesner,
P. J. Hakonen
Abstract:
We demonstrate by experiments and numerical simulations that the low-temperature current-voltage characteristics in diffusive bilayer graphene (BLG) exhibit a strong superlinearity at finite bias voltages. The superlinearity is weakly dependent on do** and on the length of the graphene sample. This effect can be understood as a result of Joule heating. It is stronger in BLG than in monolayer gra…
▽ More
We demonstrate by experiments and numerical simulations that the low-temperature current-voltage characteristics in diffusive bilayer graphene (BLG) exhibit a strong superlinearity at finite bias voltages. The superlinearity is weakly dependent on do** and on the length of the graphene sample. This effect can be understood as a result of Joule heating. It is stronger in BLG than in monolayer graphene (MLG), since the conductivity of BLG is more sensitive to temperature due to the higher density of electronic states at the Dirac point.
△ Less
Submitted 3 February, 2011;
originally announced February 2011.
-
Quantum dynamics of a dc-SQUID coupled to an asymmetric Cooper pair transistor
Authors:
A. Fay,
W. Guichard,
O. Buisson,
F. W. J. Hekking
Abstract:
We present a theoretical analysis of the quantum dynamics of a superconducting circuit based on a highly asymmetric Cooper pair transistor (ACPT) in parallel to a dc-SQUID. Starting from the full Hamiltonian we show that the circuit can be modeled as a charge qubit (ACPT) coupled to an anharmonic oscillator (dc-SQUID). Depending on the anharmonicity of the SQUID, the Hamiltonian can be reduced eit…
▽ More
We present a theoretical analysis of the quantum dynamics of a superconducting circuit based on a highly asymmetric Cooper pair transistor (ACPT) in parallel to a dc-SQUID. Starting from the full Hamiltonian we show that the circuit can be modeled as a charge qubit (ACPT) coupled to an anharmonic oscillator (dc-SQUID). Depending on the anharmonicity of the SQUID, the Hamiltonian can be reduced either to one that describes two coupled qubits or to the Jaynes-Cummings Hamiltonian. Here the dc-SQUID can be viewed as a tunable micron-size resonator. The coupling term, which is a combination of a capacitive and a Josephson coupling between the two qubits, can be tuned from the very strong- to the zero-coupling regimes. It describes very precisely the tunable coupling strength measured in this circuit and explains the 'quantronium' as well as the adiabatic quantum transfer read-out.
△ Less
Submitted 29 November, 2010;
originally announced November 2010.
-
Atomic layer deposition of HfO2 on graphene from HfCl4 and H20
Authors:
Harry Alles,
Jaan Aarik,
Aleks Aidla,
Aurelien Fay,
Jekaterina Kozlova,
Ahti Niilisk,
Martti Pärs,
Mihkel Rähn,
Maciej Wiesner,
Pertti Hakonen,
Väino Sammelselg
Abstract:
Atomic layer deposition of ultrathin HfO2 on unmodified graphene from HfCl4 and H2O was investigated. Surface RMS roughness down to 0.5 nm was obtained for amorphous, 30 nm thick hafnia film grown at 180 degrees C. HfO2 was deposited also in a two-step temperature process where the initial growth of about 1 nm at 170 degrees C was continued up to 10-30 nm at 300 degrees C. This process yielded un…
▽ More
Atomic layer deposition of ultrathin HfO2 on unmodified graphene from HfCl4 and H2O was investigated. Surface RMS roughness down to 0.5 nm was obtained for amorphous, 30 nm thick hafnia film grown at 180 degrees C. HfO2 was deposited also in a two-step temperature process where the initial growth of about 1 nm at 170 degrees C was continued up to 10-30 nm at 300 degrees C. This process yielded uniform, monoclinic HfO2 films with RMS roughness of 1.7 nm for 10-12 nm thick films and 2.5 nm for 30 nm thick films. Raman spectroscopy studies revealed that the deposition process caused compressive biaxial strain in graphene whereas no extra defects were generated. An 11 nm thick HfO2 film deposited onto bilayer graphene reduced the electron mobility by less than 10% at the Dirac point and by 30-40% far away from it.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
Modeling the System Parameters of 2M1533+3759: A New Longer-Period Low-Mass Eclipsing sdB+dM Binary
Authors:
B. -Q. For,
E. M. Green,
G. Fontaine,
H. Drechsel,
J. S. Shaw,
J. A. Dittmann,
A. G. Fay,
M. Francoeur,
J. Laird,
E. Moriyama,
M. Morris,
C. Rodríguez-López,
J. M. Sierchio,
S. M. Story,
A. Strom,
C. Wang,
S. M. Adams,
D. E. Bolin,
M. Eskew,
P. Chayer
Abstract:
We present new photometric and spectroscopic observations for 2M 1533+3759 (= NSVS 07826147). It has an orbital period of 0.16177042 day, significantly longer than the 2.3--3.0 hour periods of the other known eclipsing sdB+dM systems. Spectroscopic analysis of the hot primary yields Teff = 29230 +/- 125 K, log g = 5.58 +/- 0.03 and log N(He)/N(H) = -2.37 +/- 0.05. The sdB velocity amplitude is K…
▽ More
We present new photometric and spectroscopic observations for 2M 1533+3759 (= NSVS 07826147). It has an orbital period of 0.16177042 day, significantly longer than the 2.3--3.0 hour periods of the other known eclipsing sdB+dM systems. Spectroscopic analysis of the hot primary yields Teff = 29230 +/- 125 K, log g = 5.58 +/- 0.03 and log N(He)/N(H) = -2.37 +/- 0.05. The sdB velocity amplitude is K1 = 71.1 +/- 1.0 km/s. The only detectable light contribution from the secondary is due to the surprisingly strong reflection effect. Light curve modeling produced several solutions corresponding to different values of the system mass ratio, q(M2/M1), but only one is consistent with a core helium burning star, q=0.301. The orbital inclination is 86.6 degree. The sdB primary mass is M1 = 0.376 +/- 0.055 Msun and its radius is R1 = 0.166 +/- 0.007 Rsun. 2M1533+3759 joins PG0911+456 (and possibly also HS2333+3927) in having an unusually low mass for an sdB star. SdB stars with masses significantly lower than the canonical value of 0.48 Msun, down to as low as 0.30 Msun, were theoretically predicted by Han et al. (2002, 2003), but observational evidence has only recently begun to confirm the existence of such stars. The existence of core helium burning stars with masses lower than 0.40--0.43 Msun implies that at least some sdB progenitors have initial main sequence masses of 1.8--2.0 Msun or more, i.e. they are at least main sequence A stars. The secondary is a main sequence M5 star.
△ Less
Submitted 10 November, 2009;
originally announced November 2009.
-
Shot noise and conductivity at high bias in bilayer graphene: Signatures of electron-optical phonon coupling
Authors:
A. Fay,
R. Danneau,
J. K. Viljas,
F. Wu,
M. Y. Tomi,
J. Wengler,
M. Wiesner,
P. J. Hakonen
Abstract:
We have studied electronic conductivity and shot noise of bilayer graphene (BLG) sheets at high bias voltages and low bath temperature $T_0=4.2$ K. As a function of bias, we find initially an increase of the differential conductivity, which we attribute to self-heating. At higher bias, the conductivity saturates and even decreases due to backscattering from optical phonons. The electron-phonon int…
▽ More
We have studied electronic conductivity and shot noise of bilayer graphene (BLG) sheets at high bias voltages and low bath temperature $T_0=4.2$ K. As a function of bias, we find initially an increase of the differential conductivity, which we attribute to self-heating. At higher bias, the conductivity saturates and even decreases due to backscattering from optical phonons. The electron-phonon interactions are also responsible for the decay of the Fano factor at bias voltages $V>0.1$ V. The high bias electronic temperature has been calculated from shot noise measurements, and it goes up to $\sim1200$ K at $V=0.75$ V. Using the theoretical temperature dependence of BLG conductivity, we extract an effective electron-optical phonon scattering time $τ_{e-op}$. In a 230 nm long BLG sample of mobility $μ=3600$ cm$^2$V$^{-1}$s$^{-1}$, we find that $τ_{e-op}$ decreases with increasing voltage and is close to the charged impurity scattering time $τ_{imp}=60$ fs at $V=0.6$ V.
△ Less
Submitted 6 September, 2011; v1 submitted 28 April, 2009;
originally announced April 2009.
-
Quantum dynamics in a camel-back potential of a dc SQUID
Authors:
E. Hoskinson,
F. Lecocq,
N. Didier,
A. Fay,
F. W. J. Hekking,
W. Guichard,
R. Dolata,
B. Mackrodt,
A. B. Zorin,
O. Buisson
Abstract:
We investigate the quantum dynamics of a quadratic-quartic anharmonic oscillator formed by a potential well between two potential barriers. We realize this novel potential shape with a superconducting circuit comprised of a loop interrupted by two Josephson junctions, with near-zero current bias and flux bias near half a flux quantum. We investigate escape out of the central well, which can occu…
▽ More
We investigate the quantum dynamics of a quadratic-quartic anharmonic oscillator formed by a potential well between two potential barriers. We realize this novel potential shape with a superconducting circuit comprised of a loop interrupted by two Josephson junctions, with near-zero current bias and flux bias near half a flux quantum. We investigate escape out of the central well, which can occur via tunneling through either of the two barriers, and find good agreement with a generalized double-path macroscopic quantum tunneling theory. We also demonstrate that this system exhibits an "optimal line" in current and flux bias space along which the oscillator, which can be operated as a phase qubit, is insensitive to decoherence due to low-frequency current fluctuations.
△ Less
Submitted 14 October, 2008;
originally announced October 2008.
-
Strong tunable coupling between a superconducting charge and phase qubit
Authors:
A. Fay,
E. Hoskinson,
F. Lecocq,
L. P. Lévy,
F. W. J. Hekking,
W. Guichard,
O. Buisson
Abstract:
We have realized a tunable coupling over a large frequency range between an asymmetric Cooper pair transistor (charge qubit) and a dc SQUID (phase qubit). Our circuit enables the independent manipulation of the quantum states of each qubit as well as their entanglement. The measurements of the charge qubit's quantum states is performed by resonant read-out via the measurement of the quantum stat…
▽ More
We have realized a tunable coupling over a large frequency range between an asymmetric Cooper pair transistor (charge qubit) and a dc SQUID (phase qubit). Our circuit enables the independent manipulation of the quantum states of each qubit as well as their entanglement. The measurements of the charge qubit's quantum states is performed by resonant read-out via the measurement of the quantum states of the SQUID. The measured coupling strength is in agreement with an analytic theory including a capacitive and a tunable Josephson coupling between the two qubits.
△ Less
Submitted 24 December, 2007;
originally announced December 2007.
-
Observations and asteroseismic analysis of the rapidly pulsating hot B subdwarf PG 0911+456
Authors:
S. K. Randall,
E. M. Green,
V. Van Grootel,
G. Fontaine,
S. Charpinet,
M. Lesser,
P. Brassard,
T. Sugimoto,
P. Chayer,
A. Fay,
P. Wroblewski,
M. Daniel,
S. Story,
T. Fitzgerald
Abstract:
The principal aim of this project is to determine the structural parameters of the rapidly pulsating subdwarf B star PG 0911+456 from asteroseismology. Our work forms part of an ongoing programme to constrain the internal characteristics of hot B subdwarfs with the long-term goal of differentiating between the various formation scenarios proposed for these objects. First comparisons of asterosei…
▽ More
The principal aim of this project is to determine the structural parameters of the rapidly pulsating subdwarf B star PG 0911+456 from asteroseismology. Our work forms part of an ongoing programme to constrain the internal characteristics of hot B subdwarfs with the long-term goal of differentiating between the various formation scenarios proposed for these objects. First comparisons of asteroseismic values with evolutionary theory look promising, however it is clear that more targets are needed for meaningful statistics to be derived. The observational pulsation periods of PG 0911+456 were extracted from rapid time-series photometry using standard Fourier analysis techniques. Supplemented by spectroscopic estimates of the star's mean atmospheric parameters, they were used as a basis for the "forward modelling" approach in asteroseismology. The latter culminates in the identification of one or more "optimal" models that can accurately reproduce the observed period spectrum. This naturally leads to an identification of the oscillations detected in terms of degree l and radial order k, and infers the structural parameters of the target. From the photometry it was possible to extract 7 independent pulsation periods in the 150-200 s range with amplitudes between 0.05 and 0.8 % of the star's mean brightness. An asteroseismic search of parameter space identified several models that matched the observed properties of PG 0911+456 well, one of which was isolated as the "optimal" model on the basis of spectroscopic and mode identification considerations. All the observed pulsations are identified with low-order acoustic modes with degree indices l=0,1,2 and 4, and match the computed periods with a dispersion of only ~0.26 %.
△ Less
Submitted 26 October, 2007;
originally announced October 2007.
-
Nanosecond quantum state detection in a current biased dc SQUID
Authors:
J. Claudon,
A. Fay,
E. Hoskinson,
O. Buisson
Abstract:
This article presents our procedure to measure the quantum state of a dc SQUID within a few nanoseconds, using an adiabatic dc flux pulse. Detection of the ground state is governed by standard macroscopic quantum theory (MQT), with a small correction due to residual noise in the bias current. In the two level limit, where the SQUID constitutes a phase qubit, an observed contrast of 0.54 indicate…
▽ More
This article presents our procedure to measure the quantum state of a dc SQUID within a few nanoseconds, using an adiabatic dc flux pulse. Detection of the ground state is governed by standard macroscopic quantum theory (MQT), with a small correction due to residual noise in the bias current. In the two level limit, where the SQUID constitutes a phase qubit, an observed contrast of 0.54 indicates a significant loss in contrast compared to the MQT prediction. It is attributed to spurious depolarization (loss of excited state occupancy) during the leading edge of the adiabatic flux measurement pulse. We give a simple phenomenological relaxation model which is able to predict the observed contrast of multilevel Rabi oscillations for various microwave amplitudes.
△ Less
Submitted 20 February, 2007;
originally announced February 2007.
-
Decoherence processes in a current biased dc SQUID
Authors:
J. Claudon,
A. Fay,
L. P. Lévy,
O. Buisson
Abstract:
A current bias dc SQUID behaves as an anharmonic quantum oscillator controlled by a bias current and an applied magnetic flux. We consider here its two level limit consisting of the two lower energy states $| 0 \right>$ and $| 1 \right>$. We have measured energy relaxation times and microwave absorption for different bias currents and fluxes in the low microwave power limit. Decoherence times ar…
▽ More
A current bias dc SQUID behaves as an anharmonic quantum oscillator controlled by a bias current and an applied magnetic flux. We consider here its two level limit consisting of the two lower energy states $| 0 \right>$ and $| 1 \right>$. We have measured energy relaxation times and microwave absorption for different bias currents and fluxes in the low microwave power limit. Decoherence times are extracted. The low frequency flux and current noise have been measured independently by analyzing the probability of current switching from the superconducting to the finite voltage state, as a function of applied flux. The high frequency part of the current noise is derived from the electromagnetic environment of the circuit. The decoherence of this quantum circuit can be fully accounted by these current and flux noise sources.
△ Less
Submitted 23 January, 2006;
originally announced January 2006.