Source author record

Thao Dang

Thao Dang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Computational Engineering, Finance, and Science Logic in Computer Science Systems and Control Artificial Intelligence Formal Languages and Automata Theory Machine Learning Robotics Symbolic Computation

Catalog footprint

What is connected

7works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Identifying Scenarios in Field Data to Enable Validation of Highly Automated Driving Systems

Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-in-the-loop simulations. This search requires information about the shape and probability of scenarios in real-world traffic. The scope of this work is to develop a method that identifies redefined logical driving scenarios in field data, so that this information can be derived subsequently. More precisely, a suitable approach is developed, implemented and validated using a traffic scenario as an example. The presented methodology is based on qualitative modelling of scenarios, which can be detected in abstracted field data. The abstraction is achieved by using universal elements of an ontology represented by a domain model. Already published approaches for such an abstraction are discussed and concretised with regard to the given application. By examining a first set of test data, it is shown that the developed method is a suitable approach for the identification of further driving scenarios.

preprint2022arXiv

Towards Efficient Active Learning of PDFA

We propose a new active learning algorithm for PDFA based on three main aspects: a congruence over states which takes into account next-symbol probability distributions, a quantization that copes with differences in distributions, and an efficient tree-based data structure. Experiments showed significant performance gains with respect to reference implementations.

preprint2021arXiv

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop. SNR focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis for these systems.

preprint2018arXiv

Occupation measure methods for modelling and analysis of biological hybrid automata

Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters using extensive numerical simulations (e.g. by the Monte-Carlo method), and eventually revising the model if the predictions do not correspond to the actual measurements. In this work we propose a methodology for hybrid automaton model revision, when new type of functions are needed to capture time varying parameters. To this end, we formulate a hybrid optimal control problem with intermediate points as successive infinite-dimensional linear programs (LP) on occupation measures. Then, these infinite-dimensional LPs are solved using a hierarchy of semidefinite relaxations. The whole procedure is exposed on a recent model for haemoglobin production in erythrocytes.

preprint2013arXiv

Falsifying Oscillation Properties of Parametric Biological Models

We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the property. We illustrate the approach with the Laub-Loomis model for spontaneous oscillations during the aggregation stage of Dictyostelium.

preprint2013arXiv

Proceedings Second International Workshop on Hybrid Systems and Biology

This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is affiliated to the 12th European Conference on Artificial Life (ECAL 2013). Systems biology aims at providing a system-level understanding of biological systems by unveiling their structure, dynamics and control methods. Due to the intrinsic multi-scale nature of these systems in space, in organization levels and in time, it is extremely difficult to model them in a uniform way, e.g., by means of differential equations or discrete stochastic processes. Furthermore, such models are often not easily amenable to formal analysis, and their simulations at the organ or even at the cell levels are frequently impractical. Indeed, an important open problem is finding appropriate computational models that scale well for both simulation and formal analysis of biological processes. Hybrid modeling techniques, combining discrete and continuous processes, are gaining more and more attention in such a context, and they have been successfully applied to capture the behavior of many biological complex systems, ranging from genetic networks, biochemical reactions, signaling pathways, cardiac tissues electro-physiology, and tumor genesis. This workshop aims at bringing together researchers in computer science, mathematics, and life sciences, interested in the opportunities and the challenges of hybrid modeling applied to systems biology. The workshop programme included the keynote presentation of Alessandro Astolfi (Imperial College of London, UK) on Immune response enhancement via hybrid control. Furthermore, 8 papers were selected out of 13 submissions by the Program Committee of HSB 2013. The papers in this volume address the hybrid modeling of a number important biological processes (iron homeostasis network, mammalian cell cycle, vascular endothelial growth factor (VEGF), genetic regulatory network in mammalian sclera) and, the formalisms and techniques for specifying and validating properties of biological systems (such as, robustness, oscillations).

preprint2012arXiv

Analysis of parametric biological models with non-linear dynamics

In this paper we present recent results on parametric analysis of biological models. The underlying method is based on the algorithms for computing trajectory sets of hybrid systems with polynomial dynamics. The method is then applied to two case studies of biological systems: one is a cardiac cell model for studying the conditions for cardiac abnormalities, and the second is a model of insect nest-site choice.