Search results for "Zeno"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ye-Hong Chen, Yan Xia 0001, Jie Song 0003	Deterministic generation of singlet states for N-atoms in coupled cavities via quantum Zeno dynamics.	Quantum Inf. Process.	2014	DBLP DOI BibTeX RDF
21	Cameron Nowzari, Jorge Cortés 0001	Zeno-free, distributed event-triggered communication and control for multi-agent average consensus.	ACC	2014	DBLP DOI BibTeX RDF
21	Jon Pérez Laraudogoitia	Zeno and flow of information.	Synth.	2013	DBLP DOI BibTeX RDF
21	Harald Atmanspacher, Thomas Filk	The Necker-Zeno Model for Bistable Perception.	Top. Cogn. Sci.	2013	DBLP DOI BibTeX RDF
21	Andrew G. Lamperski, Aaron D. Ames	Lyapunov Theory for Zeno Stability.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
21	Claudio De Persis, Rudolf Sailer, Fabian Wirth	Parsimonious event-triggered distributed control: A Zeno free approach.	Autom.	2013	DBLP DOI BibTeX RDF
21	Krishnendu Chatterjee, Vinayak S. Prabhu	Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
21	Rong-Can Yang, Gang Li, Tian-Cai Zhang	Robust atomic entanglement in two coupled cavities via virtual excitations and quantum Zeno dynamics.	Quantum Inf. Process.	2013	DBLP DOI BibTeX RDF
21	Zhi-Cheng Shi, Yan Xia 0001, Jie Song 0003, He-Shan Song	Generation of three-atom singlet state in a bimodal cavity via quantum Zeno dynamics.	Quantum Inf. Process.	2013	DBLP DOI BibTeX RDF
21	Qi-Cheng Wu, Yuan Wang, Xin Ji	Preparation of three-qubit decoherence-free state via quantum Zeno dynamics.	Quantum Inf. Process.	2013	DBLP DOI BibTeX RDF
21	Chaitanya Murti, Matthew M. Peet	A sum-of-squares approach to the analysis of Zeno stability in polynomial hybrid systems.	ECC	2013	DBLP DOI BibTeX RDF
21	Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames	Enclosing the behavior of a hybrid system up to and beyond a Zeno point.	CPSNA	2013	DBLP DOI BibTeX RDF
21	Ranko Lazic 0001, Joël Ouaknine, James Worrell 0001	Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.	MFCS	2013	DBLP DOI BibTeX RDF
21	A. T. Dellis, I. K. Kominis	The quantum Zeno effect immunizes the avian compass against the deleterious effects of exchange and dipolar interactions.	Biosyst.	2012	DBLP DOI BibTeX RDF
21	Zhi-Cheng Shi, Yan Xia 0001, Jie Song 0003, He-Shan Song	One-step implementation of the fredkin gate via quantum zeno dynamics.	Quantum Inf. Comput.	2012	DBLP DOI BibTeX RDF
21	Xiao-Qiang Shao, Tai-Yu Zheng, Shou Zhang	Fast synthesis of the Fredkin gate via quantum Zeno dynamics.	Quantum Inf. Process.	2012	DBLP DOI BibTeX RDF
21	Hao You, J. D. Franson	Theoretical comparison of quantum Zeno gates and logic gates based on the cross-Kerr nonlinearity.	Quantum Inf. Process.	2012	DBLP DOI BibTeX RDF
21	Shishir Nadubettu Yadukumar, Bhargav Kothapalli, Aaron D. Ames	Zeno behavior in electromechanical hybrid systems: From theory to experimental validation.	ACC	2012	DBLP DOI BibTeX RDF
21	Vadim Azhmyakov, Félix A. Miranda-Villatoro	Approximability and Variational Description of the Zeno Behavior in Affine Switched Systems.	ADHS	2012	DBLP DOI BibTeX RDF
21	William Sonnex, Sophia Drossopoulou, Susan Eisenbach	Zeno: An Automated Prover for Properties of Recursive Data Structures.	TACAS	2012	DBLP DOI BibTeX RDF
21	Nahum A. Torres, Nathan Clark, Isura Ranatunga, Dan O. Popa	Implementation of interactive arm playback behaviors of social robot Zeno for autism spectrum disorder therapy.	PETRA	2012	DBLP DOI BibTeX RDF
21	Jonas Rinast, Sibylle Schupp	Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.	FORMATS	2012	DBLP DOI BibTeX RDF
21	Yizhar Or, Andrew R. Teel	Zeno Stability of the Set-Valued Bouncing Ball.	IEEE Trans. Autom. Control.	2011	DBLP DOI BibTeX RDF
21	Yizhar Or, Aaron D. Ames	Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems.	IEEE Trans. Autom. Control.	2011	DBLP DOI BibTeX RDF
21	Le Quang Thuan, M. Kanat Camlibel	Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior.	IEEE Trans. Autom. Control.	2011	DBLP DOI BibTeX RDF
21	Lei Yu 0006, Jean-Pierre Barbot, Driss Boutat, Djamila Benmerzouk	Observability Forms for Switched Systems With Zeno Phenomenon or High Switching Frequency.	IEEE Trans. Autom. Control.	2011	DBLP DOI BibTeX RDF
21	Peter Höfner, Bernhard Möller	Fixing Zeno gaps.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
21	Frédéric Herbreteau, B. Srivathsan	Coarse abstractions make Zeno behaviours difficult to detect	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
21	Aaron D. Ames	Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach.	HSCC	2011	DBLP DOI BibTeX RDF
21	Isura Ranatunga, Jartuwat Rajruangrabin, Dan O. Popa, Fillia Makedon	Enhanced therapeutic interactivity using social robot Zeno.	PETRA	2011	DBLP DOI BibTeX RDF
21	Frédéric Herbreteau, B. Srivathsan	Coarse Abstractions Make Zeno Behaviours Difficult to Detect.	CONCUR	2011	DBLP DOI BibTeX RDF
21	Martin Schaller, Karl Svozil	Zeno Squeezing of Cellular Automata.	Int. J. Unconv. Comput.	2010	DBLP BibTeX RDF
21	Alex Monras, Oriol Romero-Isart	Quantum information processing with quantum zeno many-body dynamics.	Quantum Inf. Comput.	2010	DBLP DOI BibTeX RDF
21	Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel	Deriving non-Zeno behaviour models from goal models using ILP.	Formal Aspects Comput.	2010	DBLP DOI BibTeX RDF
21	Evan M. Drumwright	Avoiding Zeno's paradox in impulse-based rigid body simulation.	ICRA	2010	DBLP DOI BibTeX RDF
21	Johannes M. Schumacher	Time-scaling symmetry and Zeno solutions.	Autom.	2009	DBLP DOI BibTeX RDF
21	Erich Joos	Quantum Zeno Effect.	Compendium of Quantum Physics	2009	DBLP DOI BibTeX RDF
21	Lei Yu 0006, Jean-Pierre Barbot, Driss Boutat, Djamila Benmerzouk	Observability normal forms for a class of switched systems with zeno phenomena.	ACC	2009	DBLP DOI BibTeX RDF
21	Gang Zheng 0002, Lei Yu 0006, Driss Boutat, Jean-Pierre Barbot	Algebraic observer for a class of switched systems with zeno phenomenon.	CDC	2009	DBLP DOI BibTeX RDF
21	Atul Singh, Pedro Fonseca 0001, Petr Kuznetsov, Rodrigo Rodrigues 0001, Petros Maniatis	Zeno: Eventually Consistent Byzantine-Fault Tolerance.	NSDI	2009	DBLP BibTeX RDF
21	David Atkinson	A relativistic Zeno effect.	Synth.	2008	DBLP DOI BibTeX RDF
21	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Timed Petri nets and timed automata: On the discriminating power of zeno sequences.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
21	Andrew G. Lamperski, Aaron D. Ames	Lyapunov-Like Conditions for the Existence of Zeno Behavior in Hybrid and Lagrangian Hybrid Systems.	CDC	2007	DBLP DOI BibTeX RDF
21	Aaron D. Ames, Alessandro Abate, Shankar Sastry 0001	Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations.	CDC	2007	DBLP DOI BibTeX RDF
21	Petrus H. Potgieter	Zeno machines and hypercomputation.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Katie Atkinson, Trevor J. M. Bench-Capon	Zeno Revisited: Representation of Persuasive Argument.	JURIX	2006	DBLP BibTeX RDF
21	Alessandro Abate, Aaron D. Ames, Shankar Sastry 0001	A priori detection of Zeno behavior in communication networks modeled as hybrid systems.	ACC	2006	DBLP DOI BibTeX RDF
21	Shou-tao Li, Yuan-chun Li, Hui-qiu Lu	Mobile Robot Collision Avoidance Algorithm Based on Hybrid Zeno Behavior Automaton.	ROBIO	2006	DBLP DOI BibTeX RDF
21	Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita	Analysis of Zeno behaviors in a class of hybrid systems.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
21	Jinglai Shen, Jong-Shi Pang	Linear Complementarity Systems: Zeno States.	SIAM J. Control. Optim.	2005	DBLP DOI BibTeX RDF
21	Aaron D. Ames, Shankar Sastry 0001	Characterization of Zeno behavior in hybrid systems using homological methods.	ACC	2005	DBLP DOI BibTeX RDF
21	Aaron D. Ames, Alessandro Abate, Shankar Sastry 0001	Sufficient Conditions for the Existence of Zeno Behavior.	CDC/ECC	2005	DBLP DOI BibTeX RDF
21	Howard Bowman, Rodolfo Gómez 0001, Li Su 0002	A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.	ARTS	2004	DBLP DOI BibTeX RDF
21	Petrus H. Potgieter	Zeno machines and hypercomputation	CoRR	2004	DBLP BibTeX RDF
21	S. A. Gurvitz	Quantum Description of Classical Apparatus: Zeno Effect and Decoherence.	Quantum Inf. Process.	2003	DBLP DOI BibTeX RDF
21	Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita	Analysis of Zeno behaviors in hybrid systems.	CDC	2002	DBLP DOI BibTeX RDF
21	Thomas F. Gordon, Angi Voß, Gernot Richter, Oliver Märker	Zeno: Groupware for Discourses on the Internet.	Künstliche Intell.	2001	DBLP BibTeX RDF
21	Helmut Rauch	Unavoidable Quantum Losses in Zeno-like Neutron Experiments.	Cybern. Syst.	2001	DBLP DOI BibTeX RDF
21	M. Kanat Camlibel, Johannes M. Schumacher	On the Zeno behavior of linear complementarity systems.	CDC	2001	DBLP DOI BibTeX RDF
21	Oliver Märker	Zeno - GeoMediation im WWW.	Künstliche Intell.	2000	DBLP BibTeX RDF
21	Thomas F. Gordon, Nikos I. Karacapilidis	The Zeno Argumentation Framework.	Künstliche Intell.	1999	DBLP BibTeX RDF
21	F. Walter Meyerstein	Is movement an illusion? Zeno's paradox: From a modern viewpoint.	Complex.	1999	DBLP DOI BibTeX RDF
21	Joseph S. Alper, Mark Bridger	Mathematics, Models and Zeno's Paradoxes.	Synth.	1997	DBLP DOI BibTeX RDF
21	Thomas F. Gordon, Nikos I. Karacapilidis	The Zeno Argumentation Framework.	ICAIL	1997	DBLP DOI BibTeX RDF
21	Craig Harrison	The three arrows of Zeno.	Synth.	1996	DBLP DOI BibTeX RDF
21	J. Eugene Ball, G. J. Williams, James R. Low	Preliminary ZENO language description.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
15	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
15	Eugene Asarin, Aldric Degorre	Volume and Entropy of Regular Timed Languages: Discretization Approach.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Marc Schoenauer, Pierre Savéant, Vincent Vidal 0001	Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms.	Advances in Metaheuristics for Hard Optimization	2008	DBLP DOI BibTeX RDF
15	Julien Cristau, Florian Horn 0001	On Reachability Games of Ordinal Length.	SOFSEM	2008	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu	Timed Parity Games: Complexity and Robustness.	FORMATS	2008	DBLP DOI BibTeX RDF
15	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Timed substitutions for regular signal-event languages.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
15	Marcin Jurdzinski, Ashutosh Trivedi 0001	Reachability-Time Games on Timed Automata.	ICALP	2007	DBLP DOI BibTeX RDF
15	John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski	Impulse Differential Inclusions Driven by Discrete Measures.	HSCC	2007	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Alexandre de A. Barbosa, Bernardo Lulo Jr., Aércio Ferreira de Lima	Symbolic and numeric quantum circuit simulation.	ICQNM	2007	DBLP DOI BibTeX RDF
15	Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby	Timed Concurrent Game Structures.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Katsunori Nakamura, Akira Fusaoka	Reasoning About Hybrid Systems Based on a Nonstandard Model.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
15	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Fairness of Actions in System Computations.	Acta Informatica	2006	DBLP DOI BibTeX RDF
15	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	PARMENIDES: Facilitating Deliberation in Democracies.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	argumentation, practical reasoning, deliberative democracy
15	Jérôme Durand-Lose	Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable.	TAMC	2006	DBLP DOI BibTeX RDF
15	Thierry Cachat	Controller Synthesis and Ordinal Automata.	ATVA	2006	DBLP DOI BibTeX RDF
15	Edward A. Lee	Discrete event models: getting the semantics right.	WSC	2006	DBLP DOI BibTeX RDF
15	Xiaojun Liu 0001, Eleftherios Matsikoudis, Edward A. Lee	Modeling Timed Concurrent Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
15	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Intersection of Regular Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
15	Jake K. Aggarwal	Human Activity Recognition.	PReMI	2005	DBLP DOI BibTeX RDF
15	Aaron D. Ames, Shankar Sastry 0001	A Homology Theory for Hybrid Systems: Hybrid Homology.	HSCC	2005	DBLP DOI BibTeX RDF
15	Katsunori Nakamura, Akira Fusaoka	On Transfinite Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
15	Venkatesh Mysore, Amir Pnueli	Refining the Undecidability Frontier of Hybrid Automata.	FSTTCS	2005	DBLP DOI BibTeX RDF
15	Shou-tao Li, Yuan-chun Li	Hierarchical Fuzzy Behavior-Based Control Method for Autonomous Mobile Robot Navigation.	ICMLC	2005	DBLP DOI BibTeX RDF
15	Katsunori Nakamura, Akira Fusaoka	On Description and Reasoning About Hybrid Systems.	IEA/AIE	2004	DBLP DOI BibTeX RDF
15	Franck Cassez, Thomas A. Henzinger, Jean-François Raskin	A Comparison of Control Problems for Timed and Hybrid Systems.	HSCC	2002	DBLP DOI BibTeX RDF
15	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
15	Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli	Optimal Control Using Bisimulations: Implementation.	HSCC	2001	DBLP DOI BibTeX RDF
15	Yonit Kesten, Zohar Manna, Amir Pnueli	Verification of Clocked and Hybrid Systems.	Acta Informatica	2000	DBLP DOI BibTeX RDF
15	Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry 0001, John Lygeros	Towards a Geometric Theory of Hybrid Systems.	HSCC	2000	DBLP DOI BibTeX RDF
15	Joseph S. Miller	Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.	HSCC	2000	DBLP DOI BibTeX RDF
15	Bart Verheij	Automated argument assistance for lawyers.	ICAIL	1999	DBLP DOI BibTeX RDF
15	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
15	Günter Mahler, Ilki Kim	Correlation between Correlations: Process and Time in Quantum Networks.	QCQC	1998	DBLP DOI BibTeX RDF