yusuke1997/dblp-id-title huggingface dataset:
Synthesis of switching controllers using approximately bisimilar multiscale abstractions
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997
Formal Specification of Stability in Hybrid Control Systems
A Multiresolution Analysis of Temporal Logic
A New Class of Decidable Hybrid Systems
Hybrid representation of rule-based systems
Strings of Vehicles: Modeling and Safety Conditions
Lyapunov Design for Event-Triggered Exponential Stabilization
A Spatial Logic for the Hybrid p-Calculus
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
Towards online reachability analysis with temporal-differencing
Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017
Control Synthesis of Hybrid Systems Based on Predicate Invariance
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
Computation in One-Dimensional Piecewise Maps
Reliable Implementation of Hybrid Control Systems for Advanced Avionics
Requirements Specifications for Hybrid Systems
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
Temporal logic model predictive control for discrete-time systems
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Analysis of Slope-Parametric Rectangular Automata
SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation)
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems
Examples of Stabilization with Hybrid Feedback
Functional Specification of Real-Time and Hybrid Systems
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
Control design for specifications on stochastic hybrid systems
General Hybrid Dynamical Systems: Modeling, Analysis, and Control
Powertrain control verification benchmark
Self-Organizing Maps in Symbol Processing
On Foraml Support for Industrial-Scale Requirements Analysis
Optimal Control Using Bisimulations: Implementation
A DES Approach to Control of Hybrid Dynamical Systems
The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems
Hybrid Control Design for a Wheeled Mobile Robot
Composing Abstractions of Hybrid Systems
Inner approximated reachability analysis
Quantitative automata model checking of autonomous stochastic hybrid systems
Control Challenges in Wireless Sensor Networks
A Comparison of Control Problems for Timed and Hybrid Systems
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
CODEV: Automated Model Predictive Control Design and Formal Verification
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety
Hybrid Modeling and Simulation of Biomolecular Networks
Sparse Intersection Checking for Sparse Polynomial Zonotopes
AROC: a toolbox for automated reachset optimal controller synthesis
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
Rare-event verification for stochastic hybrid systems
Modelling, Well-Posedness, Stability of Switched Electrical Networks
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
Relational differential dynamic logic: poster abstract
Optimal Control of Quantized Input Systems
Temporal Behavior Trees - Segmentation
Controllers as Fixed Points of Set-Valued Operators
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
On synthesizing robust discrete controllers under modeling uncertainty
Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees
Bisimilar Finite Abstractions of Interconnected Systems
Formal verification of weakly-hard systems
On the decidability of reachability in linear time-invariant systems
Safe Self-Triggered Control Based on Precomputed Reachability Sequences
Distributed Tree Rearrangements for Reachability and Robust Connectivity
Case Studies in Data-Driven Verification of Dynamical Systems
Reachability of Uncertain Linear Systems Using Zonotopes
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts
H infinity Gain Schedule Synthesis of Supervisory Hybrid Control Systems
Contract-Based Distributed Logical Controller Synthesis
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems
First steps toward formal controller synthesis for bipedal robots
Theory of Optimal Control Using Bisimulations
On integration of event-based estimation and robust MPC in a feedback loop
On the connections between PCTL and dynamic programming
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
Impulsive control for nanopositioning: stability and performance
Event-Driven Programming with Logical Execution Times
Reachable set computation for uncertain time-varying linear systems
Hybrid Systems: The SIGNAL Approach
A New Hybrid State Estimator for Systems with Limited Mode Changes
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
Closure Certificates
Planar Hybrid Systems
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
The Lyapunov Method (Tutorial Abstract)
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Zélus: a synchronous language with ODEs
Interval observer design of dynamical systems with neural networks
Model-based design of time-triggered real-time embedded systems for digital manufacturing
Developing Home Robotics Products: Challenges and Lessons Learned
Edit distance for timed automata
As Soon as Possible: Time Optimal Control for Timed Automata
The computability of LQR and LQG control
Combining Maps and Distributed Representations for Shift-Reduce Parsing
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems
Efficient algorithms for collision avoidance at intersections
Decision Problems for the Verification of Real-Time Software
Algorithms for exact and approximate linear abstractions of polynomial continuous systems
Automatic abstraction of non-linear systems using change of bases transformations
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization
Distributed Kalman Filter algorithms for self-localization of mobile devices
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
Discrete-Time Refinement of Hybrid Automata
Direct Explanations and Knowledge Extraction from a Multilayer Perceptron Network that Performs Low Back Pain Classification
The earlier the better: a theory of timed actor interfaces
Hybrid Decentralized Control of Large Scale Systems
Real-time control under clock offsets between sensors and controllers
Decompositional Construction of Lyapunov Functions for Hybrid Systems
Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Control of Interval Temporal Systems
ETCetera: beyond Event-Triggered Control
Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
Trajectory Based Verification Using Local Finite-Time Invariance
Compositional heterogeneous abstraction
Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015
Verification of Supervisory Control Software Using State Proximity and Merging
Co-simulation Tools for Networked Control Systems
Affine Hybrid Systems
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
Logics vs. Automata: The Hybrid Case
Verification of Hybrid Systems Using Abstractions
Epidemic overdispersion strengthens the effectiveness of mobility restrictions
Hybrid Control in Sea Traffic Management Systems
Optimal Control of Discrete Hybrid Stochastic Automata
Resilient synchronization in robust networked multi-agent systems
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
A Lattice Theory for Solving Games of Imperfect Information
Application of the Kohn-Nerode Control Law Extraction Procedure to the Inverted Pendulum Problem
Parameter Invariant Monitoring for Signal Temporal Logic
Synthesis of memory-efficient "real-time" controllers for safety objectives
Hybrid Control of a Robot - A Case Study
Robust Identification of Hybrid Automata from Noisy Data
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
Hybrid Regular Expressions
JSR: a toolbox to compute the joint spectral radius
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems
Synthesizing barrier certificates using neural networks
Fully Automated Stability Verification for Piecewise Affine Systems
Compositional and Uniform Modelling of Hybrid Systems
Level Set Methods for Computation in Hybrid Systems
An Invariant Based Approach to the Design of Hybrid Control Systems Containing Clocks
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems
Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Operational Semantics of Hybrid Systems
Hybrid System Modeling and Autonomous Control Systems
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Periodically Controlled Hybrid Systems
Uniform Reachability Algorithms
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Complementarity Systems in Constrained Steady-State Optimal Control
Inner and outer approximate quantifier elimination for general reachability problems
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱
Parameter estimation for stochastic hybrid models of biochemical reaction networks
Language-guided controller synthesis for discrete-time linear systems
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata
Non-uniqueness in Reverse Time of Hybrid System Trajectories
SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties
A Feedback Control Motivation for Generalized Solutions to Hybrid Systems
Bounded model-checking of discrete duration calculus
Poster on safety characterization in hybrid inclusions using barrier functions
Dynamic scheduling for networked control systems
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Stochastic Hybrid Delay Population Dynamics
Low complexity resilient consensus in networked multi-agent systems with adversaries
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Differential Logic for Reasoning About Hybrid Systems
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Improving validated computation of Viability Kernels
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems
Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes
A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Linear dynamical systems with continuous weight functions
Sensor/Actuator Abstractions for Symbolic Embedded Control Design
Multi-object Adaptive Cruise Control
Hybrid System Games: Extraction of Control Automata with Small Topologies
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
On Dynamically Consistent Hybrid Systems
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
Reachability Analysis via Face Lifting
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Synthesizing Controllers for Hybrid Systems
A Hybrid Bellman Equation for Bimodal Systems
Distributed Wombling by Robotic Sensor Networks
Design and Evaluation Tools for Automated Highway Systems
Minimum-Cost Reachability for Priced Timed Automata
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Layered Hybrid Connectionist Models for Cognitive Science
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Falsification of cyber-physical systems with robustness-guided black-box checking
Motion Programs for Puppet Choreography and Control
Component based design of hybrid systems: a case study on concurrency and coupling
Contract based Design of Symbolic Controllers for Vehicle Platooning
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time
Generating Box Invariants
On Systematic Simulation of Open Continuous Systems
Time-Deterministic Hybrid Transition Systems
Comparison of Four Procedures for the Identification of Hybrid Systems
Integrating Projections
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints
A Data Intensive Computing Approach to Path Planning and Mode Management for Hybrid Systems
Constructing Control System Abstractions from Modular Components
Synthesizing Controllers for Nonlinear Hybrid Systems
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems
On the Application of Hybrid Control to CPU Reservations
Diagnosability Verification for Hybrid Automata
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks
A deontic logic analysis of autonomous systems' safety
Timed automata with observers under energy constraints
A Sufficient Condition for Controllability of a Class of Hybrid Systems
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱
Measuring performance of continuous-time stochastic processes using timed automata
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
The Concept of Deadlock and Livelock in Hybrid Control Systems
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012
Deciding Reachability for Planar Multi-polynomial Systems
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata
Hybrid Control Issues in Ais Traffic Management Systems (Abstract)
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
Quantified differential invariants
Quantitative Verification for Neural Networks using ProbStars
Convex and Combinatorial Optimization for Dynamic Robots in the Real World
A Case Study in Timed CSP: The Railroad Crossing Problem
A Cellular Neural Associative Array for Symbolic Vision
Computing the viability kernel using maximal reachable sets
A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
Subanalytic Stratifications and Bisimulations
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators
One to Rule Them All: Natural Language to Bind Communication, Perception and Action
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control
Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models
Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short paper)
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy
How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas
Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets
Look-back Techniques for ASP Programs with Aggregates
Strategic Reasoning for BitML Smart Contracts
Accountability and Responsibility in Business Processes via Agent Technology
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Reasoning about Real-Time and Probability on Obstruction Logic
Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper)
Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper)
Automata-based LTL_f Satisfiability Checking via ASP
Towards Quantified Answer Set Programming
Information Flows during Constraint Satisfaction Search with Dynamic Heuristics: Information from Preprocessing
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
The distributed architecture of SkRobot for efficient robotic agents
Translating Requirements in Property Specification Patterns using LLMs
Experiencing ASP with Real World Applications
What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper)
Computing Personalised Treatments through In Silico Clinical Trials
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008
CNF Instances from the Software Package Installation Problem
Towards Automated Planning of Level Structures for Digital Interventions
Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML Models
Belief Merging without Distance Measures
Development of Natural Strategies in Strategic Logics (short paper)
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)
A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm for Course Timetabling Problems
Distributed Cluster Tree Elimination
The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions
Experimental Evaluation of Modern Variable Selection Strategies in Constraint Satisfaction Problems
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper)
Preprocessing Techniques for QBFs
Robust Head Gestures Recognition for Assistive Technology
Deep Learning Approaches for Glaucoma Detection: A Comparative Study of CNN Models on Retinal Fundus Images
Advances in Pattern Recognition - Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010. Proceedings
Social Interaction Discovery: A Simulated Multiagent Approach
People Detection Using Color and Depth Images
A Glance to the Goldman's Testors from the Point of View of Rough Set Theory
Study of Overlapping Clustering Algorithms Based on Kmeans through FBcubed Metric
Novel Features for Glaucoma Detection in Fundus Images
Emotion Recognition Using Time-Frequency Distribution and GLCM Features from EEG Signals
Soft Bigram Similarity to Identify Confusable Drug Names
Vision-Based Biometrics for Conservation
Towards a Rodent Tracking and Behaviour Detection System in Real Time
Clustering Weblogs on the Basis of a Topic Detection Method
Watershed Based Iris SEgmentation
Deep Neural Networks and Log-Mel Spectrogram for Emotion Recognition Through Spanish Speech
A Modification of the TPVD Algorithm for Data Embedding
A Family of Two-Dimensional Benchmark Data Sets and Its Application to Comparing Different Cluster Validation Indices
A Simple Methodology for 2D Reconstruction Using a CNN Model
Evaluating Shape Descriptors for Detection of Maya Hieroglyphs
Using Synthetic Images for Deep Learning Recognition Process on Automatic License Plate Recognition
Speech Compression Based on Frequency Warped Cepstrum and Wavelet Analysis
Ultrasound Bone Surface Segmentation for Hip Joint Arthroscopy: Evaluating a Local Phase-Based and a Rigid Object Filtering in a Simulated Environment
Automatic Detection and Classification of Hearing Loss Conditions Using an Artificial Neural Network Approach
ROIs Segmentation in Facial Images Based on Morphology and Density Concepts
Correlation of Resampling Methods for Contrast Pattern Based Classifiers
Breastfeeding and Caries. A Relationship Analysis to Develop a Computer-Assisted Diagnosis Using Random Forest
Measuring Rectangularity Using GR-signature