Zeroing Control Barrier Function with Time Scale Transformation for Time Interval Signal Temporal Logic Task.
Shumpei TokudaMasaki YamakitaHiroyuki OyamaRin TakanoPublished in: CCTA (2022)
Keyphrases
- temporal logic
- model checking
- modal logic
- concurrent systems
- control system
- satisfiability problem
- verification method
- control signals
- linear temporal logic
- transition systems
- temporal knowledge
- mazurkiewicz traces
- computation tree logic
- dynamic constraints
- belief revision
- formal specification language
- orders of magnitude