The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Specification and verification of concurrent programs by A∀automata
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science - Special issue on hybrid systems
Computing machinery and intelligence
Computers & thought
Specification and verification of hybrid dynamic systems with timed ∀ -automata
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Computational intelligence: a logical approach
Computational intelligence: a logical approach
An Behavior-based Robotics
A Constraint-Based Robotic Soccer Team
Constraints
Specification and Verification of Constraint-Based Dynamic Systems
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Using Reactive Deliberation for Real-Time Control of Soccer-Playing Robots
RoboCup-97: Robot Soccer World Cup I
Synthesis of Hybrid Constraint-Based Controllers
Hybrid Systems II
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A foundation for the design and analysis of robotic systems and behaviors
A foundation for the design and analysis of robotic systems and behaviors
Distributed constraint satisfaction for urban traffic signal control
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Hi-index | 0.01 |
Formal models for agent design are important for both practical and theoretical reasons. The Constraint-Based Agent (CBA) design approach includes two formal models: Constraint Nets and Timed ∀-automata. A constraint net models the agents and the environment symmetrically as, possibly hybrid, dynamical systems; a timed ∀-automaton specifies the desired real-time dynamic behaviors of the situated agents. Given a constraint-based specification of the desired behavior, a constraint-based agent can be synthesized as a constraint solver. Using formal modeling and specification, it is also possible to verify complex agents as obeying real-time temporal constraint specifications. This overview paper presents a summary of the development and application of the CBA framework.