Demo Data from EDBT 2026 / reviewers in the wild / expert
Sinong Zhan
dblp:380/6465
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
0000-0002-5750-3296ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 67% Automated reasoning and model checking · 33% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems › cyber-physical system platforms
hybrid systems |
0.8 | 1 | 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024 |
Embedded and real-time systems › control systems
hybrid systems control |
0.8 | 1 | 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024 |
Automated reasoning and model checking
controller synthesis |
0.8 | 1 | 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024 |
Logic in computer science › temporal logic
signal temporal logic |
0.8 | 1 | 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024 |
Logic in computer science
temporal logic |
0.8 | 1 | 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024 |
Methods — techniques the papers use, named apart from their topics
reachability analysis · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Switching Controller Synthesis for Hybrid Systems Against STL FormulasabstractAbstract Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a “correct-by-construction” approach to HS design. Identifying these objectives is thus crucial for the synthesis of effective switching controllers. While most of existing works focus on safety and liveness, few of them consider timing constraints. In this paper, we delves into the synthesis of switching controllers for HSs that meet system objectives given by a fragment of STL, which essentially corresponds to a reach-avoid problem with timing constraints. Our approach involves iteratively computing the state sets that can be driven to satisfy the reach-avoid specification with timing constraints. This technique supports to create switching controllers for both constant and non-constant HSs. We validate our method’s soundness, and confirm its relative completeness for a certain subclass of HSs. Experiment results affirms the efficacy of our approach. Han Su 0003, Shenghua Feng, Sinong Zhan, Naijun Zhan |
FM (2) | 3 |