Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Sinong Zhan

dblp:380/6465 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › cyber-physical system platforms
hybrid systems
0.812024
Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024
Embedded and real-time systems › control systems
hybrid systems control
0.812024
Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024
Automated reasoning and model checking
controller synthesis
0.812024
Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024
Logic in computer science › temporal logic
signal temporal logic
0.812024
Switching Controller Synthesis for Hybrid Systems Against STL Formulas · FM (2) 2024
Logic in computer science
temporal logic
0.812024
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
YearPublicationVenuePosition
2024 Switching Controller Synthesis for Hybrid Systems Against STL Formulas
abstract
Abstract 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