Kai Cai

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026
Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs.
CoRR, April, 2026

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems.
CoRR, March, 2026

SWE-Pruner: Self-Adaptive Context Pruning for Coding Agents.
CoRR, January, 2026

Diffusion model for efficient federated learning considering non-IID data in industrial scenarios.
Appl. Soft Comput., 2026

2025
Markov Clustering based Fully Automated Nonblocking Hierarchical Supervisory Control of Large-Scale Discrete-Event Systems.
CoRR, April, 2025

A new algorithm for supervisor reduction/localisation of discrete-event systems.
Int. J. Control, February, 2025

UI-TARS: Pioneering Automated GUI Interaction with Native Agents.
CoRR, January, 2025

A Containerized Microservices Architecture with Reinforcement Learning for Scalable, Adaptive Learning.
J. Web Eng., 2025

Bounded-time nonblocking supervisory control of timed discrete-event systems.
Eur. J. Control, 2025

Predicting Pedestrian Confidence Regions by Distributional Robust Optimization: Incorporating Parameter and Distributional Uncertainty in the Social Force Model.
Proceedings of the IEEE Conference on Control Technology and Applications, 2025

Robust Space-Time A* for Human-In-The-Loop Multi-Agent Pickup and Delivery.
Proceedings of the IEEE Conference on Control Technology and Applications, 2025

2024
Design and experiment of a variable stiffness soft manipulator for non-destructive grasping.
Int. J. Intell. Robotics Appl., June, 2024

Time-Quantitatively Nonblocking Supervisory Control of Timed Discrete-Event Systems.
CoRR, 2024

Quantitatively nonblocking supervisory control of discrete-event systems.
Autom., 2024

2022
Localisation-based distributed control of timed discrete-event systems with communication delay.
Int. J. Control, 2022

2021
Structural controllability and time-to-control of directed scale-free networks with minimum number of driver nodes.
Syst. Control. Lett., 2021

ω-nonblocking supervisory control of discrete-event systems with infinite behavior.
CoRR, 2021

Usability Aware Secret Protection with Minimum Cost.
CoRR, 2021

N-Step Nonblocking Supervisory Control of Discrete-Event Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Local Opacity Verification for Distributed Discrete Event Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Distributed output regulation of heterogeneous uncertain linear agents.
Autom., 2020

2019
On scalable supervisory control of multi-agent discrete-event systems.
Autom., 2019

Secret Securing with Multiple Protections and Minimum Costs.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Robust Output Regulation of Networked Heterogeneous Linear Agents by Distributed Internal Model Principle.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

On Consistent Reduction in Discrete-Event Systems.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Distributed Robust Output Regulation of Heterogeneous Uncertain Linear Agents by Adaptive Internal Model Principle.
CoRR, 2018

2017
Supervisor Localization of Discrete-Event Systems with Infinite Behavior.
CoRR, 2017

Supervisor Localization for Large-Scale Discrete-Event Systems under Partial Observation.
CoRR, 2017

Top-Down Synthesis of Multi-Agent Formation Control: An Eigenstructure Assignment based Approach.
CoRR, 2017

2016
Supervisor Localization of Timed Discrete-Event Systems under Partial Observation and Communication Delay.
CoRR, 2016

On Distributed Internal Model Principle for Output Regulation over Time-Varying Networks of Linear Heterogeneous Agents.
CoRR, 2016

2015
Supervisor Localization of Discrete-Event Systems under Partial Observation.
CoRR, 2015

2014
On the effects of competition between agent-based double auction markets.
Electron. Commer. Res. Appl., 2014

2013
Average Consensus on Arbitrary Strongly Connected Digraphs with Time-Varying Topologies
CoRR, 2013

2012
Using argumentation to reason about trust and belief.
J. Log. Comput., 2012

A grey-box approach to automated mechanism design.
Electron. Commer. Res. Appl., 2012

Average Consensus on General Strongly Connected Digraphs
CoRR, 2012

Average consensus on arbitrary strongly connected digraphs with dynamic topologies.
Proceedings of the American Control Conference, 2012

2011
Convergence Time Analysis of Quantized Gossip Consensus on Digraphs
CoRR, 2011

Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk).
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Argumentation-based reasoning in agents with varying degrees of trust.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Measuring "Sybil attacks" in Kademlia-based networks.
Proceedings of the 9th IEEE/ACS International Conference on Computer Systems and Applications, 2011

2010
A network coding based interference cancelation scheme for wireless <i>ad hoc</i> networks.
Wirel. Commun. Mob. Comput., 2010

Binary almost-perfect sequence sets.
IEEE Trans. Inf. Theory, 2010

What the 2007 TAC Market Design Game tells us about effective auction mechanisms.
Auton. Agents Multi Agent Syst., 2010

Rainbow: A Robust and Versatile Measurement Tool for Kademlia-Based DHT Networks.
Proceedings of the 2010 International Conference on Parallel and Distributed Computing, 2010

A Grey-Box Approach to Automated Mechanism Design.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2010

Network Effects in Double Auction Markets with Automated Traders.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2010

Gossip consensus and averaging algorithms with quantization.
Proceedings of the American Control Conference, 2010

2009
Autocorrelation-Run Formula for Binary Sequences
CoRR, 2009

2008
Scalable Ad Hoc Networks for Arbitrary-Cast: Practical Broadcast-Relay Transmission Strategy Leveraging Physical-Layer Network Coding.
EURASIP J. Wirel. Commun. Netw., 2008

Detect overlapping and hierarchical community structure in networks
CoRR, 2008

An Analysis of Entries in the First TAC Market Design Competition.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Workflow exception handling system application in hierarchical modeling.
Proceedings of the 12th International Conference on CSCW in Design, 2008

JCAT: a platform for the TAC market design competition.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Characterizing effective auction mechanisms: insights from the 2007 TAC market design competition.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

On the Economic Effects of Competition between Double Auction Markets.
Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2008

2007
On the Behavior of Competing Markets Populated by Automated Traders.
Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2007

Auctions, Evolution, and Multi-agent Learning.
Proceedings of the Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning, 2007

Using Evolutionary Game-Theory to Analyse the Performance of Trading Strategies in a Continuous Double Auction Market.
Proceedings of the Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning, 2007

2006
Reducing price fluctuation in continuous double auctions through pricing policy and shout improvement.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006


  Loading...